Текст порождён из пакета паком law.verb.ru@0.7.0, а не написан рядом с ним: рассинхронизировать изложение с нормами нельзя по построению. Пробелов тотальности нет: каждый узел пакета получил изложение.

Ревью-документ: пакет «faraid.shares» 0.1.0

Дисклеймер. Это не официальный текст закона и не юридическое заключение. Документ порождён детерминированной проекцией (ступень 2: используются морфологические формы меток; нормативные позиции duty, liberty, power и immunity, толкования и изменения редакций отображаются явно; имена аргументов отношений называются русским словарём, а переменные обозначаются краткими именами по типу) формализации в контролируемый русский язык и не имеет самостоятельной силы: при расхождении этого текста и семантики программы дефектом является шаблон вербализации, а не программа.

Вербализация: law.verb.ru@0.7.0 · язык ru-KZ · semantic hash программы sha256:c1b8e8b14ba2e98fc67a548bea73ab1aeaea11a21c911927b9ef77e7d3c984b7

Источники

Изложение правил наследственного расчёта (фараид)

Источник «Изложение правил наследственного расчёта (фараид)».

Идентификатор: urn:faraid:clir:shares#FARAID_RESTATEMENT

FARAID_RU

Издание «FARAID_RU» источника «Изложение правил наследственного расчёта (фараид)», язык ru-KZ.

Идентификатор: urn:faraid:clir:shares#FARAID_RU

Закреплённые публикации

FARAID_RU_TEXT

Закреплённая публикация издания «FARAID_RU»: urn:faraid:restatement:ru.

Хэш документа: sha256:713bde3eed4995ec230a38b0359d2771b9d5c3022f056941011f168c549201a7; тип text/plain; charset=utf-8; получен 2026-08-27T00:00:00Z.

Идентификатор: urn:faraid:clir:shares#FARAID_RU_TEXT

Фрагменты источников

FARAID_ART10

Фрагмент article/10 издания «FARAID_RU».

Единоутробные братья и сёстры отстраняются от наследования при наличии у наследодателя наследующего потомка либо отца.

Полнородные сёстры отстраняются от наследования при наличии у наследодателя наследующего потомка мужского пола либо отца.

Полнородные братья отстраняются от наследования при наличии у наследодателя наследующего потомка мужского пола либо отца.

Хэш официального текста: sha256:0cf51f0e550cfc0ab67b2e20781eca3561d5793d2d7ca8bc9be2813c2f412e7d.

Идентификатор: urn:faraid:clir:shares#FARAID_ART10

FARAID_ART11

Фрагмент article/11 издания «FARAID_RU».

Остатком признаётся часть наследственной массы, оставшаяся после выделения установленных долей.

При наличии сыновей остаток принадлежит сыновьям и дочерям наследодателя; доля сына равна доле двух дочерей.

При отсутствии сыновей и дочерей остаток принадлежит полнородным братьям наследодателя и делится между ними поровну.

Хэш официального текста: sha256:185cd23b3ea0c3d02a2b1565e18964994eb9b65498dde471a177ba6cd68f57aa.

Идентификатор: urn:faraid:clir:shares#FARAID_ART11

FARAID_ART12

Фрагмент article/12 издания «FARAID_RU».

Если сумма установленных долей превышает единицу, каждая доля сокращается пропорционально: причитающееся наследнику определяется отношением его доли к сумме всех долей.

Пропорциональное сокращение применяется исключительно при сумме долей, превышающей единицу. При меньшей сумме судьба остатка определяется статьями 11 и 13.

Хэш официального текста: sha256:af8fe6cdce51cc39731163d76d2d6fe9ee206f07f75ce361b38500c067d43990.

Идентификатор: urn:faraid:clir:shares#FARAID_ART12

FARAID_ART13

Фрагмент article/13 издания «FARAID_RU».

Если сумма установленных долей меньше единицы и остаток не принадлежит никому по статье 11, остаток возвращается обладателям установленных долей пропорционально их долям.

Переживший супруг в возврате остатка не участвует. Настоящее правило выражает позицию большинства школ; меньшинство допускает участие супруга при отсутствии иных наследников.

Хэш официального текста: sha256:9f3219ddd05d6d51f85e1aea79b4d539c45de3608696fe2b766b5a5fb1f6c111.

Идентификатор: urn:faraid:clir:shares#FARAID_ART13

FARAID_ART3

