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

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

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

Источники

«Репка» — обычай совместного действия: связная цепь держащихся, полнота состава и неделимый результат

Источник ««Репка» — обычай совместного действия: связная цепь держащихся, полнота состава и неделимый результат».

Идентификатор: urn:ru:narod:clir:repka#REPKA

Запись А. Харитонова в Архангельской губернии; А. Н. Афанасьев, «Народные русские сказки», № 89 (1863). Состав — дедка, бабка, внучка, сучка и пять но́г; ни кошки, ни мышки нет. Привлекает только дедка (бабку), остальные приходят сами

Издание «Запись А. Харитонова в Архангельской губернии; А. Н. Афанасьев, «Народные русские сказки», № 89 (1863). Состав — дедка, бабка, внучка, сучка и пять но́г; ни кошки, ни мышки нет. Привлекает только дедка (бабку), остальные приходят сами» источника ««Репка» — обычай совместного действия: связная цепь держащихся, полнота состава и неделимый результат», язык ru.

Состояние adopted: 1863-01-01.

Идентификатор: urn:ru:narod:clir:repka#REPKA_AFANASYEV_1863

В. А. Гатцук, «Сказки русского народа» (1894). Состав — дедка, бабка, внучка, Жучка, Машка, мышка, птичка, мушка и Ваня, то есть «имя того, кому сказывается сказка»: последнее место состава означивается при каждом рассказывании

Издание «В. А. Гатцук, «Сказки русского народа» (1894). Состав — дедка, бабка, внучка, Жучка, Машка, мышка, птичка, мушка и Ваня, то есть «имя того, кому сказывается сказка»: последнее место состава означивается при каждом рассказывании» источника ««Репка» — обычай совместного действия: связная цепь держащихся, полнота состава и неделимый результат», язык ru.

Состояние adopted: 1894-01-01.

Идентификатор: urn:ru:narod:clir:repka#REPKA_GATTSUK_1894

Устное бытование обычая (текста не существует)

Издание «Устное бытование обычая (текста не существует)» источника ««Репка» — обычай совместного действия: связная цепь держащихся, полнота состава и неделимый результат», язык ru.

Идентификатор: urn:ru:narod:clir:repka#REPKA_ORAL

К. Д. Ушинский, «Репка» (обработка для «Родного слова», 1864). Состав — дедка, бабка, внучка, Жучка, кошка, мышка; каждый следующий призван предыдущим

Издание «К. Д. Ушинский, «Репка» (обработка для «Родного слова», 1864). Состав — дедка, бабка, внучка, Жучка, кошка, мышка; каждый следующий призван предыдущим» источника ««Репка» — обычай совместного действия: связная цепь держащихся, полнота состава и неделимый результат», язык ru.

Состояние adopted: 1864-01-01.

Идентификатор: urn:ru:narod:clir:repka#REPKA_USHINSKY_1864

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

REPKA_AFANASYEV_TEXT

Закреплённая публикация издания «Запись А. Харитонова в Архангельской губернии; А. Н. Афанасьев, «Народные русские сказки», № 89 (1863). Состав — дедка, бабка, внучка, сучка и пять но́г; ни кошки, ни мышки нет. Привлекает только дедка (бабку), остальные приходят сами»: https://ru.wikisource.org/w/index.php?oldid=1136168&action=raw.

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

Идентификатор: urn:ru:narod:clir:repka#REPKA_AFANASYEV_TEXT

REPKA_GATTSUK_TEXT

Закреплённая публикация издания «В. А. Гатцук, «Сказки русского народа» (1894). Состав — дедка, бабка, внучка, Жучка, Машка, мышка, птичка, мушка и Ваня, то есть «имя того, кому сказывается сказка»: последнее место состава означивается при каждом рассказывании»: https://ru.wikisource.org/w/index.php?oldid=5285656&action=raw.

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

Идентификатор: urn:ru:narod:clir:repka#REPKA_GATTSUK_TEXT

REPKA_USHINSKY_TEXT

Закреплённая публикация издания «К. Д. Ушинский, «Репка» (обработка для «Родного слова», 1864). Состав — дедка, бабка, внучка, Жучка, кошка, мышка; каждый следующий призван предыдущим»: https://ru.wikisource.org/w/index.php?oldid=1173106&action=raw.

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

Идентификатор: urn:ru:narod:clir:repka#REPKA_USHINSKY_TEXT

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

RP_AF_1

Фрагмент lines/1 издания «Запись А. Харитонова в Архангельской губернии; А. Н. Афанасьев, «Народные русские сказки», № 89 (1863). Состав — дедка, бабка, внучка, сучка и пять но́г; ни кошки, ни мышки нет. Привлекает только дедка (бабку), остальные приходят сами».

Посеял дедка репку; пошёл репку рвать, захватился за репку: тянет-потянет, вытянуть не может!

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

Идентификатор: urn:ru:narod:clir:repka#RP_AF_1

RP_AF_2

Фрагмент lines/2 издания «Запись А. Харитонова в Архангельской губернии; А. Н. Афанасьев, «Народные русские сказки», № 89 (1863). Состав — дедка, бабка, внучка, сучка и пять но́г; ни кошки, ни мышки нет. Привлекает только дедка (бабку), остальные приходят сами».

Со́звал дедка бабку; бабка за дедку, дедка за репку, тянут-потянут, вытянуть не можут!

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

Идентификатор: urn:ru:narod:clir:repka#RP_AF_2

RP_AF_3

Фрагмент lines/3 издания «Запись А. Харитонова в Архангельской губернии; А. Н. Афанасьев, «Народные русские сказки», № 89 (1863). Состав — дедка, бабка, внучка, сучка и пять но́г; ни кошки, ни мышки нет. Привлекает только дедка (бабку), остальные приходят сами».

Пришла внучка; внучка за бабку, бабка за дедку, дедка за репку, тянут-потянут, вытянуть не можут!

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

Идентификатор: urn:ru:narod:clir:repka#RP_AF_3

RP_AF_4

Фрагмент lines/4 издания «Запись А. Харитонова в Архангельской губернии; А. Н. Афанасьев, «Народные русские сказки», № 89 (1863). Состав — дедка, бабка, внучка, сучка и пять но́г; ни кошки, ни мышки нет. Привлекает только дедка (бабку), остальные приходят сами».

Пришла сучка; сучка за внучку, внучка за бабку, бабка за дедку, дедка за репку, тянут-потянут, вытянуть не можут!

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

Идентификатор: urn:ru:narod:clir:repka#RP_AF_4

RP_AF_5

Фрагмент lines/5 издания «Запись А. Харитонова в Архангельской губернии; А. Н. Афанасьев, «Народные русские сказки», № 89 (1863). Состав — дедка, бабка, внучка, сучка и пять но́г; ни кошки, ни мышки нет. Привлекает только дедка (бабку), остальные приходят сами».

Пришла но́га(?). Но́га за сучку, сучка за внучку, внучка за бабку, бабка за дедку, дедка за репку, тянут-потянут, вытянуть не можут!

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

Идентификатор: urn:ru:narod:clir:repka#RP_AF_5

RP_AF_6

Фрагмент lines/6 издания «Запись А. Харитонова в Архангельской губернии; А. Н. Афанасьев, «Народные русские сказки», № 89 (1863). Состав — дедка, бабка, внучка, сучка и пять но́г; ни кошки, ни мышки нет. Привлекает только дедка (бабку), остальные приходят сами».

Пришла дру́га но́га; дру́га но́га за но́гу, но́га за сучку, сучка за внучку, внучка за бабку, бабка за дедку, дедка за репку, тянут-потянут, вытянуть не можут! (и так далее до пятой но́ги).

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

Идентификатор: urn:ru:narod:clir:repka#RP_AF_6

RP_AF_7

Фрагмент lines/7 издания «Запись А. Харитонова в Архангельской губернии; А. Н. Афанасьев, «Народные русские сказки», № 89 (1863). Состав — дедка, бабка, внучка, сучка и пять но́г; ни кошки, ни мышки нет. Привлекает только дедка (бабку), остальные приходят сами».

Пришла пя́та но́га. Пять ног за четыре, четыре но́ги за три, три но́ги за две, две но́ги за но́гу, но́га за сучку, сучка за внучку, внучка за бабку, бабка за дедку, дедка за репку, тянут-потянут: вытянули репку!

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

Идентификатор: urn:ru:narod:clir:repka#RP_AF_7

RP_GA_1

Фрагмент lines/1 издания «В. А. Гатцук, «Сказки русского народа» (1894). Состав — дедка, бабка, внучка, Жучка, Машка, мышка, птичка, мушка и Ваня, то есть «имя того, кому сказывается сказка»: последнее место состава означивается при каждом рассказывании».

Сеял-посеял дедка репку; и выросла репка — не часта, не редка, а большая-пребольшая… Пошел дедка тянуть репку… Тянет-потянет, вытянуть не может… И позвал дедка бабку.

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

Идентификатор: urn:ru:narod:clir:repka#RP_GA_1

RP_GA_2

Фрагмент lines/2 издания «В. А. Гатцук, «Сказки русского народа» (1894). Состав — дедка, бабка, внучка, Жучка, Машка, мышка, птичка, мушка и Ваня, то есть «имя того, кому сказывается сказка»: последнее место состава означивается при каждом рассказывании».

Бабка — за дедку, дедка — за репку… Тянут-потянут, вытянуть не могут. Позвала бабка внучку.

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

Идентификатор: urn:ru:narod:clir:repka#RP_GA_2

RP_GA_3

Фрагмент lines/3 издания «В. А. Гатцук, «Сказки русского народа» (1894). Состав — дедка, бабка, внучка, Жучка, Машка, мышка, птичка, мушка и Ваня, то есть «имя того, кому сказывается сказка»: последнее место состава означивается при каждом рассказывании».

Внучка — за бабку, бабка — за дедку, дедка — за репку… Тянут-потянут, вытянуть не могут. Позвала внучка Жучку.

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

Идентификатор: urn:ru:narod:clir:repka#RP_GA_3

RP_GA_4

Фрагмент lines/4 издания «В. А. Гатцук, «Сказки русского народа» (1894). Состав — дедка, бабка, внучка, Жучка, Машка, мышка, птичка, мушка и Ваня, то есть «имя того, кому сказывается сказка»: последнее место состава означивается при каждом рассказывании».

Жучка — за внучку, внучка — за бабку, бабка — за дедку, дедка — за репку…Тянут-потянут, вытянуть не могут. Позвала Жучка Машку.

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

Идентификатор: urn:ru:narod:clir:repka#RP_GA_4

RP_GA_5

Фрагмент lines/5 издания «В. А. Гатцук, «Сказки русского народа» (1894). Состав — дедка, бабка, внучка, Жучка, Машка, мышка, птичка, мушка и Ваня, то есть «имя того, кому сказывается сказка»: последнее место состава означивается при каждом рассказывании».

Машка — за Жучку, Жучка — за внучку, внучка — за бабку, бабка — за дедку, дедка — за репку…Тянут-потянут, вытянуть не могут. Позвала Машка мышку.

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

Идентификатор: urn:ru:narod:clir:repka#RP_GA_5

RP_GA_6

Фрагмент lines/6 издания «В. А. Гатцук, «Сказки русского народа» (1894). Состав — дедка, бабка, внучка, Жучка, Машка, мышка, птичка, мушка и Ваня, то есть «имя того, кому сказывается сказка»: последнее место состава означивается при каждом рассказывании».

Мышка — за Машку, Машка — за Жучку, Жучка — за внучку, внучка — за бабку, бабка — за дедку, дедка — за репку…Тянут-потянут, вытянуть не могут. Позвала мышка птичку.

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

Идентификатор: urn:ru:narod:clir:repka#RP_GA_6

RP_GA_7

Фрагмент lines/7 издания «В. А. Гатцук, «Сказки русского народа» (1894). Состав — дедка, бабка, внучка, Жучка, Машка, мышка, птичка, мушка и Ваня, то есть «имя того, кому сказывается сказка»: последнее место состава означивается при каждом рассказывании».

Птичка — за мышку, мышка — за Машку, Машка — за Жучку, Жучка — за внучку, внучка — за бабку, бабка — за дедку, дедка — за репку…Тянут-потянут, вытянуть не могут. Позвала птичка мушку.

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

Идентификатор: urn:ru:narod:clir:repka#RP_GA_7

RP_GA_8

Фрагмент lines/8 издания «В. А. Гатцук, «Сказки русского народа» (1894). Состав — дедка, бабка, внучка, Жучка, Машка, мышка, птичка, мушка и Ваня, то есть «имя того, кому сказывается сказка»: последнее место состава означивается при каждом рассказывании».

Мушка — за птичку, птичка — за мышку, мышка — за Машку, Машка — за Жучку, Жучка — за внучку, внучка — за бабку, бабка — за дедку, дедка — за репку…Тянут-потянут, вытянуть не могут. Позвала мушка Ваню[имя того, кому сказывается сказка].

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

Идентификатор: urn:ru:narod:clir:repka#RP_GA_8

RP_GA_9