Фрагмент article/3 издания «FARAID_RU».

Мужу принадлежит половина наследственной массы, если у наследодателя нет наследующего потомка.

Мужу принадлежит четверть наследственной массы, если у наследодателя есть наследующий потомок.

Хэш официального текста: sha256:9324a698b0946fbadf388f1857511476eedde2b7f20df6390a78d4cb7a681f41.

Идентификатор: urn:faraid:clir:shares#FARAID_ART3

FARAID_ART4

Фрагмент article/4 издания «FARAID_RU».

Жене принадлежит четверть наследственной массы, если у наследодателя нет наследующего потомка.

Жене принадлежит восьмая часть наследственной массы, если у наследодателя есть наследующий потомок.

При наличии нескольких жён причитающаяся доля делится между ними поровну.

Хэш официального текста: sha256:90c44fe8eeeae4c9195cf137c2df3a49e216a28ad4877d34ee4a92ee2741ebf2.

Идентификатор: urn:faraid:clir:shares#FARAID_ART4

FARAID_ART5

Фрагмент article/5 издания «FARAID_RU».

Матери принадлежит шестая часть наследственной массы, если у наследодателя есть наследующий потомок либо двое или более братьев и сестёр.

Матери принадлежит треть наследственной массы, если у наследодателя нет ни наследующего потомка, ни двух братьев и сестёр.

Хэш официального текста: sha256:2d7f763b98f49e67635e6a0b7660aa1fc27a1d81e47efcda9f6f9613c80f0b30.

Идентификатор: urn:faraid:clir:shares#FARAID_ART5

FARAID_ART6

Фрагмент article/6 издания «FARAID_RU».

Отцу принадлежит шестая часть наследственной массы, если у наследодателя есть наследующий потомок.

Сверх указанной доли отец получает остаток наследственной массы, если наследующие потомки наследодателя — только женского пола.

Хэш официального текста: sha256:b823f314426c6065dc63531328b574aea78ae5e2d45737876c177240993b1660.

Идентификатор: urn:faraid:clir:shares#FARAID_ART6

FARAID_ART7

Фрагмент article/7 издания «FARAID_RU».

Единственной дочери принадлежит половина наследственной массы, если у наследодателя нет сына.

Двум или более дочерям принадлежат две трети наследственной массы на всех, если у наследодателя нет сына; между дочерями эта доля делится поровну.

При наличии сына дочери не получают установленной доли и наследуют остаток вместе с сыновьями по правилам статьи 11.

Хэш официального текста: sha256:6962a14b02f56578a0d5c607053571d5e2e48a270b0135f563cc644fbaf350f6.

Идентификатор: urn:faraid:clir:shares#FARAID_ART7

FARAID_ART8

Фрагмент article/8 издания «FARAID_RU».

Единственной полнородной сестре принадлежит половина наследственной массы, если у наследодателя нет ни наследующего потомка, ни отца.

Двум или более полнородным сёстрам принадлежат две трети наследственной массы на всех при тех же условиях; между ними эта доля делится поровну.

Хэш официального текста: sha256:a19bb1581d92fc6e11539b6664a46b175d14afebeadf3593a1205856e9da9c21.

Идентификатор: urn:faraid:clir:shares#FARAID_ART8

FARAID_ART9

Фрагмент article/9 издания «FARAID_RU».

Единственному единоутробному брату или единоутробной сестре принадлежит шестая часть наследственной массы, если у наследодателя нет ни наследующего потомка, ни отца.

Двум или более единоутробным принадлежит треть наследственной массы на всех при тех же условиях; между ними эта доля делится поровну, без различия мужского и женского пола.

Хэш официального текста: sha256:5eceec7fa801aa3e0fe42d7fa8ddd4c9116e134fd891dd775f0a9adba08c0008.

Идентификатор: urn:faraid:clir:shares#FARAID_ART9

Понятия

Наследственная масса

Понятие «Наследственная масса».

Идентификатор: urn:faraid:clir:shares#Estate

Наследник

Понятие «Наследник».

Идентификатор: urn:faraid:clir:shares#Heir

Отношения и признаки

призывается к остатку с указанным весом

Отношение «призывается к остатку с указанным весом».

Аргументы: e: Наследственная масса, h: Наследник, weight: целое число.

Идентификатор: urn:faraid:clir:shares#asaba_entitled

состав наследников установлен

Отношение «состав наследников установлен».