Фрагмент lines/9 издания «В. А. Гатцук, «Сказки русского народа» (1894). Состав — дедка, бабка, внучка, Жучка, Машка, мышка, птичка, мушка и Ваня, то есть «имя того, кому сказывается сказка»: последнее место состава означивается при каждом рассказывании».

Ваня — за мушку, мушка — за птичку, птичка — за мышку, мышка — за Машку, Машка — за Жучку, Жучка — за внучку, внучка — за бабку, бабка — за дедку, дедка — за репку… Тянули-тянули, тянули-тянули… Вытянули репку!..

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

Идентификатор: urn:ru:narod:clir:repka#RP_GA_9

RP_US_1

Фрагмент lines/1 издания «К. Д. Ушинский, «Репка» (обработка для «Родного слова», 1864). Состав — дедка, бабка, внучка, Жучка, кошка, мышка; каждый следующий призван предыдущим».

Посадил дед репку — выросла репка большая, пребольшая.

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

Идентификатор: urn:ru:narod:clir:repka#RP_US_1

RP_US_2

Фрагмент lines/2 издания «К. Д. Ушинский, «Репка» (обработка для «Родного слова», 1864). Состав — дедка, бабка, внучка, Жучка, кошка, мышка; каждый следующий призван предыдущим».

Стал дед репку из земли тащить: тянет-потянет, вытащить не может.

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

Идентификатор: urn:ru:narod:clir:repka#RP_US_2

RP_US_3

Фрагмент lines/3 издания «К. Д. Ушинский, «Репка» (обработка для «Родного слова», 1864). Состав — дедка, бабка, внучка, Жучка, кошка, мышка; каждый следующий призван предыдущим».

Позвал дед на помощь бабку.

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

Идентификатор: urn:ru:narod:clir:repka#RP_US_3

RP_US_4

Фрагмент lines/4 издания «К. Д. Ушинский, «Репка» (обработка для «Родного слова», 1864). Состав — дедка, бабка, внучка, Жучка, кошка, мышка; каждый следующий призван предыдущим».

Бабка за дедку, дедка за репку: тянут-потянут, вытянуть не могут.

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

Идентификатор: urn:ru:narod:clir:repka#RP_US_4

RP_US_5

Фрагмент lines/5 издания «К. Д. Ушинский, «Репка» (обработка для «Родного слова», 1864). Состав — дедка, бабка, внучка, Жучка, кошка, мышка; каждый следующий призван предыдущим».

Позвала бабка внучку. Внучка за бабку, бабка за дедку, дедка за репку: тянут-потянут, вытянуть не могут.

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

Идентификатор: urn:ru:narod:clir:repka#RP_US_5

RP_US_6

Фрагмент lines/6 издания «К. Д. Ушинский, «Репка» (обработка для «Родного слова», 1864). Состав — дедка, бабка, внучка, Жучка, кошка, мышка; каждый следующий призван предыдущим».

Кликнула внучка Жучку. Жучка за внучку, внучка за бабку, бабка за дедку, дедка за репку: тянут-потянут, вытянуть не могут.

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

Идентификатор: urn:ru:narod:clir:repka#RP_US_6

RP_US_7

Фрагмент lines/7 издания «К. Д. Ушинский, «Репка» (обработка для «Родного слова», 1864). Состав — дедка, бабка, внучка, Жучка, кошка, мышка; каждый следующий призван предыдущим».

Кликнула Жучка кошку. Кошка за Жучку, Жучка за внучку, внучка за бабку, бабка за дедку, дедка за репку: тянут-потянут, вытянуть не могут.

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

Идентификатор: urn:ru:narod:clir:repka#RP_US_7

RP_US_8

Фрагмент lines/8 издания «К. Д. Ушинский, «Репка» (обработка для «Родного слова», 1864). Состав — дедка, бабка, внучка, Жучка, кошка, мышка; каждый следующий призван предыдущим».

Кликнула кошка мышку.

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

Идентификатор: urn:ru:narod:clir:repka#RP_US_8

RP_US_9

Фрагмент lines/9 издания «К. Д. Ушинский, «Репка» (обработка для «Родного слова», 1864). Состав — дедка, бабка, внучка, Жучка, кошка, мышка; каждый следующий призван предыдущим».

Мышка за кошку, кошка за Жучку, Жучка за внучку, внучка за бабку, бабка за дедку, дедка за репку тянут-потянут — вытащили репку!

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

Идентификатор: urn:ru:narod:clir:repka#RP_US_9

Понятия

участник: тот, кто тянет и держится за другого

Понятие «участник: тот, кто тянет и держится за другого».

Идентификатор: urn:ru:narod:clir:repka#Participant

запись сказки, по которой решается дело

Понятие «запись сказки, по которой решается дело».

Идентификатор: urn:ru:narod:clir:repka#Record

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

бабка: единственная, кого привлекают во всех трёх записях

Отношение «бабка: единственная, кого привлекают во всех трёх записях».

Идентификатор: urn:ru:narod:clir:repka#BABKA

дедка: посеял репку и первым за неё взялся

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

Идентификатор: urn:ru:narod:clir:repka#DEDKA

кошка (Ушинский)

Отношение «кошка (Ушинский)».

Идентификатор: urn:ru:narod:clir:repka#KOSHKA

Машка (Гатцук)

Отношение «Машка (Гатцук)».

Идентификатор: urn:ru:narod:clir:repka#MASHKA

мушка (Гатцук)

Отношение «мушка (Гатцук)».

Идентификатор: urn:ru:narod:clir:repka#MUSHKA

мышка: последняя у Ушинского, пятая из девяти у Гатцука

Отношение «мышка: последняя у Ушинского, пятая из девяти у Гатцука».

Идентификатор: urn:ru:narod:clir:repka#MYSHKA

но́га — первая (Афанасьев)

Отношение «но́га — первая (Афанасьев)».

Идентификатор: urn:ru:narod:clir:repka#NOGA_1

дру́га но́га — вторая (Афанасьев)

Отношение «дру́га но́га — вторая (Афанасьев)».

Идентификатор: urn:ru:narod:clir:repka#NOGA_2

третья но́га (Афанасьев; поимённо не названа, восстановлена пересчётом)

Отношение «третья но́га (Афанасьев; поимённо не названа, восстановлена пересчётом)».

Идентификатор: urn:ru:narod:clir:repka#NOGA_3

четвёртая но́га (Афанасьев; поимённо не названа, восстановлена пересчётом)

Отношение «четвёртая но́га (Афанасьев; поимённо не названа, восстановлена пересчётом)».

Идентификатор: urn:ru:narod:clir:repka#NOGA_4

пя́та но́га (Афанасьев)

Отношение «пя́та но́га (Афанасьев)».

Идентификатор: urn:ru:narod:clir:repka#NOGA_5

птичка (Гатцук)

Отношение «птичка (Гатцук)».

Идентификатор: urn:ru:narod:clir:repka#PTICHKA

запись Афанасьева (1863): девять мест, привлечения нет

Отношение «запись Афанасьева (1863): девять мест, привлечения нет».

Идентификатор: urn:ru:narod:clir:repka#REC_AFANASYEV

запись Гатцука (1894): девять мест, привлечены все, последний — слушатель

Отношение «запись Гатцука (1894): девять мест, привлечены все, последний — слушатель».

Идентификатор: urn:ru:narod:clir:repka#REC_GATTSUK

запись Ушинского (1864): шесть мест, привлечены все

Отношение «запись Ушинского (1864): шесть мест, привлечены все».

Идентификатор: urn:ru:narod:clir:repka#REC_USHINSKY

сучка (Афанасьев; нарицательное, не кличка)

Отношение «сучка (Афанасьев; нарицательное, не кличка)».

Идентификатор: urn:ru:narod:clir:repka#SUCHKA

Ваня — «имя того, кому сказывается сказка» (Гатцук): последнее место состава означивается при каждом рассказывании

Отношение «Ваня — «имя того, кому сказывается сказка» (Гатцук): последнее место состава означивается при каждом рассказывании».

Идентификатор: urn:ru:narod:clir:repka#VANYA

внучка

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

Идентификатор: urn:ru:narod:clir:repka#VNUCHKA

Жучка (Ушинский, Гатцук; кличка)

Отношение «Жучка (Ушинский, Гатцук; кличка)».

Идентификатор: urn:ru:narod:clir:repka#ZHUCHKA

репку вытянул он

Отношение «репку вытянул он».

Аргументы: p: участник: тот, кто тянет и держится за другого.

Идентификатор: urn:ru:narod:clir:repka#cause_of_extraction

участник входит в состав той записи, по которой решается дело

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

Аргументы: p: участник: тот, кто тянет и держится за другого.

Идентификатор: urn:ru:narod:clir:repka#chain_member

участник предъявлен к проверке (домен закрытия §70)

Отношение «участник предъявлен к проверке (домен закрытия §70)».

Аргументы: p: участник: тот, кто тянет и держится за другого.

Идентификатор: urn:ru:narod:clir:repka#checked_participant

запись предъявлена к проверке (домен закрытия §70)

Отношение «запись предъявлена к проверке (домен закрытия §70)».

Аргументы: rec: запись сказки, по которой решается дело.

Идентификатор: urn:ru:narod:clir:repka#checked_record

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

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

Аргументы: p: участник: тот, кто тянет и держится за другого.

Идентификатор: urn:ru:narod:clir:repka#contribution_negligible

дело решается по названной записи сказки

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

Аргументы: rec: запись сказки, по которой решается дело.

Идентификатор: urn:ru:narod:clir:repka#decided_under

сколько мест перечисляет запись

Отношение «сколько мест перечисляет запись».

Аргументы: rec: запись сказки, по которой решается дело, n: целое число.

Идентификатор: urn:ru:narod:clir:repka#enumerated_count

весь состав записи тянет по праву — никто не бездействует и никто не вне цепи

Отношение «весь состав записи тянет по праву — никто не бездействует и никто не вне цепи».

Аргументы: rec: запись сказки, по которой решается дело.

Идентификатор: urn:ru:narod:clir:repka#full_effort

участник держится за самую репку («дедка за репку»)

Отношение «участник держится за самую репку («дедка за репку»)».

Аргументы: x: участник: тот, кто тянет и держится за другого.

Идентификатор: urn:ru:narod:clir:repka#grips_turnip

участник держится за другого участника («бабка за дедку»)

Отношение «участник держится за другого участника («бабка за дедку»)».

Аргументы: x: участник: тот, кто тянет и держится за другого, y: участник: тот, кто тянет и держится за другого.

Идентификатор: urn:ru:narod:clir:repka#holds_onto

кто-то из перечисленных записью не тянет по праву

Отношение «кто-то из перечисленных записью не тянет по праву».

Аргументы: rec: запись сказки, по которой решается дело.

Идентификатор: urn:ru:narod:clir:repka#idle_member

одной инициативы для результата недостаточно

Отношение «одной инициативы для результата недостаточно».

Аргументы: p: участник: тот, кто тянет и держится за другого.

Идентификатор: urn:ru:narod:clir:repka#initiative_alone_insufficient

участник пришёл последним, и с его приходом репка пошла

Отношение «участник пришёл последним, и с его приходом репка пошла».

Аргументы: rec: запись сказки, по которой решается дело, p: участник: тот, кто тянет и держится за другого.

Идентификатор: urn:ru:narod:clir:repka#joined_last

состав собран правомерно

Отношение «состав собран правомерно».

Аргументы: rec: запись сказки, по которой решается дело.

Идентификатор: urn:ru:narod:clir:repka#lawfully_assembled

участник попал в дело по праву привлечения: он начал сам либо призван тем, кто уже участвует

Отношение «участник попал в дело по праву привлечения: он начал сам либо призван тем, кто уже участвует».

Аргументы: p: участник: тот, кто тянет и держится за другого.

Идентификатор: urn:ru:narod:clir:repka#legitimate

участник входит в состав, перечисленный записью

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

Аргументы: rec: запись сказки, по которой решается дело, p: участник: тот, кто тянет и держится за другого.

Идентификатор: urn:ru:narod:clir:repka#member

участник — необходимое условие результата: без него состав неполон

Отношение «участник — необходимое условие результата: без него состав неполон».

Аргументы: p: участник: тот, кто тянет и держится за другого.

Идентификатор: urn:ru:narod:clir:repka#necessary_contributor

участник тянул один и не вытянул («тянет-потянет, вытащить не может»)

Отношение «участник тянул один и не вытянул («тянет-потянет, вытащить не может»)».

Аргументы: p: участник: тот, кто тянет и держится за другого.

Идентификатор: urn:ru:narod:clir:repka#pulled_alone_without_result

участник тянет («тянут-потянут»)

Отношение «участник тянет («тянут-потянут»)».

Аргументы: x: участник: тот, кто тянет и держится за другого.

Идентификатор: urn:ru:narod:clir:repka#pulls

участник тянет репку, а не воздух: тянет и связан с репкой

Отношение «участник тянет репку, а не воздух: тянет и связан с репкой».

Аргументы: x: участник: тот, кто тянет и держится за другого.

Идентификатор: urn:ru:narod:clir:repka#pulls_effectively

сила участника доходит до репки: есть связный путь держаний от него до репки

Отношение «сила участника доходит до репки: есть связный путь держаний от него до репки».