Аргументы: e: Наследственная масса.

Идентификатор: urn:faraid:clir:shares#assessed_estate

дочь наследодателя

Отношение «дочь наследодателя».

Аргументы: e: Наследственная масса, h: Наследник.

Идентификатор: urn:faraid:clir:shares#daughter

отстранён от наследования (حجب حرمان)

Отношение «отстранён от наследования (حجب حرمان)».

Аргументы: e: Наследственная масса, h: Наследник.

Идентификатор: urn:faraid:clir:shares#excluded

кораническая доля наследника

Отношение «кораническая доля наследника».

Аргументы: e: Наследственная масса, h: Наследник, share: рациональное число.

Идентификатор: urn:faraid:clir:shares#fard

отец наследодателя

Отношение «отец наследодателя».

Аргументы: e: Наследственная масса, h: Наследник.

Идентификатор: urn:faraid:clir:shares#father

полнородный брат наследодателя

Отношение «полнородный брат наследодателя».

Аргументы: e: Наследственная масса, h: Наследник.

Идентификатор: urn:faraid:clir:shares#full_brother

полнородная сестра наследодателя

Отношение «полнородная сестра наследодателя».

Аргументы: e: Наследственная масса, h: Наследник.

Идентификатор: urn:faraid:clir:shares#full_sister

имеется наследующий потомок (فرع وارث)

Отношение «имеется наследующий потомок (فرع وارث)».

Аргументы: e: Наследственная масса.

Идентификатор: urn:faraid:clir:shares#has_descendant

имеется наследующий потомок мужского пола

Отношение «имеется наследующий потомок мужского пола».

Аргументы: e: Наследственная масса.

Идентификатор: urn:faraid:clir:shares#has_male_descendant

имеются двое или более братьев и сестёр

Отношение «имеются двое или более братьев и сестёр».

Аргументы: e: Наследственная масса.

Идентификатор: urn:faraid:clir:shares#has_multiple_siblings

переживший супруг мужского пола

Отношение «переживший супруг мужского пола».

Аргументы: e: Наследственная масса, h: Наследник.

Идентификатор: urn:faraid:clir:shares#husband

мать наследодателя

Отношение «мать наследодателя».

Аргументы: e: Наследственная масса, h: Наследник.

Идентификатор: urn:faraid:clir:shares#mother

участвует в возврате остатка

Отношение «участвует в возврате остатка».

Аргументы: e: Наследственная масса, h: Наследник.

Идентификатор: urn:faraid:clir:shares#radd_eligible

доля, участвующая в возврате остатка

Отношение «доля, участвующая в возврате остатка».

Аргументы: e: Наследственная масса, h: Наследник, share: рациональное число.

Идентификатор: urn:faraid:clir:shares#radd_share

сын наследодателя

Отношение «сын наследодателя».

Аргументы: e: Наследственная масса, h: Наследник.

Идентификатор: urn:faraid:clir:shares#son

доля пережившего супруга

Отношение «доля пережившего супруга».

Аргументы: e: Наследственная масса, h: Наследник, share: рациональное число.

Идентификатор: urn:faraid:clir:shares#spouse_share

пережил наследодателя и не отстранён от наследования

Отношение «пережил наследодателя и не отстранён от наследования».

Аргументы: e: Наследственная масса, h: Наследник.

Идентификатор: urn:faraid:clir:shares#survivor

единоутробный брат или сестра наследодателя

Отношение «единоутробный брат или сестра наследодателя».

Аргументы: e: Наследственная масса, h: Наследник.

Идентификатор: urn:faraid:clir:shares#uterine_sibling

пережившая супруга

Отношение «пережившая супруга».

Аргументы: e: Наследственная масса, h: Наследник.

Идентификатор: urn:faraid:clir:shares#wife

Исчерпывающие перечни

состав наследующих потомков установлен исчерпывающе

Перечень «имеется наследующий потомок (فرع وارث)» является исчерпывающим по состоянию на 2026-08-27T00:00:00+00:00: всё, что не перечислено, считается не относящимся к нему.

Идентификатор: urn:faraid:clir:shares#DescendantClosure

MaleDescendantClosure

Перечень «имеется наследующий потомок мужского пола» является исчерпывающим по состоянию на 2026-08-27T00:00:00+00:00: всё, что не перечислено, считается не относящимся к нему.

Идентификатор: urn:faraid:clir:shares#MaleDescendantClosure

MultipleSiblingsClosure

Перечень «имеются двое или более братьев и сестёр» является исчерпывающим по состоянию на 2026-08-27T00:00:00+00:00: всё, что не перечислено, считается не относящимся к нему.

Идентификатор: urn:faraid:clir:shares#MultipleSiblingsClosure

Правила

Единственной дочери половина

Для Наследственная масса Н (v0); Наследник Н2 (v1).

Всегда, если количество по набору: различные значения Н3, где Н3 — Наследник, и установлено, что «дочь наследодателя» (e: Н, h: Н3) равно «1» и установлено, что «дочь наследодателя» (e: Н, h: Н2) и установлено, что «пережил наследодателя и не отстранён от наследования» (e: Н, h: Н2) и установлено, что не «имеется наследующий потомок мужского пола» (e: Н), то «кораническая доля наследника» (e: Н, h: Н2, share: («1» / «2»)).

Идентификатор: urn:faraid:clir:shares#DaughterAloneHalf Анкер: urn:faraid:clir:shares#FARAID_ART7

При наличии сына дочери наследуют остаток вместе с сыновьями

Для Наследственная масса Н (v0); Наследник Н2 (v1).

Идентификатор: urn:faraid:clir:shares#DaughterTakesResidueWithSon Анкер: urn:faraid:clir:shares#FARAID_ART11

Двум и более дочерям две трети на всех, между ними — поровну

Для Наследственная масса Н (v0); Наследник Н2 (v1).

Всегда, если установлено, что «дочь наследодателя» (e: Н, h: Н2) и установлено, что «пережил наследодателя и не отстранён от наследования» (e: Н, h: Н2) и количество по набору: различные значения Н4, где Н4 — Наследник, и установлено, что «дочь наследодателя» (e: Н, h: Н4) больше «1» и установлено, что не «имеется наследующий потомок мужского пола» (e: Н), то «кораническая доля наследника» (e: Н, h: Н2, share: ((«2» / «3») / (количество по набору: различные значения Н3, где Н3 — Наследник, и установлено, что «дочь наследодателя» (e: Н, h: Н3) / «1»))).

Идентификатор: urn:faraid:clir:shares#DaughtersTwoThirds Анкер: urn:faraid:clir:shares#FARAID_ART7

Отцу шестая часть при наличии наследующего потомка

Для Наследственная масса Н (v0); Наследник Н2 (v1).

Всегда, если установлено, что «пережил наследодателя и не отстранён от наследования» (e: Н, h: Н2) и установлено, что «имеется наследующий потомок (فرع وارث)» (e: Н) и установлено, что «отец наследодателя» (e: Н, h: Н2), то «кораническая доля наследника» (e: Н, h: Н2, share: («1» / «6»)).

Идентификатор: urn:faraid:clir:shares#FatherSixth Анкер: urn:faraid:clir:shares#FARAID_ART6

Отец получает остаток, если наследующие потомки — только женского пола

Для Наследственная масса Н (v0); Наследник Н2 (v1).

Всегда, если установлено, что «пережил наследодателя и не отстранён от наследования» (e: Н, h: Н2) и установлено, что «имеется наследующий потомок (فرع وارث)» (e: Н) и установлено, что «отец наследодателя» (e: Н, h: Н2) и установлено, что не «имеется наследующий потомок мужского пола» (e: Н), то «призывается к остатку с указанным весом» (e: Н, h: Н2, weight: «1»).

Идентификатор: urn:faraid:clir:shares#FatherTakesResidue Анкер: urn:faraid:clir:shares#FARAID_ART6

Полнородные братья отстраняются отцом наследодателя

Для Наследственная масса Н (v0); Наследник Н2 (v1).

Всегда, если установлено, что «пережил наследодателя и не отстранён от наследования» (e: Н, h: Н2) и установлено, что «полнородный брат наследодателя» (e: Н, h: Н2) и количество по набору: различные значения Н3, где Н3 — Наследник, и установлено, что «отец наследодателя» (e: Н, h: Н3) больше «0», то «отстранён от наследования (حجب حرمان)» (e: Н, h: Н2).

Идентификатор: urn:faraid:clir:shares#FullBrotherExcludedByFather Анкер: urn:faraid:clir:shares#FARAID_ART10

Полнородные братья отстраняются потомком мужского пола

Для Наследственная масса Н (v0); Наследник Н2 (v1).