Аргументы: x: участник: тот, кто тянет и держится за другого.

Идентификатор: urn:ru:narod:clir:repka#reaches_turnip

перечень удостоверён: тянущих из состава ровно столько, сколько запись перечисляет

Отношение «перечень удостоверён: тянущих из состава ровно столько, сколько запись перечисляет».

Аргументы: rec: запись сказки, по которой решается дело.

Идентификатор: urn:ru:narod:clir:repka#roster_confirmed

без кого-то из состава обошлись бы

Отношение «без кого-то из состава обошлись бы».

Аргументы: rec: запись сказки, по которой решается дело.

Идентификатор: urn:ru:narod:clir:repka#some_member_dispensable

участник посеял репку («Посеял дедка репку»)

Отношение «участник посеял репку («Посеял дедка репку»)».

Аргументы: p: участник: тот, кто тянет и держится за другого.

Идентификатор: urn:ru:narod:clir:repka#sowed_the_turnip

участник призвал другого («Позвала бабка внучку»)

Отношение «участник призвал другого («Позвала бабка внучку»)».

Аргументы: caller: участник: тот, кто тянет и держится за другого, called: участник: тот, кто тянет и держится за другого.

Идентификатор: urn:ru:narod:clir:repka#summoned

запись требует, чтобы каждый участник был кем-то привлечён

Отношение «запись требует, чтобы каждый участник был кем-то привлечён».

Аргументы: rec: запись сказки, по которой решается дело.

Идентификатор: urn:ru:narod:clir:repka#summons_required

репка вытянута

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

Аргументы: rec: запись сказки, по которой решается дело.

Идентификатор: urn:ru:narod:clir:repka#turnip_extracted

кто-то из перечисленных записью оказался в деле без привлечения

Отношение «кто-то из перечисленных записью оказался в деле без привлечения».

Аргументы: rec: запись сказки, по которой решается дело.

Идентификатор: urn:ru:narod:clir:repka#unsummoned_member

вклад участника наименьший из всех в цепи

Отношение «вклад участника наименьший из всех в цепи».

Аргументы: p: участник: тот, кто тянет и держится за другого.

Идентификатор: urn:ru:narod:clir:repka#weakest_in_the_chain

Установленные факты

assert-1

Факт: «участник входит в состав, перечисленный записью» (rec: «запись Афанасьева (1863): девять мест, привлечения нет», p: «дедка: посеял репку и первым за неё взялся»).

Основание: source_asserted.

Идентификатор: urn:ru:narod:clir:repka#assert-1 Анкер: urn:ru:narod:clir:repka#RP_AF_1

assert-10

Факт: «участник входит в состав, перечисленный записью» (rec: «запись Ушинского (1864): шесть мест, привлечены все», p: «дедка: посеял репку и первым за неё взялся»).

Основание: source_asserted.

Идентификатор: urn:ru:narod:clir:repka#assert-10 Анкер: urn:ru:narod:clir:repka#RP_US_1

assert-11

Факт: «участник входит в состав, перечисленный записью» (rec: «запись Ушинского (1864): шесть мест, привлечены все», p: «бабка: единственная, кого привлекают во всех трёх записях»).

Основание: source_asserted.

Идентификатор: urn:ru:narod:clir:repka#assert-11 Анкер: urn:ru:narod:clir:repka#RP_US_3

assert-12

Факт: «участник входит в состав, перечисленный записью» (rec: «запись Ушинского (1864): шесть мест, привлечены все», p: «внучка»).

Основание: source_asserted.

Идентификатор: urn:ru:narod:clir:repka#assert-12 Анкер: urn:ru:narod:clir:repka#RP_US_5

assert-13

Факт: «участник входит в состав, перечисленный записью» (rec: «запись Ушинского (1864): шесть мест, привлечены все», p: «Жучка (Ушинский, Гатцук; кличка)»).

Основание: source_asserted.

Идентификатор: urn:ru:narod:clir:repka#assert-13 Анкер: urn:ru:narod:clir:repka#RP_US_6

assert-14

Факт: «участник входит в состав, перечисленный записью» (rec: «запись Ушинского (1864): шесть мест, привлечены все», p: «кошка (Ушинский)»).

Основание: source_asserted.

Идентификатор: urn:ru:narod:clir:repka#assert-14 Анкер: urn:ru:narod:clir:repka#RP_US_7

assert-15

Факт: «участник входит в состав, перечисленный записью» (rec: «запись Ушинского (1864): шесть мест, привлечены все», p: «мышка: последняя у Ушинского, пятая из девяти у Гатцука»).

Основание: source_asserted.

Идентификатор: urn:ru:narod:clir:repka#assert-15 Анкер: urn:ru:narod:clir:repka#RP_US_8

assert-16

Факт: «участник входит в состав, перечисленный записью» (rec: «запись Гатцука (1894): девять мест, привлечены все, последний — слушатель», p: «дедка: посеял репку и первым за неё взялся»).

Основание: source_asserted.

Идентификатор: urn:ru:narod:clir:repka#assert-16 Анкер: urn:ru:narod:clir:repka#RP_GA_1

assert-17

Факт: «участник входит в состав, перечисленный записью» (rec: «запись Гатцука (1894): девять мест, привлечены все, последний — слушатель», p: «бабка: единственная, кого привлекают во всех трёх записях»).

Основание: source_asserted.

Идентификатор: urn:ru:narod:clir:repka#assert-17 Анкер: urn:ru:narod:clir:repka#RP_GA_2

assert-18

Факт: «участник входит в состав, перечисленный записью» (rec: «запись Гатцука (1894): девять мест, привлечены все, последний — слушатель», p: «внучка»).

Основание: source_asserted.

Идентификатор: urn:ru:narod:clir:repka#assert-18 Анкер: urn:ru:narod:clir:repka#RP_GA_3

assert-19

Факт: «участник входит в состав, перечисленный записью» (rec: «запись Гатцука (1894): девять мест, привлечены все, последний — слушатель», p: «Жучка (Ушинский, Гатцук; кличка)»).

Основание: source_asserted.

Идентификатор: urn:ru:narod:clir:repka#assert-19 Анкер: urn:ru:narod:clir:repka#RP_GA_4

assert-2

Факт: «участник входит в состав, перечисленный записью» (rec: «запись Афанасьева (1863): девять мест, привлечения нет», p: «бабка: единственная, кого привлекают во всех трёх записях»).

Основание: source_asserted.

Идентификатор: urn:ru:narod:clir:repka#assert-2 Анкер: urn:ru:narod:clir:repka#RP_AF_2

assert-20

Факт: «участник входит в состав, перечисленный записью» (rec: «запись Гатцука (1894): девять мест, привлечены все, последний — слушатель», p: «Машка (Гатцук)»).

Основание: source_asserted.

Идентификатор: urn:ru:narod:clir:repka#assert-20 Анкер: urn:ru:narod:clir:repka#RP_GA_5

assert-21

Факт: «участник входит в состав, перечисленный записью» (rec: «запись Гатцука (1894): девять мест, привлечены все, последний — слушатель», p: «мышка: последняя у Ушинского, пятая из девяти у Гатцука»).

Основание: source_asserted.

Идентификатор: urn:ru:narod:clir:repka#assert-21 Анкер: urn:ru:narod:clir:repka#RP_GA_6

assert-22

Факт: «участник входит в состав, перечисленный записью» (rec: «запись Гатцука (1894): девять мест, привлечены все, последний — слушатель», p: «птичка (Гатцук)»).

Основание: source_asserted.

Идентификатор: urn:ru:narod:clir:repka#assert-22 Анкер: urn:ru:narod:clir:repka#RP_GA_7

assert-23

Факт: «участник входит в состав, перечисленный записью» (rec: «запись Гатцука (1894): девять мест, привлечены все, последний — слушатель», p: «мушка (Гатцук)»).

Основание: source_asserted.

Идентификатор: urn:ru:narod:clir:repka#assert-23 Анкер: urn:ru:narod:clir:repka#RP_GA_8

assert-24

Факт: «участник входит в состав, перечисленный записью» (rec: «запись Гатцука (1894): девять мест, привлечены все, последний — слушатель», p: «Ваня — «имя того, кому сказывается сказка» (Гатцук): последнее место состава означивается при каждом рассказывании»).

Основание: source_asserted.

Идентификатор: urn:ru:narod:clir:repka#assert-24 Анкер: urn:ru:narod:clir:repka#RP_GA_9

assert-25

Факт: «сколько мест перечисляет запись» (rec: «запись Афанасьева (1863): девять мест, привлечения нет», n: «9»).

Основание: source_asserted.

Идентификатор: urn:ru:narod:clir:repka#assert-25 Анкер: urn:ru:narod:clir:repka#RP_AF_7

assert-26

Факт: «сколько мест перечисляет запись» (rec: «запись Ушинского (1864): шесть мест, привлечены все», n: «6»).

Основание: source_asserted.

Идентификатор: urn:ru:narod:clir:repka#assert-26 Анкер: urn:ru:narod:clir:repka#RP_US_9

assert-27

Факт: «сколько мест перечисляет запись» (rec: «запись Гатцука (1894): девять мест, привлечены все, последний — слушатель», n: «9»).

Основание: source_asserted.

Идентификатор: urn:ru:narod:clir:repka#assert-27 Анкер: urn:ru:narod:clir:repka#RP_GA_9

assert-28

Факт: «запись требует, чтобы каждый участник был кем-то привлечён» (rec: «запись Ушинского (1864): шесть мест, привлечены все»).

Основание: source_asserted.

Идентификатор: urn:ru:narod:clir:repka#assert-28 Анкер: urn:ru:narod:clir:repka#RP_US_8

assert-29

Факт: «запись требует, чтобы каждый участник был кем-то привлечён» (rec: «запись Гатцука (1894): девять мест, привлечены все, последний — слушатель»).

Основание: source_asserted.

Идентификатор: urn:ru:narod:clir:repka#assert-29 Анкер: urn:ru:narod:clir:repka#RP_GA_8

assert-3

Факт: «участник входит в состав, перечисленный записью» (rec: «запись Афанасьева (1863): девять мест, привлечения нет», p: «внучка»).

Основание: source_asserted.

Идентификатор: urn:ru:narod:clir:repka#assert-3 Анкер: urn:ru:narod:clir:repka#RP_AF_3

assert-4

Факт: «участник входит в состав, перечисленный записью» (rec: «запись Афанасьева (1863): девять мест, привлечения нет», p: «сучка (Афанасьев; нарицательное, не кличка)»).

Основание: source_asserted.

Идентификатор: urn:ru:narod:clir:repka#assert-4 Анкер: urn:ru:narod:clir:repka#RP_AF_4

assert-5

Факт: «участник входит в состав, перечисленный записью» (rec: «запись Афанасьева (1863): девять мест, привлечения нет», p: «но́га — первая (Афанасьев)»).

Основание: source_asserted.

Идентификатор: urn:ru:narod:clir:repka#assert-5 Анкер: urn:ru:narod:clir:repka#RP_AF_5

assert-6

Факт: «участник входит в состав, перечисленный записью» (rec: «запись Афанасьева (1863): девять мест, привлечения нет», p: «дру́га но́га — вторая (Афанасьев)»).

Основание: source_asserted.

Идентификатор: urn:ru:narod:clir:repka#assert-6 Анкер: urn:ru:narod:clir:repka#RP_AF_6

assert-7

Факт: «участник входит в состав, перечисленный записью» (rec: «запись Афанасьева (1863): девять мест, привлечения нет», p: «третья но́га (Афанасьев; поимённо не названа, восстановлена пересчётом)»).

Основание: source_asserted.

Идентификатор: urn:ru:narod:clir:repka#assert-7 Анкер: urn:ru:narod:clir:repka#RP_AF_7

assert-8

Факт: «участник входит в состав, перечисленный записью» (rec: «запись Афанасьева (1863): девять мест, привлечения нет», p: «четвёртая но́га (Афанасьев; поимённо не названа, восстановлена пересчётом)»).

Основание: source_asserted.

Идентификатор: urn:ru:narod:clir:repka#assert-8 Анкер: urn:ru:narod:clir:repka#RP_AF_7

assert-9

Факт: «участник входит в состав, перечисленный записью» (rec: «запись Афанасьева (1863): девять мест, привлечения нет», p: «пя́та но́га (Афанасьев)»).

Основание: source_asserted.

Идентификатор: urn:ru:narod:clir:repka#assert-9 Анкер: urn:ru:narod:clir:repka#RP_AF_7

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

Состав каждой записи замкнут: кто не перечислен, тот не член

Перечень «участник входит в состав той записи, по которой решается дело» является исчерпывающим по состоянию на 1863-01-01T00:00:00Z: всё, что не перечислено, считается не относящимся к нему.

Идентификатор: urn:ru:narod:clir:repka#ChainMemberClosure

Привлечения требуют только те записи, которые названы: у Афанасьева участники приходят сами

Перечень «запись требует, чтобы каждый участник был кем-то привлечён» является исчерпывающим по состоянию на 1894-01-01T00:00:00Z: всё, что не перечислено, считается не относящимся к нему.