Всегда, если установлено, что «пережил наследодателя и не отстранён от наследования» (e: Н, h: Н2) и установлено, что «имеется наследующий потомок мужского пола» (e: Н) и установлено, что «полнородный брат наследодателя» (e: Н, h: Н2), то «отстранён от наследования (حجب حرمان)» (e: Н, h: Н2).

Идентификатор: urn:faraid:clir:shares#FullBrotherExcludedByMaleDescendant Анкер: urn:faraid:clir:shares#FARAID_ART10

При отсутствии потомков остаток принадлежит полнородным братьям поровну

Для Наследственная масса Н (v0); Наследник Н2 (v1).

Всегда, если установлено, что «пережил наследодателя и не отстранён от наследования» (e: Н, h: Н2) и количество по набору: различные значения Н3, где Н3 — Наследник, и установлено, что «отец наследодателя» (e: Н, h: Н3) равно «0» и установлено, что не «имеется наследующий потомок (فرع وارث)» (e: Н) и установлено, что «полнородный брат наследодателя» (e: Н, h: Н2), то «призывается к остатку с указанным весом» (e: Н, h: Н2, weight: «1»).

Идентификатор: urn:faraid:clir:shares#FullBrotherTakesResidue Анкер: urn:faraid:clir:shares#FARAID_ART11

Единственной полнородной сестре половина

Для Наследственная масса Н (v0); Наследник Н2 (v1).

Всегда, если установлено, что «полнородная сестра наследодателя» (e: Н, h: Н2) и установлено, что «пережил наследодателя и не отстранён от наследования» (e: Н, h: Н2) и количество по набору: различные значения Н3, где Н3 — Наследник, и установлено, что «полнородная сестра наследодателя» (e: Н, h: Н3) равно «1» и количество по набору: различные значения Н4, где Н4 — Наследник, и установлено, что «отец наследодателя» (e: Н, h: Н4) равно «0» и установлено, что не «имеется наследующий потомок (فرع وارث)» (e: Н), то «кораническая доля наследника» (e: Н, h: Н2, share: («1» / «2»)).

Идентификатор: urn:faraid:clir:shares#FullSisterAloneHalf Анкер: urn:faraid:clir:shares#FARAID_ART8

Полнородные сёстры отстраняются отцом наследодателя

Для Наследственная масса Н (v0); Наследник Н2 (v1).

Идентификатор: urn:faraid:clir:shares#FullSisterExcludedByFather Анкер: urn:faraid:clir:shares#FARAID_ART10

Полнородные сёстры отстраняются потомком мужского пола

Для Наследственная масса Н (v0); Наследник Н2 (v1).

Всегда, если установлено, что «полнородная сестра наследодателя» (e: Н, h: Н2) и установлено, что «пережил наследодателя и не отстранён от наследования» (e: Н, h: Н2) и установлено, что «имеется наследующий потомок мужского пола» (e: Н), то «отстранён от наследования (حجب حرمان)» (e: Н, h: Н2).

Идентификатор: urn:faraid:clir:shares#FullSisterExcludedByMaleDescendant Анкер: urn:faraid:clir:shares#FARAID_ART10

Двум и более полнородным сёстрам две трети на всех, между ними — поровну

Для Наследственная масса Н (v0); Наследник Н2 (v1).

Всегда, если количество по набору: различные значения Н4, где Н4 — Наследник, и установлено, что «полнородная сестра наследодателя» (e: Н, h: Н4) больше «1» и установлено, что «полнородная сестра наследодателя» (e: Н, h: Н2) и установлено, что «пережил наследодателя и не отстранён от наследования» (e: Н, h: Н2) и количество по набору: различные значения Н5, где Н5 — Наследник, и установлено, что «отец наследодателя» (e: Н, h: Н5) равно «0» и установлено, что не «имеется наследующий потомок (فرع وارث)» (e: Н), то «кораническая доля наследника» (e: Н, h: Н2, share: ((«2» / «3») / (количество по набору: различные значения Н3, где Н3 — Наследник, и установлено, что «полнородная сестра наследодателя» (e: Н, h: Н3) / «1»))).

Идентификатор: urn:faraid:clir:shares#FullSistersTwoThirds Анкер: urn:faraid:clir:shares#FARAID_ART8

Мужу половина, если у наследодателя нет наследующего потомка

Для Наследственная масса Н (v0); Наследник Н2 (v1).

Всегда, если установлено, что «пережил наследодателя и не отстранён от наследования» (e: Н, h: Н2) и установлено, что «переживший супруг мужского пола» (e: Н, h: Н2) и установлено, что не «имеется наследующий потомок (فرع وارث)» (e: Н), то «кораническая доля наследника» (e: Н, h: Н2, share: («1» / «2»)).

Идентификатор: urn:faraid:clir:shares#HusbandHalf Анкер: urn:faraid:clir:shares#FARAID_ART3

Мужу четверть при наличии наследующего потомка

Для Наследственная масса Н (v0); Наследник Н2 (v1).

Всегда, если установлено, что «пережил наследодателя и не отстранён от наследования» (e: Н, h: Н2) и установлено, что «имеется наследующий потомок (فرع وارث)» (e: Н) и установлено, что «переживший супруг мужского пола» (e: Н, h: Н2), то «кораническая доля наследника» (e: Н, h: Н2, share: («1» / «4»)).

Идентификатор: urn:faraid:clir:shares#HusbandQuarter Анкер: urn:faraid:clir:shares#FARAID_ART3

Матери шестая часть при наличии потомка либо двух и более братьев и сестёр

Для Наследственная масса Н (v0); Наследник Н2 (v1).

Всегда, если установлено, что «пережил наследодателя и не отстранён от наследования» (e: Н, h: Н2) и установлено, что «имеется наследующий потомок (فرع وارث)» (e: Н) и установлено, что «мать наследодателя» (e: Н, h: Н2), то «кораническая доля наследника» (e: Н, h: Н2, share: («1» / «6»)).

Идентификатор: urn:faraid:clir:shares#MotherSixth/alt/1 Анкер: urn:faraid:clir:shares#FARAID_ART5

Матери шестая часть при наличии потомка либо двух и более братьев и сестёр

Для Наследственная масса Н (v0); Наследник Н2 (v1).

Всегда, если установлено, что «имеются двое или более братьев и сестёр» (e: Н) и установлено, что «пережил наследодателя и не отстранён от наследования» (e: Н, h: Н2) и установлено, что «мать наследодателя» (e: Н, h: Н2), то «кораническая доля наследника» (e: Н, h: Н2, share: («1» / «6»)).

Идентификатор: urn:faraid:clir:shares#MotherSixth/alt/2 Анкер: urn:faraid:clir:shares#FARAID_ART5

Матери треть, если нет ни потомка, ни двух братьев и сестёр

Для Наследственная масса Н (v0); Наследник Н2 (v1).

Всегда, если установлено, что «пережил наследодателя и не отстранён от наследования» (e: Н, h: Н2) и установлено, что не «имеются двое или более братьев и сестёр» (e: Н) и установлено, что не «имеется наследующий потомок (فرع وارث)» (e: Н) и установлено, что «мать наследодателя» (e: Н, h: Н2), то «кораническая доля наследника» (e: Н, h: Н2, share: («1» / «3»)).

Идентификатор: urn:faraid:clir:shares#MotherThird Анкер: urn:faraid:clir:shares#FARAID_ART5

В возврате остатка участвуют обладатели долей, кроме пережившего супруга

Для Наследственная масса Н (v0); Наследник Н2 (v1); рационального числа Р (v2).

Всегда, если установлено, что «кораническая доля наследника» (e: Н, h: Н2, share: Р) и установлено, что «мать наследодателя» (e: Н, h: Н2), то «участвует в возврате остатка» (e: Н, h: Н2).

Идентификатор: urn:faraid:clir:shares#RaddParticipants/alt/1 Анкер: urn:faraid:clir:shares#FARAID_ART13

В возврате остатка участвуют обладатели долей, кроме пережившего супруга

Для Наследственная масса Н (v0); Наследник Н2 (v1); рационального числа Р (v2).

Всегда, если установлено, что «кораническая доля наследника» (e: Н, h: Н2, share: Р) и установлено, что «отец наследодателя» (e: Н, h: Н2), то «участвует в возврате остатка» (e: Н, h: Н2).

Идентификатор: urn:faraid:clir:shares#RaddParticipants/alt/2 Анкер: urn:faraid:clir:shares#FARAID_ART13

В возврате остатка участвуют обладатели долей, кроме пережившего супруга

Для Наследственная масса Н (v0); Наследник Н2 (v1); рационального числа Р (v2).