Идентификатор: urn:ru:narod:clir:repka#SummonsRequiredClosure

Правила

Призванный обязан стать за призвавшим: «Позвала бабка внучку. Внучка за бабку»

Для участник: тот, кто тянет и держится за другого У (v0); участник: тот, кто тянет и держится за другого У2 (v1).

Всегда, если установлено, что «участник призвал другого («Позвала бабка внучку»)» (caller: У, called: У2), то активируется нормативный шаблон «Призванный обязан стать за призвавшим: «Позвала бабка внучку. Внучка за бабку»».

Идентификатор: urn:ru:narod:clir:repka#CalledTakesPlace Анкер: urn:ru:narod:clir:repka#RP_US_4

Держащийся за репку достаёт до репки — «дедка за репку»

Для участник: тот, кто тянет и держится за другого У (v0).

Всегда, если установлено, что «участник держится за самую репку («дедка за репку»)» (x: У), то «сила участника доходит до репки: есть связный путь держаний от него до репки» (x: У).

Идентификатор: urn:ru:narod:clir:repka#ChainBase Анкер: urn:ru:narod:clir:repka#RP_US_2

Член состава дела — тот, кого перечисляет решающая запись

Для запись сказки, по которой решается дело З (v0); участник: тот, кто тянет и держится за другого У (v1).

Всегда, если установлено, что «дело решается по названной записи сказки» (rec: З) и установлено, что «участник входит в состав, перечисленный записью» (rec: З, p: У), то «участник входит в состав той записи, по которой решается дело» (p: У).

Идентификатор: urn:ru:narod:clir:repka#ChainMember Анкер: urn:ru:narod:clir:repka#RP_US_9

Держащийся за достающего до репки достаёт до неё сам — «бабка за дедку, дедка за репку»

Для участник: тот, кто тянет и держится за другого У (v0); участник: тот, кто тянет и держится за другого У2 (v1).

Всегда, если установлено, что «участник держится за другого участника («бабка за дедку»)» (x: У, y: У2) и имеются (возможно оспариваемые) основания считать, что «сила участника доходит до репки: есть связный путь держаний от него до репки» (x: У2), то «сила участника доходит до репки: есть связный путь держаний от него до репки» (x: У).

Идентификатор: urn:ru:narod:clir:repka#ChainStep Анкер: urn:ru:narod:clir:repka#RP_US_4

Всякий из перечисленных необходим: результат неделим, и без любого состав неполон

Для запись сказки, по которой решается дело З (v0); участник: тот, кто тянет и держится за другого У (v1).

По общему правилу, если установлено, что «дело решается по названной записи сказки» (rec: З) и установлено, что «участник тянет («тянут-потянут»)» (x: У) и установлено, что «участник входит в состав, перечисленный записью» (rec: З, p: У), то «участник — необходимое условие результата: без него состав неполон» (p: У), — если не установлено иное.

Идентификатор: urn:ru:narod:clir:repka#EveryMemberIsNecessary Анкер: urn:ru:narod:clir:repka#RP_AF_7

«Тянули-тянули… Вытянули репку!» — вытянул каждый, кто тянул по связной цепи

Для запись сказки, по которой решается дело З (v0); участник: тот, кто тянет и держится за другого У (v1).

По общему правилу, если не установлено, что «без кого-то из состава обошлись бы» (rec: З) и установлено, что «дело решается по названной записи сказки» (rec: З) и установлено, что «участник тянет («тянут-потянут»)» (x: У) и установлено, что «участник входит в состав, перечисленный записью» (rec: З, p: У), то «репку вытянул он» (p: У), — если не установлено иное.

Идентификатор: urn:ru:narod:clir:repka#EveryPullerIsTheCause Анкер: urn:ru:narod:clir:repka#RP_GA_9

Состав полон, когда бездействующих в нём нет

Для запись сказки, по которой решается дело З (v0).

По общему правилу, если установлено, что «дело решается по названной записи сказки» (rec: З) и не установлено, что «кто-то из перечисленных записью не тянет по праву» (rec: З), то «весь состав записи тянет по праву — никто не бездействует и никто не вне цепи» (rec: З), — если не установлено иное.

Идентификатор: urn:ru:narod:clir:repka#FullEffort Анкер: urn:ru:narod:clir:repka#RP_US_9

Вытянул тот, кто посеял и первым взялся: остальные лишь помогали

Для запись сказки, по которой решается дело З (v0); участник: тот, кто тянет и держится за другого У (v1).

По общему правилу, если не установлено, что «одной инициативы для результата недостаточно» (p: У) и установлено, что «дело решается по названной записи сказки» (rec: З) и установлено, что «участник держится за самую репку («дедка за репку»)» (x: У) и установлено, что «участник входит в состав, перечисленный записью» (rec: З, p: У) и установлено, что «участник посеял репку («Посеял дедка репку»)» (p: У), то «репку вытянул он» (p: У), — если не установлено иное.

Идентификатор: urn:ru:narod:clir:repka#InitiatorIsTheCause Анкер: urn:ru:narod:clir:repka#RP_US_1

«Мышка за кошку… вытащили репку!» — вытянул тот, с чьим приходом репка пошла

Для запись сказки, по которой решается дело З (v0); участник: тот, кто тянет и держится за другого У (v1).

По общему правилу, если установлено, что «участник пришёл последним, и с его приходом репка пошла» (rec: З, p: У) и установлено, что «дело решается по названной записи сказки» (rec: З) и установлено, что «участник тянет («тянут-потянут»)» (x: У) и не установлено, что «вклад участника ничтожен» (p: У), то «репку вытянул он» (p: У), — если не установлено иное.

Идентификатор: urn:ru:narod:clir:repka#LastToJoinIsTheCause Анкер: urn:ru:narod:clir:repka#RP_US_9

Где привлечение требуется, состав правомерен, если непривлечённых в нём нет

Для запись сказки, по которой решается дело З (v0).

По общему правилу, если не установлено, что «кто-то из перечисленных записью оказался в деле без привлечения» (rec: З) и установлено, что «запись требует, чтобы каждый участник был кем-то привлечён» (rec: З) и установлено, что «дело решается по названной записи сказки» (rec: З), то «состав собран правомерно» (rec: З), — если не установлено иное.

Идентификатор: urn:ru:narod:clir:repka#LawfullyAssembledUnderSummons Анкер: urn:ru:narod:clir:repka#RP_US_8

Где привлечение не требуется, состав правомерен и без него — «Пришла внучка», «Пришла сучка»

Для запись сказки, по которой решается дело З (v0).