Всегда, если установлено, что «кораническая доля наследника» (e: Н, h: Н2, share: Р) и установлено, что «дочь наследодателя» (e: Н, h: Н2), то «участвует в возврате остатка» (e: Н, h: Н2).

Идентификатор: urn:faraid:clir:shares#RaddParticipants/alt/3 Анкер: urn:faraid:clir:shares#FARAID_ART13

В возврате остатка участвуют обладатели долей, кроме пережившего супруга

Для Наследственная масса Н (v0); Наследник Н2 (v1); рационального числа Р (v2).

Всегда, если установлено, что «кораническая доля наследника» (e: Н, h: Н2, share: Р) и установлено, что «полнородная сестра наследодателя» (e: Н, h: Н2), то «участвует в возврате остатка» (e: Н, h: Н2).

Идентификатор: urn:faraid:clir:shares#RaddParticipants/alt/4 Анкер: urn:faraid:clir:shares#FARAID_ART13

В возврате остатка участвуют обладатели долей, кроме пережившего супруга

Для Наследственная масса Н (v0); Наследник Н2 (v1); рационального числа Р (v2).

Всегда, если установлено, что «кораническая доля наследника» (e: Н, h: Н2, share: Р) и установлено, что «единоутробный брат или сестра наследодателя» (e: Н, h: Н2), то «участвует в возврате остатка» (e: Н, h: Н2).

Идентификатор: urn:faraid:clir:shares#RaddParticipants/alt/5 Анкер: urn:faraid:clir:shares#FARAID_ART13

RaddShareOf

Для Наследственная масса Н (v0); Наследник Н2 (v1); рационального числа Р (v2).

Всегда, если установлено, что «кораническая доля наследника» (e: Н, h: Н2, share: Р) и установлено, что «участвует в возврате остатка» (e: Н, h: Н2), то «доля, участвующая в возврате остатка» (e: Н, h: Н2, share: Р).

Идентификатор: urn:faraid:clir:shares#RaddShareOf Анкер: urn:faraid:clir:shares#FARAID_ART13

Остаток принадлежит сыновьям; доля сына равна доле двух дочерей

Для Наследственная масса Н (v0); Наследник Н2 (v1).

Всегда, если установлено, что «сын наследодателя» (e: Н, h: Н2) и установлено, что «пережил наследодателя и не отстранён от наследования» (e: Н, h: Н2), то «призывается к остатку с указанным весом» (e: Н, h: Н2, weight: «2»).

Идентификатор: urn:faraid:clir:shares#SonTakesResidue Анкер: urn:faraid:clir:shares#FARAID_ART11

SpouseShareOf/alt/1

Для Наследственная масса Н (v0); Наследник Н2 (v1); рационального числа Р (v2).

Всегда, если установлено, что «кораническая доля наследника» (e: Н, h: Н2, share: Р) и установлено, что «переживший супруг мужского пола» (e: Н, h: Н2), то «доля пережившего супруга» (e: Н, h: Н2, share: Р).

Идентификатор: urn:faraid:clir:shares#SpouseShareOf/alt/1 Анкер: urn:faraid:clir:shares#FARAID_ART13

SpouseShareOf/alt/2

Для Наследственная масса Н (v0); Наследник Н2 (v1); рационального числа Р (v2).

Всегда, если установлено, что «кораническая доля наследника» (e: Н, h: Н2, share: Р) и установлено, что «пережившая супруга» (e: Н, h: Н2), то «доля пережившего супруга» (e: Н, h: Н2, share: Р).

Идентификатор: urn:faraid:clir:shares#SpouseShareOf/alt/2 Анкер: urn:faraid:clir:shares#FARAID_ART13

Единоутробные отстраняются при наличии наследующего потомка

Для Наследственная масса Н (v0); Наследник Н2 (v1).

Идентификатор: urn:faraid:clir:shares#UterineExcludedByDescendant Анкер: urn:faraid:clir:shares#FARAID_ART10

Единоутробные отстраняются отцом наследодателя

Для Наследственная масса Н (v0); Наследник Н2 (v1).

Идентификатор: urn:faraid:clir:shares#UterineExcludedByFather Анкер: urn:faraid:clir:shares#FARAID_ART10

Единственному единоутробному шестая часть

Для Наследственная масса Н (v0); Наследник Н2 (v1).

Всегда, если установлено, что «единоутробный брат или сестра наследодателя» (e: Н, h: Н2) и установлено, что «пережил наследодателя и не отстранён от наследования» (e: Н, h: Н2) и количество по набору: различные значения Н3, где Н3 — Наследник, и установлено, что «отец наследодателя» (e: Н, h: Н3) равно «0» и установлено, что не «имеется наследующий потомок (فرع وارث)» (e: Н) и количество по набору: различные значения Н4, где Н4 — Наследник, и установлено, что «единоутробный брат или сестра наследодателя» (e: Н, h: Н4) равно «1», то «кораническая доля наследника» (e: Н, h: Н2, share: («1» / «6»)).

Идентификатор: urn:faraid:clir:shares#UterineOneSixth Анкер: urn:faraid:clir:shares#FARAID_ART9

Двум и более единоутробным треть на всех, между ними — поровну

Для Наследственная масса Н (v0); Наследник Н2 (v1).

Всегда, если установлено, что «единоутробный брат или сестра наследодателя» (e: Н, h: Н2) и установлено, что «пережил наследодателя и не отстранён от наследования» (e: Н, h: Н2) и количество по набору: различные значения Н4, где Н4 — Наследник, и установлено, что «отец наследодателя» (e: Н, h: Н4) равно «0» и установлено, что не «имеется наследующий потомок (فرع وارث)» (e: Н) и количество по набору: различные значения Н5, где Н5 — Наследник, и установлено, что «единоутробный брат или сестра наследодателя» (e: Н, h: Н5) больше «1», то «кораническая доля наследника» (e: Н, h: Н2, share: ((«1» / «3») / (количество по набору: различные значения Н3, где Н3 — Наследник, и установлено, что «единоутробный брат или сестра наследодателя» (e: Н, h: Н3) / «1»))).

Идентификатор: urn:faraid:clir:shares#UterineThirdShared Анкер: urn:faraid:clir:shares#FARAID_ART9

Жене восьмая часть при наличии наследующего потомка; между жёнами — поровну

Для Наследственная масса Н (v0); Наследник Н2 (v1).

Всегда, если установлено, что «пережил наследодателя и не отстранён от наследования» (e: Н, h: Н2) и установлено, что «пережившая супруга» (e: Н, h: Н2) и установлено, что «имеется наследующий потомок (فرع وارث)» (e: Н), то «кораническая доля наследника» (e: Н, h: Н2, share: ((«1» / «8») / (количество по набору: различные значения Н3, где Н3 — Наследник, и установлено, что «пережившая супруга» (e: Н, h: Н3) / «1»))).

Идентификатор: urn:faraid:clir:shares#WifeEighth Анкер: urn:faraid:clir:shares#FARAID_ART4

Жене четверть, если нет наследующего потомка; между жёнами — поровну

Для Наследственная масса Н (v0); Наследник Н2 (v1).

Всегда, если установлено, что «пережил наследодателя и не отстранён от наследования» (e: Н, h: Н2) и установлено, что «пережившая супруга» (e: Н, h: Н2) и установлено, что не «имеется наследующий потомок (فرع وارث)» (e: Н), то «кораническая доля наследника» (e: Н, h: Н2, share: ((«1» / «4») / (количество по набору: различные значения Н3, где Н3 — Наследник, и установлено, что «пережившая супруга» (e: Н, h: Н3) / «1»))).

Идентификатор: urn:faraid:clir:shares#WifeQuarter Анкер: urn:faraid:clir:shares#FARAID_ART4

Требования

SonImpliesDescendant

Для Наследственная масса Н (v0); Наследник Н2 (v1).

Если установлено, что «сын наследодателя» (e: Н, h: Н2), то требуется: установлено, что «имеется наследующий потомок (فرع وارث)» (e: Н).

Сообщение при нарушении: «объявлен сын, но наследующий потомок не установлен — состав дела несвязен (ст. 2 изложения)».

Идентификатор: urn:faraid:clir:shares#SonImpliesDescendant

SonImpliesMaleDescendant

Для Наследственная масса Н (v0); Наследник Н2 (v1).

Если установлено, что «сын наследодателя» (e: Н, h: Н2), то требуется: установлено, что «имеется наследующий потомок мужского пола» (e: Н).

Сообщение при нарушении: «объявлен сын, но наследующий потомок мужского пола не установлен — состав дела несвязен (ст. 2 изложения)».

Идентификатор: urn:faraid:clir:shares#SonImpliesMaleDescendant