По общему правилу, если не установлено, что «запись требует, чтобы каждый участник был кем-то привлечён» (rec: З) и установлено, что «запись предъявлена к проверке (домен закрытия §70)» (rec: З) и установлено, что «дело решается по названной записи сказки» (rec: З), то «состав собран правомерно» (rec: З), — если не установлено иное.

Идентификатор: urn:ru:narod:clir:repka#LawfullyAssembledWithoutSummons Анкер: urn:ru:narod:clir:repka#RP_AF_3

Начавший — участник по праву: «Посадил дед репку… Стал дед репку из земли тащить»

Для участник: тот, кто тянет и держится за другого У (v0).

Всегда, если установлено, что «участник держится за самую репку («дедка за репку»)» (x: У), то «участник попал в дело по праву привлечения: он начал сам либо призван тем, кто уже участвует» (p: У).

Идентификатор: urn:ru:narod:clir:repka#LegitimateBase Анкер: urn:ru:narod:clir:repka#RP_US_1

Призванный участником — участник: «Позвал дед НА ПОМОЩЬ бабку»

Для участник: тот, кто тянет и держится за другого У (v0); участник: тот, кто тянет и держится за другого У2 (v1).

Всегда, если имеются (возможно оспариваемые) основания считать, что «участник попал в дело по праву привлечения: он начал сам либо призван тем, кто уже участвует» (p: У) и установлено, что «участник призвал другого («Позвала бабка внучку»)» (caller: У, called: У2), то «участник попал в дело по праву привлечения: он начал сам либо призван тем, кто уже участвует» (p: У2).

Идентификатор: urn:ru:narod:clir:repka#LegitimateStep Анкер: urn:ru:narod:clir:repka#RP_US_3

«Стал дед репку из земли тащить: тянет-потянет, вытащить не может» — одной инициативы мало, и это засвидетельствовано

Для участник: тот, кто тянет и держится за другого У (v0).

По общему правилу, если установлено, что «участник тянул один и не вытянул («тянет-потянет, вытащить не может»)» (p: У), то «одной инициативы для результата недостаточно» (p: У), — если не установлено иное.

Идентификатор: urn:ru:narod:clir:repka#LoneAttemptShowsInitiativeInsufficient Анкер: urn:ru:narod:clir:repka#RP_US_2

Тянет по-настоящему тот, кто тянет и связан с репкой — «тянут-потянут»

Для участник: тот, кто тянет и держится за другого У (v0).

Всегда, если установлено, что «сила участника доходит до репки: есть связный путь держаний от него до репки» (x: У) и установлено, что «участник тянет («тянут-потянут»)» (x: У), то «участник тянет репку, а не воздух: тянет и связан с репкой» (x: У).

Идентификатор: urn:ru:narod:clir:repka#PullsEffectively Анкер: urn:ru:narod:clir:repka#RP_AF_7

Перечень удостоверён пересчётом — «Пять ног за четыре, четыре но́ги за три…»

Для запись сказки, по которой решается дело З (v0); целого числа Ц (v1).

Всегда, если количество по набору: различные значения У, где У — участник: тот, кто тянет и держится за другого, и установлено, что «участник тянет («тянут-потянут»)» (x: У) и установлено, что «участник входит в состав, перечисленный записью» (rec: З, p: У) равно Ц и установлено, что «дело решается по названной записи сказки» (rec: З) и установлено, что «сколько мест перечисляет запись» (rec: З, n: Ц), то «перечень удостоверён: тянущих из состава ровно столько, сколько запись перечисляет» (rec: З).

Идентификатор: urn:ru:narod:clir:repka#RosterConfirmed Анкер: urn:ru:narod:clir:repka#RP_AF_7

Вклад слабейшего ничтожен: мышка не может того, чего не смогли впятером

Для участник: тот, кто тянет и держится за другого У (v0).

По общему правилу, если установлено, что «вклад участника наименьший из всех в цепи» (p: У) и не установлено, что «участник — необходимое условие результата: без него состав неполон» (p: У), то «вклад участника ничтожен» (p: У), — если не установлено иное.

Идентификатор: urn:ru:narod:clir:repka#SmallestContributionIsNegligible Анкер: urn:ru:narod:clir:repka#RP_US_8

Состав неполон, пока хоть один из перечисленных не тянет по праву

Для запись сказки, по которой решается дело З (v0); участник: тот, кто тянет и держится за другого У (v1).

По общему правилу, если не установлено, что «участник тянет репку, а не воздух: тянет и связан с репкой» (x: У) и установлено, что «дело решается по названной записи сказки» (rec: З) и установлено, что «участник входит в состав, перечисленный записью» (rec: З, p: У), то «кто-то из перечисленных записью не тянет по праву» (rec: З), — если не установлено иное.

Идентификатор: urn:ru:narod:clir:repka#SomeMemberIdle Анкер: urn:ru:narod:clir:repka#RP_US_2

Репка вытянута, когда весь перечисленный состав тянет по связной цепи — «тянут-потянут: вытянули репку!»

Для запись сказки, по которой решается дело З (v0).

По общему правилу, если установлено, что «перечень удостоверён: тянущих из состава ровно столько, сколько запись перечисляет» (rec: З) и установлено, что «весь состав записи тянет по праву — никто не бездействует и никто не вне цепи» (rec: З), то «репка вытянута» (rec: З), — если не установлено иное.

Идентификатор: urn:ru:narod:clir:repka#TurnipExtracted Анкер: urn:ru:narod:clir:repka#RP_US_9

Состав собран с изъяном, если перечисленный оказался в деле без привлечения

Для запись сказки, по которой решается дело З (v0); участник: тот, кто тянет и держится за другого У (v1).

По общему правилу, если установлено, что «запись требует, чтобы каждый участник был кем-то привлечён» (rec: З) и установлено, что «дело решается по названной записи сказки» (rec: З) и не установлено, что «участник попал в дело по праву привлечения: он начал сам либо призван тем, кто уже участвует» (p: У) и установлено, что «участник входит в состав, перечисленный записью» (rec: З, p: У), то «кто-то из перечисленных записью оказался в деле без привлечения» (rec: З), — если не установлено иное.

Идентификатор: urn:ru:narod:clir:repka#UnsummonedMember Анкер: urn:ru:narod:clir:repka#RP_US_3

Нормативные позиции

Призванный обязан стать за призвавшим: «Позвала бабка внучку. Внучка за бабку»

Обязанность: носитель — v1; выгодоприобретатель — v0.

Цель достижения: установлено, что «участник держится за другого участника («бабка за дедку»)» (x: v1, y: v0); окно исполнения — с «0001-01-01» и далее.

Идентификатор: urn:ru:narod:clir:repka#TakePlaceBehindCaller Анкер: urn:ru:narod:clir:repka#RP_US_4