Проверка условия
1. Гримм: личность гостя проверена
Результат расчёта
Установлено
Исходные параметры
Что определяем
личность допущена к дальнейшей проверке
Исходные факты
удостоверенное соответствие представителя и лица, отдающего приказ
agent: chamberlainh: chamberlainудостоверенное соответствие области полномочия и конкретного деяния
act: return-slipperd: return-slipperпосетитель в модели Гримм
s: requeste: издание 1857 года, последней рукиp: guestдело читается по этому изданию
a: издание 1857 года, последней рукипо этому изданию названный стучал в дверь и назвался матерью
a: издание 1857 года, последней рукиc: guestличность независимо удостоверена
s: requestпосетитель в очереди
s: requestq: queuep: guestпредъявлен полный состав очереди на этот срез
q: queueлицо присоединилось к очереди и приняло ранг порядка прибытия (ст. 2)
q: queuep: guestrank: 1присоединение совершено к хвосту очереди; где проходит хвост — обстоятельство места (ст. 2, 18)
q: queuep: guestлицо присоединилось к очереди и приняло ранг порядка прибытия (ст. 2)
q: queuep: otherrank: 2присоединение совершено к хвосту очереди; где проходит хвост — обстоятельство места (ст. 2, 18)
q: queuep: otherпредставитель, принципал, действие и день проверки
s: requestagent: chamberlainprincipal: queenact: return-slipperday: 2 января 1000 г.полномочие выдано принципалом агенту
authority: authority-0principal: queenagent: ministerполномочие распространяется на действие
authority: authority-0act: return-slipperпервый день действия полномочия
authority: authority-0day: 1 января 1000 г.последний день действия полномочия (включительно)
authority: authority-0day: 3 января 1000 г.день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)
authority: authority-0day: 2 января 1000 г.полномочие допускает передачу дальше: передоверие, cA, refresh
authority: authority-0полномочие выдано принципалом агенту
authority: authority-1principal: ministeragent: secretaryполномочие распространяется на действие
authority: authority-1act: return-slipperпервый день действия полномочия
authority: authority-1day: 1 января 1000 г.последний день действия полномочия (включительно)
authority: authority-1day: 3 января 1000 г.день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)
authority: authority-1day: 2 января 1000 г.полномочие выдано на основании другого полномочия
child: authority-1parent: authority-0полномочие допускает передачу дальше: передоверие, cA, refresh
authority: authority-1полномочие выдано принципалом агенту
authority: authority-2principal: secretaryagent: chamberlainполномочие распространяется на действие
authority: authority-2act: return-slipperпервый день действия полномочия
authority: authority-2day: 1 января 1000 г.последний день действия полномочия (включительно)
authority: authority-2day: 3 января 1000 г.день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)
authority: authority-2day: 2 января 1000 г.полномочие выдано на основании другого полномочия
child: authority-2parent: authority-1полномочие первичное — выдано самим принципалом, ни на чём не основано: доверитель, якорь доверия, владелец ресурса
authority: authority-0наибольшее число передач под этим полномочием
authority: authority-0depth: 2Исходные данные · JSON
{ "args": [ { "id": "urn:palace:request", "kind": "entity_ref" }, { "id": "urn:palace:wish", "kind": "entity_ref" }, { "id": "urn:palace:slipper", "kind": "entity_ref" }, { "id": "urn:palace:guest", "kind": "entity_ref" }, { "id": "urn:palace:ball", "kind": "entity_ref" }, { "kind": "value", "type": { "name": "urn:law:std#Instant" }, "value": "1000-01-02T00:01:00Z" } ], "negated": false, "origin": "case_input", "predicate": "urn:demo:palace-steward#gift" }рыбка предложила поймавшему откуп «чем только пожелаешь»
catcher: fishermanотпустил рыбку, не взяв немедленного выкупа
releaser: fishermanучастник пожелал названного
requester: guestw: wishжелание передано рыбке у моря названным посредником
messenger: fishermanw: wishдар предоставлен: мир дела его содержит
w: wishвещь предоставлена крёстной этому лицу для поездки на бал
t: slipperp: guestстеклянная туфелька: единственная вещь, которую крёстная не превратила, а дала
t: slipperвещь, проверяемая на вхождение в перечень отката
t: slipperИсходные данные · JSON
{ "args": [ { "id": "urn:palace:ball", "kind": "entity_ref" }, { "kind": "value", "type": { "name": "urn:law:std#Instant" }, "value": "1000-01-02T00:00:00Z" } ], "negated": false, "origin": "case_input", "predicate": "urn:fr:perrault:clir:cendrillon#ball_midnight" }Исходные данные · JSON
{ "args": [ { "id": "urn:palace:guest", "kind": "entity_ref" }, { "id": "urn:palace:ball", "kind": "entity_ref" }, { "kind": "value", "type": { "name": "urn:law:std#Instant" }, "value": "1000-01-02T00:00:00Z" } ], "negated": false, "origin": "case_input", "predicate": "urn:fr:perrault:clir:cendrillon#left_ball_at" }предъявленный приказ; ещё не передан роботу
s: requesth: chamberlainrobot: stewardd: return-slipperчеловек
x: chamberlainробот
x: stewardдеяние есть деяние этого робота
r: stewardd: return-slipperсущество в области оценки вреда
s: requestv: guestчеловек
x: guestперечень затрагиваемых существ предъявлен полностью
s: requestНе выполняется: деяние причиняет вред этому человеку
d: return-slipperv: guest
Исходные данные · JSON
{
"args": [
{
"id": "urn:palace:request",
"kind": "entity_ref"
}
],
"facts": [
{
"args": [
{
"id": "urn:palace:chamberlain",
"kind": "entity_ref"
},
{
"id": "urn:palace:chamberlain",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:demo:palace-steward#issuer_identity"
},
{
"args": [
{
"id": "urn:palace:return-slipper",
"kind": "entity_ref"
},
{
"id": "urn:palace:return-slipper",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:demo:palace-steward#action_identity"
},
{
"args": [
{
"id": "urn:palace:request",
"kind": "entity_ref"
},
{
"id": "urn:de:grimm:clir:geisslein#A1857",
"kind": "entity_ref"
},
{
"id": "urn:palace:guest",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:demo:palace-steward#visitor"
},
{
"args": [
{
"id": "urn:de:grimm:clir:geisslein#A1857",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:de:grimm:clir:geisslein#reading_edition"
},
{
"args": [
{
"id": "urn:de:grimm:clir:geisslein#A1857",
"kind": "entity_ref"
},
{
"id": "urn:palace:guest",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:de:grimm:clir:geisslein#knocked"
},
{
"args": [
{
"id": "urn:palace:request",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:demo:palace-steward#identity_attested"
},
{
"args": [
{
"id": "urn:palace:request",
"kind": "entity_ref"
},
{
"id": "urn:palace:queue",
"kind": "entity_ref"
},
{
"id": "urn:palace:guest",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:demo:palace-steward#waiting"
},
{
"args": [
{
"id": "urn:palace:queue",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:demo:palace-steward#queue_closed"
},
{
"args": [
{
"id": "urn:palace:queue",
"kind": "entity_ref"
},
{
"id": "urn:palace:guest",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 1
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:usus:corpus:clir:ochered#joined"
},
{
"args": [
{
"id": "urn:palace:queue",
"kind": "entity_ref"
},
{
"id": "urn:palace:guest",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:usus:corpus:clir:ochered#joined_at_tail"
},
{
"args": [
{
"id": "urn:palace:queue",
"kind": "entity_ref"
},
{
"id": "urn:palace:other",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 2
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:usus:corpus:clir:ochered#joined"
},
{
"args": [
{
"id": "urn:palace:queue",
"kind": "entity_ref"
},
{
"id": "urn:palace:other",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:usus:corpus:clir:ochered#joined_at_tail"
},
{
"args": [
{
"id": "urn:palace:request",
"kind": "entity_ref"
},
{
"id": "urn:palace:chamberlain",
"kind": "entity_ref"
},
{
"id": "urn:palace:queen",
"kind": "entity_ref"
},
{
"id": "urn:palace:return-slipper",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Date"
},
"value": "1000-01-02"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:demo:palace-steward#mandate"
},
{
"args": [
{
"id": "urn:palace:authority-0",
"kind": "entity_ref"
},
{
"id": "urn:palace:queen",
"kind": "entity_ref"
},
{
"id": "urn:palace:minister",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:doctrine:clir:acts-for#authority_granted"
},
{
"args": [
{
"id": "urn:palace:authority-0",
"kind": "entity_ref"
},
{
"id": "urn:palace:return-slipper",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:doctrine:clir:acts-for#authority_covers"
},
{
"args": [
{
"id": "urn:palace:authority-0",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Date"
},
"value": "1000-01-01"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:doctrine:clir:acts-for#authority_effective_from"
},
{
"args": [
{
"id": "urn:palace:authority-0",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Date"
},
"value": "1000-01-03"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:doctrine:clir:acts-for#authority_effective_until"
},
{
"args": [
{
"id": "urn:palace:authority-0",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Date"
},
"value": "1000-01-02"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:doctrine:clir:acts-for#assessed_on"
},
{
"args": [
{
"id": "urn:palace:authority-0",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:doctrine:clir:acts-for#authority_permits_subdelegation"
},
{
"args": [
{
"id": "urn:palace:authority-1",
"kind": "entity_ref"
},
{
"id": "urn:palace:minister",
"kind": "entity_ref"
},
{
"id": "urn:palace:secretary",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:doctrine:clir:acts-for#authority_granted"
},
{
"args": [
{
"id": "urn:palace:authority-1",
"kind": "entity_ref"
},
{
"id": "urn:palace:return-slipper",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:doctrine:clir:acts-for#authority_covers"
},
{
"args": [
{
"id": "urn:palace:authority-1",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Date"
},
"value": "1000-01-01"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:doctrine:clir:acts-for#authority_effective_from"
},
{
"args": [
{
"id": "urn:palace:authority-1",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Date"
},
"value": "1000-01-03"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:doctrine:clir:acts-for#authority_effective_until"
},
{
"args": [
{
"id": "urn:palace:authority-1",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Date"
},
"value": "1000-01-02"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:doctrine:clir:acts-for#assessed_on"
},
{
"args": [
{
"id": "urn:palace:authority-1",
"kind": "entity_ref"
},
{
"id": "urn:palace:authority-0",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:doctrine:clir:acts-for#subdelegated_from"
},
{
"args": [
{
"id": "urn:palace:authority-1",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:doctrine:clir:acts-for#authority_permits_subdelegation"
},
{
"args": [
{
"id": "urn:palace:authority-2",
"kind": "entity_ref"
},
{
"id": "urn:palace:secretary",
"kind": "entity_ref"
},
{
"id": "urn:palace:chamberlain",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:doctrine:clir:acts-for#authority_granted"
},
{
"args": [
{
"id": "urn:palace:authority-2",
"kind": "entity_ref"
},
{
"id": "urn:palace:return-slipper",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:doctrine:clir:acts-for#authority_covers"
},
{
"args": [
{
"id": "urn:palace:authority-2",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Date"
},
"value": "1000-01-01"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:doctrine:clir:acts-for#authority_effective_from"
},
{
"args": [
{
"id": "urn:palace:authority-2",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Date"
},
"value": "1000-01-03"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:doctrine:clir:acts-for#authority_effective_until"
},
{
"args": [
{
"id": "urn:palace:authority-2",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Date"
},
"value": "1000-01-02"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:doctrine:clir:acts-for#assessed_on"
},
{
"args": [
{
"id": "urn:palace:authority-2",
"kind": "entity_ref"
},
{
"id": "urn:palace:authority-1",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:doctrine:clir:acts-for#subdelegated_from"
},
{
"args": [
{
"id": "urn:palace:authority-0",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:doctrine:clir:acts-for#authority_is_root"
},
{
"args": [
{
"id": "urn:palace:authority-0",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 2
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:doctrine:clir:acts-for#authority_subdelegation_depth_limit"
},
{
"args": [
{
"id": "urn:palace:request",
"kind": "entity_ref"
},
{
"id": "urn:palace:wish",
"kind": "entity_ref"
},
{
"id": "urn:palace:slipper",
"kind": "entity_ref"
},
{
"id": "urn:palace:guest",
"kind": "entity_ref"
},
{
"id": "urn:palace:ball",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Instant"
},
"value": "1000-01-02T00:01:00Z"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:demo:palace-steward#gift"
},
{
"args": [
{
"id": "urn:palace:fisherman",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:ru:pushkin:clir:zolotaya-rybka#ransom_offered_to"
},
{
"args": [
{
"id": "urn:palace:fisherman",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:ru:pushkin:clir:zolotaya-rybka#released_without_ransom"
},
{
"args": [
{
"id": "urn:palace:guest",
"kind": "entity_ref"
},
{
"id": "urn:palace:wish",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:ru:pushkin:clir:zolotaya-rybka#wished"
},
{
"args": [
{
"id": "urn:palace:fisherman",
"kind": "entity_ref"
},
{
"id": "urn:palace:wish",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:ru:pushkin:clir:zolotaya-rybka#conveyed_to_fish"
},
{
"args": [
{
"id": "urn:palace:wish",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:ru:pushkin:clir:zolotaya-rybka#granted"
},
{
"args": [
{
"id": "urn:palace:slipper",
"kind": "entity_ref"
},
{
"id": "urn:palace:guest",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:fr:perrault:clir:cendrillon#conferred_on"
},
{
"args": [
{
"id": "urn:palace:slipper",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:fr:perrault:clir:cendrillon#glass_slipper"
},
{
"args": [
{
"id": "urn:palace:slipper",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:fr:perrault:clir:cendrillon#checked_thing"
},
{
"args": [
{
"id": "urn:palace:ball",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Instant"
},
"value": "1000-01-02T00:00:00Z"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:fr:perrault:clir:cendrillon#ball_midnight"
},
{
"args": [
{
"id": "urn:palace:guest",
"kind": "entity_ref"
},
{
"id": "urn:palace:ball",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Instant"
},
"value": "1000-01-02T00:00:00Z"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:fr:perrault:clir:cendrillon#left_ball_at"
},
{
"args": [
{
"id": "urn:palace:request",
"kind": "entity_ref"
},
{
"id": "urn:palace:chamberlain",
"kind": "entity_ref"
},
{
"id": "urn:palace:steward",
"kind": "entity_ref"
},
{
"id": "urn:palace:return-slipper",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:demo:palace-steward#command"
},
{
"args": [
{
"id": "urn:palace:chamberlain",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:us:asimov:clir:three-laws-robotics#human"
},
{
"args": [
{
"id": "urn:palace:steward",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:us:asimov:clir:three-laws-robotics#robot"
},
{
"args": [
{
"id": "urn:palace:steward",
"kind": "entity_ref"
},
{
"id": "urn:palace:return-slipper",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:us:asimov:clir:three-laws-robotics#deed_of"
},
{
"args": [
{
"id": "urn:palace:request",
"kind": "entity_ref"
},
{
"id": "urn:palace:guest",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:demo:palace-steward#affected"
},
{
"args": [
{
"id": "urn:palace:guest",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:us:asimov:clir:three-laws-robotics#human"
},
{
"args": [
{
"id": "urn:palace:request",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:demo:palace-steward#impact_scope_closed"
},
{
"args": [
{
"id": "urn:palace:return-slipper",
"kind": "entity_ref"
},
{
"id": "urn:palace:guest",
"kind": "entity_ref"
}
],
"negated": true,
"origin": "adjudicated",
"predicate": "urn:us:asimov:clir:three-laws-robotics#harms"
}
],
"kind": "truth",
"legalTime": "1000-01-02",
"predicate": "urn:demo:palace-steward#identity_ready"
}Почему такой результатПрименённые правила и условия
Путь вывода7 шагов
- 1факт дела
дело читается по этому изданию
a: издание 1857 года, последней руки
- 2факт дела
личность независимо удостоверена
s: urn:palace:request
- 3факт дела
по этому изданию названный стучал в дверь и назвался матерью
a: издание 1857 года, последней руки; c: urn:palace:guest
- 4правило
Назвавшегося матерью принимают за мать, пока его не выдаст названный признак
козлята приняли стоящего за дверью за мать: ни один названный признак не обнаружился: a: издание 1857 года, последней руки; c: urn:palace:guest
lines/4, lines/5
Идентификатор
urn:de:grimm:clir:geisslein#CallerPresumedMother/R1 - 5факт дела
посетитель в модели Гримм
s: urn:palace:request; e: издание 1857 года, последней руки; p: urn:palace:guest
- 6правило
Презумпция у двери требует отдельного удостоверения личности
личность допущена к дальнейшей проверке: s: urn:palace:request
Идентификатор
urn:demo:palace-steward#Identity - 7запрос
Вычисление запроса
проверено движком: 3 · факт дела: 4 · Полный граф: 127 узлов
Шаги сохранённого доказательства от фактов дела к ответу. Формулы показаны как записаны в норме, с подставленными значениями; страница ничего не пересчитывает.
Основание этого ответа
Правила из сохранённой цепочки доказательства ответа.
de.grimm.geisslein
Назвавшегося матерью принимают за мать, пока его не выдаст названный признак
Идентификатор
urn:de:grimm:clir:geisslein#CallerPresumedMother/R1
demo.palace_steward
Презумпция у двери требует отдельного удостоверения личности
Идентификатор
urn:demo:palace-steward#Identity
Другие правила расчёта34
Применены в общем расчёте, но не входят в цепочку доказательства этого ответа.
de.grimm.geisslein
Кто помог маскировке, распознав обман, тот соучастник
Идентификатор
urn:de:grimm:clir:geisslein#ComplicitByKnowingAssistanceИсполнивший под угрозой быть съеденным соучастником не признаётся
Идентификатор
urn:de:grimm:clir:geisslein#NotComplicitUnderDeathThreat
demo.palace_steward
Очередь дошла: проверить всю цепь представительства
Идентификатор
urn:demo:palace-steward#AuthorityТолько прошедший проверки приказ передаётся в пакет трёх законов
Идентификатор
urn:demo:palace-steward#DispatchОтметить передачу именно этого приказа
Идентификатор
urn:demo:palace-steward#DispatchedРазрешить приказ после всех стадий и проверки безопасности
Идентификатор
urn:demo:palace-steward#Executeотрицательное суждение даёт положительный сертификат проверки
Идентификатор
urn:demo:palace-steward#ExplicitNoHarmПолномочный представитель предъявляет исполненный и не отозванный дар
Идентификатор
urn:demo:palace-steward#GrantПустой перечень оценки не удостоверяет безопасность
Идентификатор
urn:demo:palace-steward#ImpactExistsУдостоверенный гость обслуживается только после проверки полной очереди
Идентификатор
urn:demo:palace-steward#QueueПолнота области и явные отрицательные суждения обязательны
Идентификатор
urn:demo:palace-steward#SafetyПосле засвидетельствованного отката можно использовать уцелевшую вещь
Идентификатор
urn:demo:palace-steward#SurvivingAsset
doctrine.acts_for
Агент действует от имени конечного принципала в этот день, если полномочие покрывает действие, годится для собственного действия, вся цепь в окне и законно передана, ни одно звено не отозвано и предел глубины не превышен
Идентификатор
urn:doctrine:clir:acts-for#ActsForПередача допущена, когда основание допускало передачу и само получено законно
Идентификатор
urn:doctrine:clir:acts-for#ChildChainPermittedЦепь производного полномочия в окне, когда в окне оно само и цепь его основания
Идентификатор
urn:doctrine:clir:acts-for#ChildChainWithinWindowПроизводное полномочие покрывает действие лишь в пределах основания — не шире
Идентификатор
urn:doctrine:clir:acts-for#ChildCoversГлубина производного полномочия на единицу больше глубины основания
Идентификатор
urn:doctrine:clir:acts-for#ChildDepthПроизводное полномочие наследует корень основания
Идентификатор
urn:doctrine:clir:acts-for#ChildInheritsRootПроизводное полномочие наследует конечного принципала основания
Идентификатор
urn:doctrine:clir:acts-for#ChildPrincipalПолномочие действует в день, лежащий в окне, если к этому дню оно не отозвано
Идентификатор
urn:doctrine:clir:acts-for#EffectiveOnDayПервичное полномочие ничьей передачи не требует
Идентификатор
urn:doctrine:clir:acts-for#RootChainPermittedЦепь первичного полномочия в окне, когда в окне оно само
Идентификатор
urn:doctrine:clir:acts-for#RootChainWithinWindowПервичное полномочие покрывает действие, на которое распространяется
Идентификатор
urn:doctrine:clir:acts-for#RootCoversГлубина первичного полномочия — ноль
Идентификатор
urn:doctrine:clir:acts-for#RootDepthZeroКорень цепи первичного полномочия — оно само
Идентификатор
urn:doctrine:clir:acts-for#RootIsItsOwnRootУ первичного полномочия конечный принципал — тот, кто его выдал
Идентификатор
urn:doctrine:clir:acts-for#RootPrincipalДень внутри окна действия — не раньше первого и не позже последнего дня
Идентификатор
urn:doctrine:clir:acts-for#WithinWindow
fr.perrault.cendrillon
Уход не раньше полуночи есть сработавшее условие отката: «le premier coup de minuit» второго бала
Идентификатор
urn:fr:perrault:clir:cendrillon#StayedToMidnightНе названная в перечне вещь полночь переживает: «rien ne luy eſtant reſté de toute ſa magnificence, qu’une de ſes petites pantoufles»
Идентификатор
urn:fr:perrault:clir:cendrillon#UnnamedThingSurvivesMidnight
ru.pushkin.zolotaya_rybka
«Откуплюсь чем только пожелаешь»: желание, переданное рыбке отпустившим её без выкупа, рыбка исполняет — пока требование не выходит за предел оферты
Идентификатор
urn:ru:pushkin:clir:zolotaya-rybka#OtkupObligation/R1
us.asimov.three_laws
Второй закон. Робот повинуется приказам человека
Идентификатор
urn:us:asimov:clir:three-laws-robotics#SecondLawObedience
usus.corpus.ochered
занявший позицию с меньшим рангом прибытия предшествует занявшему позицию с большим (ст. 3)
Идентификатор
urn:usus:corpus:clir:ochered#ArrivalPrecedenceпредшествующий по порядку прибытия обслуживается прежде, если писаное право не отдало очерёдности другому (ст. 3, 16)
Идентификатор
urn:usus:corpus:clir:ochered#OrderOfArrivalGovernsлицо приобретает позицию в очереди фактом присоединения к её хвосту (ст. 2)
Идентификатор
urn:usus:corpus:clir:ochered#PositionArisesByJoiningTheTail
Граф доказательств
- Поражено Кто помог маскировке, распознав обман, тот соучастник соучастник маскировки волка(издание 1857 года, последней руки, мельник: посыпал лапу мукой, распознав обман и испугавшись угрозы)Перебито Исполнивший под угрозой быть съеденным соучастником не признаётся ¬соучастник маскировки волка(издание 1857 года, последней руки, мельник: посыпал лапу мукой, распознав обман и испугавшись угрозы) (основание: приоритет §106)вывод соучастник маскировки волка(издание 1857 года, последней руки, мельник: посыпал лапу мукой, распознав обман и испугавшись угрозы)Путь приоритета
- Исполнивший под угрозой быть съеденным соучастником не признаётся Кто помог маскировке, распознав обман, тот соучастник по правилу приоритета Принуждение угрозой жизни сильнее состава соучастия
Поражения — узлы defeat графа доказательства (§181): применение, его победитель и путь приоритета, как их записало исполнение; порядок не пересчитывается.
в перечне
не в перечне (явный негатив по замыканию)
- urn:palace:slipper
Перечень закрыт объявлением §70: отсутствие записи в снимке даёт явный негатив с сертификатом анти-принадлежности (§231.1). Списки — узлы графа доказательства, как их записало исполнение.
Узлы доказательств: 127 · assertion 53, rule_application 49, candidate_closure 20, defeat 1, norm_creation 3, query_evaluation 1
Блок слишком большой для встроенного просмотра. Он целиком включён в JSON документа — без сокращений.
Скачать JSON ↓Идентификаторы календаря и доказательства
- Ссылка на доказательство
- test/01.%20%D0%9F%D0%BE%D0%BB%D0%BD%D0%B0%D1%8F%20%D1%86%D0%B5%D0%BF%D1%8C%3A%20%D0%B2%D0%B5%D1%80%D0%BD%D1%83%D1%82%D1%8C%20%D1%83%D1%86%D0%B5%D0%BB%D0%B5%D0%B2%D1%88%D1%83%D1%8E%20%D1%82%D1%83%D1%84%D0%B5%D0%BB%D1%8C%D0%BA%D1%83/query/1
Исходное обоснование · JSON
Блок слишком большой для встроенного просмотра. Он целиком включён в JSON документа — без сокращений.
Скачать JSON ↓ИсточникиФрагментов: 21
drohung/1
de.grimm.geisslein
Wenn du es nicht thust, so freß ich dich.
Исходные данные · JSON
{
"contentHash": "sha256:37d0866e17228fc78d58f302be4d8ffe3032676f41ff523ba86d6f0b3277d40f",
"edition": "urn:de:grimm:clir:geisslein#DROHUNG_NACH_1812",
"fragmentKind": "clause",
"id": "urn:de:grimm:clir:geisslein#D12_DROHUNG",
"kind": "fragment",
"locator": "drohung/1",
"package": "urn:de:grimm:clir:geisslein",
"texts": [
{
"contentHash": "sha256:2cec9de63c7bff555219f6ffddc6b728b2df675123fb8620127bbb282eab5df4",
"language": "de",
"status": "unofficial",
"text": "Wenn du es nicht thust, so freß ich dich."
}
]
}drohung/1
de.grimm.geisslein
wenn du es nicht thust, so fresse ich dich.
Исходные данные · JSON
{
"contentHash": "sha256:fbf2e9ea118bbd63888a32276f5e0307ed407dc8b857972606c4c2b837cf58e5",
"edition": "urn:de:grimm:clir:geisslein#DROHUNG_NACH_1857",
"fragmentKind": "clause",
"id": "urn:de:grimm:clir:geisslein#D57_DROHUNG",
"kind": "fragment",
"locator": "drohung/1",
"package": "urn:de:grimm:clir:geisslein",
"texts": [
{
"contentHash": "sha256:9b60a6044cf9d6188d512212114678cde7ccbaf7d074ba88f2771b8b0f1fad2b",
"language": "de",
"status": "unofficial",
"text": "wenn du es nicht thust, so fresse ich dich."
}
]
}drohung/3
de.grimm.geisslein
Da fürchtete sich der Müller und machte ihm die Pfote weiß.
Исходные данные · JSON
{
"contentHash": "sha256:c82b291cd3b42163334ba5bde66465eb7f60ec17e752323f5a24540fb05193d1",
"edition": "urn:de:grimm:clir:geisslein#DROHUNG_NACH_1857",
"fragmentKind": "clause",
"id": "urn:de:grimm:clir:geisslein#D57_FURCHT",
"kind": "fragment",
"locator": "drohung/3",
"package": "urn:de:grimm:clir:geisslein",
"texts": [
{
"contentHash": "sha256:d9a80bebb6141b9ab3988fd895ae6b43dc6fe44913347c223e6173e0f4d33911",
"language": "de",
"status": "unofficial",
"text": "Da fürchtete sich der Müller und machte ihm die Pfote weiß."
}
]
}drohung/2
de.grimm.geisslein
Der Müller dachte „der Wolf will einen betrügen“ und weigerte sich
Исходные данные · JSON
{
"contentHash": "sha256:87fb25ac7831ab6600dd86ac2c63f45963983d3d099c1285d7106057eea00c97",
"edition": "urn:de:grimm:clir:geisslein#DROHUNG_NACH_1857",
"fragmentKind": "clause",
"id": "urn:de:grimm:clir:geisslein#D57_WISSEN",
"kind": "fragment",
"locator": "drohung/2",
"package": "urn:de:grimm:clir:geisslein",
"texts": [
{
"contentHash": "sha256:f2d6488675018014e7f165ac1e6bc94a67e211c5d2d50f17b00bc7b4ed5ceb89",
"language": "de",
"status": "unofficial",
"text": "Der Müller dachte „der Wolf will einen betrügen“ und weigerte sich"
}
]
}lines/4
de.grimm.geisslein
Darauf ging der Wolf wieder vor der sieben Geiserchen Hausthüre und sagte: „liebe Kinder, laßt mich ein, ich bin eure Mutter, jedes von euch soll etwas geschenkt kriegen.“ Die sieben Geiserchen wollten erst die Pfote sehen, und wie sie sahen, daß sie schneeweiß war und den Wolf so fein sprechen hörten, glaubten sie es wäre ihre Mutter und machten die Thüre auf, und der Wolf kam herein. Wie sie ihn aber erkannten, versteckten sie sich geschwind, so gut es ging, das eine unter den Tisch, das zweite ins Bett, das dritte in den Ofen, das vierte in die Küche, das fünfte in den Schrank, das sechste unter eine große Schüssel; das siebente in die Wanduhr. Aber der Wolf fand sie alle und verschluckte sie, außer das jüngste in der Wanduhr, das blieb am Leben.
Исходные данные · JSON
{
"contentHash": "sha256:79bf68a219f2e2df95a97acd847e91872785492777fcb6b72c8fa34f9ac7f573",
"edition": "urn:de:grimm:clir:geisslein#KHM5_1812",
"fragmentKind": "clause",
"id": "urn:de:grimm:clir:geisslein#G12_EINLASS_UND_FRASS",
"kind": "fragment",
"locator": "lines/4",
"package": "urn:de:grimm:clir:geisslein",
"texts": [
{
"contentHash": "sha256:153566e30f7eef8370392d9dd345dd2f36ed659b9a8f1313c7e4861fcdb1c9be",
"language": "de",
"status": "unofficial",
"text": "Darauf ging der Wolf wieder vor der sieben Geiserchen Hausthüre und sagte: „liebe Kinder, laßt mich ein, ich bin eure Mutter, jedes von euch soll etwas geschenkt kriegen.“ Die sieben Geiserchen wollten erst die Pfote sehen, und wie sie sahen, daß sie schneeweiß war und den Wolf so fein sprechen hörten, glaubten sie es wäre ihre Mutter und machten die Thüre auf, und der Wolf kam herein. Wie sie ihn aber erkannten, versteckten sie sich geschwind, so gut es ging, das eine unter den Tisch, das zweite ins Bett, das dritte in den Ofen, das vierte in die Küche, das fünfte in den Schrank, das sechste unter eine große Schüssel; das siebente in die Wanduhr. Aber der Wolf fand sie alle und verschluckte sie, außer das jüngste in der Wanduhr, das blieb am Leben."
}
]
}lines/5
de.grimm.geisslein
Nun gieng der Bösewicht zum drittenmal zu der Hausthüre, klopfte an und sprach „macht mir auf, Kinder, euer liebes Mütterchen ist heim gekommen und hat jedem von Euch etwas aus dem Walde mitgebracht.“ Die Geiserchen riefen „zeig uns erst deine Pfote, damit wir wissen daß du unser liebes Mütterchen bist.“ Da legte er die Pfote ins Fenster, und als sie sahen daß sie weiß war, so glaubten sie es wäre alles wahr, was er sagte, und machten die Thüre auf. Wer aber hereinkam, das war der Wolf. Sie erschraken und wollten sich verstecken. Das eine sprang unter den Tisch, das zweite ins Bett, das dritte in den Ofen, das vierte in die Küche, das fünfte in den Schrank, das sechste unter die Waschschüssel, das siebente in den Kasten der Wanduhr. Aber der Wolf fand sie alle und machte nicht langes Federlesen: eins nach dem andern schluckte er in seinen Rachen; nur das jüngste in dem Uhrkasten das fand er nicht. Als der Wolf seine Lust gebüßt hatte, trollte er sich fort, legte sich draußen auf der grünen Wiese unter einen Baum und fieng an zu schlafen.
Исходные данные · JSON
{
"contentHash": "sha256:6b1ee622d427a88d6a9f39ee43cbbab91ec9efc8ebd05ec8e65eedd5f1e6974c",
"edition": "urn:de:grimm:clir:geisslein#KHM5_1857",
"fragmentKind": "clause",
"id": "urn:de:grimm:clir:geisslein#G57_EINLASS_UND_FRASS",
"kind": "fragment",
"locator": "lines/5",
"package": "urn:de:grimm:clir:geisslein",
"texts": [
{
"contentHash": "sha256:6c0aed30cd27b9310022fffa35d6bf4665db5e8e8157aed2debb90cd1f8e436a",
"language": "de",
"status": "unofficial",
"text": "Nun gieng der Bösewicht zum drittenmal zu der Hausthüre, klopfte an und sprach „macht mir auf, Kinder, euer liebes Mütterchen ist heim gekommen und hat jedem von Euch etwas aus dem Walde mitgebracht.“ Die Geiserchen riefen „zeig uns erst deine Pfote, damit wir wissen daß du unser liebes Mütterchen bist.“ Da legte er die Pfote ins Fenster, und als sie sahen daß sie weiß war, so glaubten sie es wäre alles wahr, was er sagte, und machten die Thüre auf. Wer aber hereinkam, das war der Wolf. Sie erschraken und wollten sich verstecken. Das eine sprang unter den Tisch, das zweite ins Bett, das dritte in den Ofen, das vierte in die Küche, das fünfte in den Schrank, das sechste unter die Waschschüssel, das siebente in den Kasten der Wanduhr. Aber der Wolf fand sie alle und machte nicht langes Federlesen: eins nach dem andern schluckte er in seinen Rachen; nur das jüngste in dem Uhrkasten das fand er nicht. Als der Wolf seine Lust gebüßt hatte, trollte er sich fort, legte sich draußen auf der grünen Wiese unter einen Baum und fieng an zu schlafen."
}
]
}lines/4
de.grimm.geisslein
Es dauerte nicht lange, so klopfte jemand an die Hausthür und rief „macht auf, ihr lieben Kinder, eure Mutter ist da und hat jedem von Euch etwas mitgebracht.“ Aber die Geiserchen hörten an der rauhen Stimme daß es der Wolf war, „wir machen nicht auf,“ riefen sie, „du bist unsere Mutter nicht, die hat eine feine und liebliche Stimme, aber deine Stimme ist rauh; du bist der Wolf.“ Da gieng der Wolf fort zu einem Krämer, und kaufte sich ein großes Stück Kreide: die aß er und machte damit seine Stimme fein. Dann kam er zurück, klopfte an die Hausthür und rief „macht auf, ihr lieben Kinder, eure Mutter ist da und hat jedem von Euch etwas mitgebracht.“ Aber der Wolf hatte seine schwarze Pfote in das Fenster gelegt, das sahen die Kinder und riefen „wir machen nicht auf, unsere Mutter hat keinen schwarzen Fuß, wie du: du bist der Wolf.“ Da lief der Wolf zu einem Bäcker und sprach „ich habe mich an den Fuß gestoßen, streich mir Teig darüber.“ Und als ihm der Bäcker die Pfote bestrichen hatte, so lief er zum Müller und sprach „streu mir weißes Mehl auf meine Pfote.“ Der Müller dachte „der Wolf will einen betrügen“ und weigerte sich, aber der Wolf sprach „wenn du es nicht thust, so fresse ich dich.“ Da fürchtete sich der Müller und machte ihm die Pfote weiß. Ja, das sind die Menschen.
Исходные данные · JSON
{
"contentHash": "sha256:728fb9f26114bab8f7ec353a84dd8430afa7cb654be7d957a78b87e694d09703",
"edition": "urn:de:grimm:clir:geisslein#KHM5_1857",
"fragmentKind": "clause",
"id": "urn:de:grimm:clir:geisslein#G57_ZWEI_VERSUCHE",
"kind": "fragment",
"locator": "lines/4",
"package": "urn:de:grimm:clir:geisslein",
"texts": [
{
"contentHash": "sha256:97febda6f1aa9e91226423f48bfa80b78d4882d8a4c02917dc11c1bf5b687c31",
"language": "de",
"status": "unofficial",
"text": "Es dauerte nicht lange, so klopfte jemand an die Hausthür und rief „macht auf, ihr lieben Kinder, eure Mutter ist da und hat jedem von Euch etwas mitgebracht.“ Aber die Geiserchen hörten an der rauhen Stimme daß es der Wolf war, „wir machen nicht auf,“ riefen sie, „du bist unsere Mutter nicht, die hat eine feine und liebliche Stimme, aber deine Stimme ist rauh; du bist der Wolf.“ Da gieng der Wolf fort zu einem Krämer, und kaufte sich ein großes Stück Kreide: die aß er und machte damit seine Stimme fein. Dann kam er zurück, klopfte an die Hausthür und rief „macht auf, ihr lieben Kinder, eure Mutter ist da und hat jedem von Euch etwas mitgebracht.“ Aber der Wolf hatte seine schwarze Pfote in das Fenster gelegt, das sahen die Kinder und riefen „wir machen nicht auf, unsere Mutter hat keinen schwarzen Fuß, wie du: du bist der Wolf.“ Da lief der Wolf zu einem Bäcker und sprach „ich habe mich an den Fuß gestoßen, streich mir Teig darüber.“ Und als ihm der Bäcker die Pfote bestrichen hatte, so lief er zum Müller und sprach „streu mir weißes Mehl auf meine Pfote.“ Der Müller dachte „der Wolf will einen betrügen“ und weigerte sich, aber der Wolf sprach „wenn du es nicht thust, so fresse ich dich.“ Da fürchtete sich der Müller und machte ihm die Pfote weiß. Ja, das sind die Menschen."
}
]
}lines/27
fr.perrault.cendrillon
Le lendemain, les deux ſœurs furent au bal, & Cendrillon auſſi, mais encore plus parée que la premiere fois. Le Fils du Roi fut toûjours auprés d’elle, & ne ceſſa de lui conter des douceurs ; la jeune Demoiſelle ne s’ennuyoit point & oublia ce que ſa Maraine luy avoit recommandé ; de ſorte qu’elle entendit ſonner le premier coup de minuit, lorſqu’elle ne croyoit pas qui fut encore onze heures : elle ſe leva & s’enfüit auſſi legerement qu’auroit fait une biche : le Prince la ſuivit, mais il ne put l’attraper ; elle laiſſa tomber une de ſes pantoufles de verre, que le Prince ramaſſa bienſoigneuſement. Cendrillon arriva chez elle, bien éſoufflée, ſans caroſſe, ſans laquais, & avec ſes méchans habits, rien ne luy eſtant reſté de toute ſa magnificence, qu’une de ſes petites pantoufles, la pareille de celle qu’elle avoit laiſſé tomber. On demanda aux Gardes de la porte du Palais s’ils n’avoient point veu ſortir une Princeſſe ; ils dirent qu’ils n’avoient veu ſortir perſonne, qu’une jeune fille fort mal veſtuë, & qui avoit plus l’air d’une Payſanne que d’une Demoiſelle.
Исходные данные · JSON
{
"contentHash": "sha256:e5a7285f87bd89281f82e98dfec3241c022d0d581f957d20c01901694d73903a",
"edition": "urn:fr:perrault:clir:cendrillon#CENDRILLON_BARBIN_1697",
"fragmentKind": "clause",
"id": "urn:fr:perrault:clir:cendrillon#CE_F_COUP_DE_MINUIT",
"kind": "fragment",
"locator": "lines/27",
"package": "urn:fr:perrault:clir:cendrillon",
"texts": [
{
"contentHash": "sha256:bb2e8f09b6c15e22ca252aa891bf431a67a8d5588320ea77a4c00221bc3e62d8",
"language": "fr",
"status": "official",
"text": "Le lendemain, les deux ſœurs furent au bal, & Cendrillon auſſi, mais encore plus parée que la premiere fois. Le Fils du Roi fut toûjours auprés d’elle, & ne ceſſa de lui conter des douceurs ; la jeune Demoiſelle ne s’ennuyoit point & oublia ce que ſa Maraine luy avoit recommandé ; de ſorte qu’elle entendit ſonner le premier coup de minuit, lorſqu’elle ne croyoit pas qui fut encore onze heures : elle ſe leva & s’enfüit auſſi legerement qu’auroit fait une biche : le Prince la ſuivit, mais il ne put l’attraper ; elle laiſſa tomber une de ſes pantoufles de verre, que le Prince ramaſſa bienſoigneuſement. Cendrillon arriva chez elle, bien éſoufflée, ſans caroſſe, ſans laquais, & avec ſes méchans habits, rien ne luy eſtant reſté de toute ſa magnificence, qu’une de ſes petites pantoufles, la pareille de celle qu’elle avoit laiſſé tomber. On demanda aux Gardes de la porte du Palais s’ils n’avoient point veu ſortir une Princeſſe ; ils dirent qu’ils n’avoient veu ſortir perſonne, qu’une jeune fille fort mal veſtuë, & qui avoit plus l’air d’une Payſanne que d’une Demoiſelle."
}
]
}lines/19
fr.perrault.cendrillon
Quand elle fut ainſi parée, elle monta en caroſſe ; mais ſa Maraine luy recommanda, ſur toutes choſes, de ne pas paſſer minuit, l’avertiſſant que, ſi elle demeuroit au bal un moment davantage, ſon caroſſe redeviendroit citroüille, ſes chevaux des ſourils, ſes laquais des lezards, et que ſes vieux habits reprendroient leur première forme.
Исходные данные · JSON
{
"contentHash": "sha256:8e221300a2de0531d5b27400f94b00fc3d212ddd80594a738d34c5b24c04b855",
"edition": "urn:fr:perrault:clir:cendrillon#CENDRILLON_BARBIN_1697",
"fragmentKind": "clause",
"id": "urn:fr:perrault:clir:cendrillon#CE_F_MINUIT",
"kind": "fragment",
"locator": "lines/19",
"package": "urn:fr:perrault:clir:cendrillon",
"texts": [
{
"contentHash": "sha256:91ab47cb3672bb428fbf6d7c1ca856a398c3d3ec5c6ee61ee1b473035db08687",
"language": "fr",
"status": "official",
"text": "Quand elle fut ainſi parée, elle monta en caroſſe ; mais ſa Maraine luy recommanda, ſur toutes choſes, de ne pas paſſer minuit, l’avertiſſant que, ſi elle demeuroit au bal un moment davantage, ſon caroſſe redeviendroit citroüille, ſes chevaux des ſourils, ſes laquais des lezards, et que ſes vieux habits reprendroient leur première forme."
}
]
}lines/90-112
ru.pushkin.zolotaya_rybka
Пошел старик к синему морю; (Не спокойно синее море.) Стал он кликать золотую рыбку. Приплыла к нему рыбка, спросила: «Чего тебе надобно, старче?» Ей с поклоном старик отвечает: «Смилуйся, государыня рыбка! Пуще прежнего старуха вздурилась, Не дает старику мне покою: Уж не хочет быть она крестьянкой, Хочет быть столбовою дворянкой». Отвечает золотая рыбка: «Не печалься, ступай себе с богом». Воротился старик ко старухе. Что ж он видит? Высокий терем. На крыльце стоит его старуха В дорогой собольей душегрейке, Парчовая на маковке кичка, Жемчуги огрузили шею, На руках золотые перстни, На ногах красные сапожки. Перед нею усердные слуги; Она бьет их, за чупрун таскает.
Исходные данные · JSON
{
"contentHash": "sha256:f993263f30f436cfee1eb6c0ef123683209b5b9461adf290888d0b988bad87c2",
"edition": "urn:ru:pushkin:clir:zolotaya-rybka#SKAZKA_GIHL_1959",
"fragmentKind": "clause",
"id": "urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_DVORYANKA",
"kind": "fragment",
"labels": [
{
"language": "ru",
"status": "official",
"text": "Ст. 90—112. Третий дар: столбовая дворянка; статус немедленно даёт власть над людьми"
}
],
"locator": "lines/90-112",
"package": "urn:ru:pushkin:clir:zolotaya-rybka",
"texts": [
{
"contentHash": "sha256:102bf4957ba4ce5166bc87ae463d32734cdcf88b137f9c3b6eebe93e68eefe6e",
"language": "ru",
"status": "official",
"text": "Пошел старик к синему морю;\n(Не спокойно синее море.)\nСтал он кликать золотую рыбку.\nПриплыла к нему рыбка, спросила:\n«Чего тебе надобно, старче?»\nЕй с поклоном старик отвечает:\n«Смилуйся, государыня рыбка!\nПуще прежнего старуха вздурилась,\nНе дает старику мне покою:\nУж не хочет быть она крестьянкой,\nХочет быть столбовою дворянкой».\nОтвечает золотая рыбка:\n«Не печалься, ступай себе с богом».\nВоротился старик ко старухе.\nЧто ж он видит? Высокий терем.\nНа крыльце стоит его старуха\nВ дорогой собольей душегрейке,\nПарчовая на маковке кичка,\nЖемчуги огрузили шею,\nНа руках золотые перстни,\nНа ногах красные сапожки.\nПеред нею усердные слуги;\nОна бьет их, за чупрун таскает.\n"
}
]
}lines/65-82
ru.pushkin.zolotaya_rybka
Вот пошел он к синему морю, (Помутилося синее море.) Стал он кликать золотую рыбку, Приплыла к нему рыбка, спросила: «Чего тебе надобно, старче?» Ей старик с поклоном отвечает: «Смилуйся, государыня рыбка! Еще пуще старуха бранится, Не дает старику мне покою: Избу просит сварливая баба». Отвечает золотая рыбка: «Не печалься, ступай себе с богом, Так и быть: изба вам уж будет». Пошел он ко своей землянке, А землянки нет уж и следа; Перед ним изба со светелкой, С кирпичною, беленою трубою, С дубовыми, тесовыми вороты.
Исходные данные · JSON
{
"contentHash": "sha256:439bea909cd7cef8d64edf5bd7f70d284721aa16217666a0eb2041f5c090de6f",
"edition": "urn:ru:pushkin:clir:zolotaya-rybka#SKAZKA_GIHL_1959",
"fragmentKind": "clause",
"id": "urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_IZBA",
"kind": "fragment",
"labels": [
{
"language": "ru",
"status": "official",
"text": "Ст. 65—82. Второй дар: «Так и быть: изба вам уж будет»"
}
],
"locator": "lines/65-82",
"package": "urn:ru:pushkin:clir:zolotaya-rybka",
"texts": [
{
"contentHash": "sha256:9c6dfafe670e5c5737dfe057b430f2eaae566a915ebb86fcac1d11d3424cb9ff",
"language": "ru",
"status": "official",
"text": "Вот пошел он к синему морю,\n(Помутилося синее море.)\nСтал он кликать золотую рыбку,\nПриплыла к нему рыбка, спросила:\n«Чего тебе надобно, старче?»\nЕй старик с поклоном отвечает:\n«Смилуйся, государыня рыбка!\nЕще пуще старуха бранится,\nНе дает старику мне покою:\nИзбу просит сварливая баба».\nОтвечает золотая рыбка:\n«Не печалься, ступай себе с богом,\nТак и быть: изба вам уж будет».\nПошел он ко своей землянке,\nА землянки нет уж и следа;\nПеред ним изба со светелкой,\nС кирпичною, беленою трубою,\nС дубовыми, тесовыми вороты.\n"
}
]
}lines/43-58
ru.pushkin.zolotaya_rybka
Вот пошел он к синему морю; Видит, — море слегка разыгралось. Стал он кликать золотую рыбку, Приплыла к нему рыбка и спросила: «Чего тебе надобно, старче?» Ей с поклоном старик отвечает: «Смилуйся, государыня рыбка, Разбранила меня моя старуха, Не дает старику мне покою: Надобно ей новое корыто; Наше-то совсем раскололось». Отвечает золотая рыбка: «Не печалься, ступай себе с богом, Будет вам новое корыто». Воротился старик ко старухе, У старухи новое корыто.
Исходные данные · JSON
{
"contentHash": "sha256:bdddc4fb37b0c1012c7a7f9822f4ac19102404ea2f8e0e9d60f884449047480c",
"edition": "urn:ru:pushkin:clir:zolotaya-rybka#SKAZKA_GIHL_1959",
"fragmentKind": "clause",
"id": "urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_KORYTO",
"kind": "fragment",
"labels": [
{
"language": "ru",
"status": "official",
"text": "Ст. 43—58. Первый дар: чужое желание передано отпустившим — «Будет вам новое корыто»"
}
],
"locator": "lines/43-58",
"package": "urn:ru:pushkin:clir:zolotaya-rybka",
"texts": [
{
"contentHash": "sha256:2b9ab36e8f9465df6782ffe1129ce1e5bd4eab9d3ef83cabd5868f559e1ba62e",
"language": "ru",
"status": "official",
"text": "Вот пошел он к синему морю;\nВидит, — море слегка разыгралось.\nСтал он кликать золотую рыбку,\nПриплыла к нему рыбка и спросила:\n«Чего тебе надобно, старче?»\nЕй с поклоном старик отвечает:\n«Смилуйся, государыня рыбка,\nРазбранила меня моя старуха,\nНе дает старику мне покою:\nНадобно ей новое корыто;\nНаше-то совсем раскололось».\nОтвечает золотая рыбка:\n«Не печалься, ступай себе с богом,\nБудет вам новое корыто».\nВоротился старик ко старухе,\nУ старухи новое корыто.\n"
}
]
}lines/16-18
ru.pushkin.zolotaya_rybka
«Отпусти ты, старче, меня в море, Дорогой за себя дам откуп: Откуплюсь чем только пожелаешь.»
Исходные данные · JSON
{
"contentHash": "sha256:ff2aa8413b8a5f6ea1020bca0a09439c84497f4f90169ee6b91d76482ab0287d",
"edition": "urn:ru:pushkin:clir:zolotaya-rybka#SKAZKA_GIHL_1959",
"fragmentKind": "clause",
"id": "urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_OFFER",
"kind": "fragment",
"labels": [
{
"language": "ru",
"status": "official",
"text": "Ст. 16—18. Оферта рыбки: «Откуплюсь чем только пожелаешь»"
}
],
"locator": "lines/16-18",
"package": "urn:ru:pushkin:clir:zolotaya-rybka",
"texts": [
{
"contentHash": "sha256:88b35d803c156df72470a4b5801260a14b2a2760d3583ad839cb35e1a9fcca84",
"language": "ru",
"status": "official",
"text": "«Отпусти ты, старче, меня в море,\nДорогой за себя дам откуп:\nОткуплюсь чем только пожелаешь.»\n"
}
]
}lines/22-27
ru.pushkin.zolotaya_rybka
Отпустил он рыбку золотую И сказал ей ласковое слово: «Бог с тобою, золотая рыбка! Твоего мне откупа не надо; Ступай себе в синее море, Гуляй там себе на просторе».
Исходные данные · JSON
{
"contentHash": "sha256:511d8c50b0bcb913a01417305327ed31027bbc5b78b0d4cdbd78f6fb9032f671",
"edition": "urn:ru:pushkin:clir:zolotaya-rybka#SKAZKA_GIHL_1959",
"fragmentKind": "clause",
"id": "urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_RELEASE",
"kind": "fragment",
"labels": [
{
"language": "ru",
"status": "official",
"text": "Ст. 22—27. Отпущение без выкупа: «Твоего мне откупа не надо»"
}
],
"locator": "lines/22-27",
"package": "urn:ru:pushkin:clir:zolotaya-rybka",
"texts": [
{
"contentHash": "sha256:c0741cf3927a2c8c7c28469bc98195d7be3c14895c26bff3b7bd232f8deb6a57",
"language": "ru",
"status": "official",
"text": "Отпустил он рыбку золотую\nИ сказал ей ласковое слово:\n«Бог с тобою, золотая рыбка!\nТвоего мне откупа не надо;\nСтупай себе в синее море,\nГуляй там себе на просторе».\n"
}
]
}lines/134-155
ru.pushkin.zolotaya_rybka
Старичок отправился к морю, (Почернело синее море.) Стал он кликать золотую рыбку. Приплыла к нему рыбка, спросила: «Чего тебе надобно, старче?» Ей с поклоном старик отвечает: «Смилуйся, государыня рыбка! Опять моя старуха бунтует: Уж не хочет быть она дворянкой, Хочет быть вольною царицей». Отвечает золотая рыбка: «Не печалься, ступай себе с богом! Добро! будет старуха царицей!» Старичок к старухе воротился. Что ж? пред ним царские палаты. В палатах видит свою старуху, За столом сидит она царицей, Служат ей бояре да дворяне, Наливают ей заморские вины; Заедает она пряником печатным; Вкруг ее стоит грозная стража, На плечах топорики держат.
Исходные данные · JSON
{
"contentHash": "sha256:37893ae523a1a0df56897b2995710a226b996b8eda1a64d72bd0cff78200f377",
"edition": "urn:ru:pushkin:clir:zolotaya-rybka#SKAZKA_GIHL_1959",
"fragmentKind": "clause",
"id": "urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_TSARITSA",
"kind": "fragment",
"labels": [
{
"language": "ru",
"status": "official",
"text": "Ст. 134—155. Четвёртый дар: «Добро! будет старуха царицей!»"
}
],
"locator": "lines/134-155",
"package": "urn:ru:pushkin:clir:zolotaya-rybka",
"texts": [
{
"contentHash": "sha256:66f2b16e47b3c13b4a38f3b485025a9ecb635a3fdf17299735c5e4b662e105e3",
"language": "ru",
"status": "official",
"text": "Старичок отправился к морю,\n(Почернело синее море.)\nСтал он кликать золотую рыбку.\nПриплыла к нему рыбка, спросила:\n«Чего тебе надобно, старче?»\nЕй с поклоном старик отвечает:\n«Смилуйся, государыня рыбка!\nОпять моя старуха бунтует:\nУж не хочет быть она дворянкой,\nХочет быть вольною царицей».\nОтвечает золотая рыбка:\n«Не печалься, ступай себе с богом!\nДобро! будет старуха царицей!»\nСтаричок к старухе воротился.\nЧто ж? пред ним царские палаты.\nВ палатах видит свою старуху,\nЗа столом сидит она царицей,\nСлужат ей бояре да дворяне,\nНаливают ей заморские вины;\nЗаедает она пряником печатным;\nВкруг ее стоит грозная стража,\nНа плечах топорики держат.\n"
}
]
}the-laws/2
us.asimov.three_laws
2. A robot must obey the orders given it by human beings except where such orders would conflict with the First Law.
Исходные данные · JSON
{
"contentHash": "sha256:3e43514b6848c8dd241aded45339c4943315745531441f61d576f96ca831166b",
"edition": "urn:us:asimov:clir:three-laws-robotics#TLR_ARTICLE_EDITION",
"fragmentKind": "clause",
"id": "urn:us:asimov:clir:three-laws-robotics#TLR_LAW_SECOND",
"kind": "fragment",
"labels": [
{
"language": "en",
"status": "official",
"text": "Second Law: a robot must obey the orders given it by human beings except where such orders would conflict with the First Law"
},
{
"language": "ru-KZ",
"status": "translation",
"text": "Второй закон: робот обязан повиноваться приказам человека, кроме тех, что противоречат Первому закону"
}
],
"locator": "the-laws/2",
"package": "urn:us:asimov:clir:three-laws-robotics",
"texts": [
{
"contentHash": "sha256:cbbb9fe05d5a6f2313abb6184c090a50b9bb321483378de5f09cd2b9a36856e4",
"language": "en",
"status": "unofficial",
"text": "2. A robot must obey the orders given it by human beings except where such orders would conflict with the First Law.\n"
}
]
}section/2.2
usus.corpus.ochered
Исходные данные · JSON
{
"contentHash": "sha256:500361a20eff0f52ced36bdb4c2d58e2c8c9859d7a7ab02bb79520b129dc5e8c",
"edition": "urn:usus:corpus:clir:ochered#ALLON_2012_EN",
"fragmentKind": "other",
"id": "urn:usus:corpus:clir:ochered#ALLON_2012_NORMS",
"kind": "fragment",
"locator": "section/2.2",
"package": "urn:usus:corpus:clir:ochered"
}abstract
usus.corpus.ochered
Исходные данные · JSON
{
"contentHash": "sha256:67162cd20f73971907f5233ae8982ff48aa87aa7b9e500cef93e50d0f64bf679",
"edition": "urn:usus:corpus:clir:ochered#MANN_1969_EN",
"fragmentKind": "other",
"id": "urn:usus:corpus:clir:ochered#MANN_1969_ABSTRACT",
"kind": "fragment",
"locator": "abstract",
"package": "urn:usus:corpus:clir:ochered"
}Статья 16
usus.corpus.ochered
Статья 16. Изъятия, установленные писаным правом Порядок прибытия уступает праву на внеочередное обслуживание, установленному писаным правом того правопорядка, в котором очередь существует. Изъятие такого рода настоящим изложением не устанавливается и устанавливаться не может: живая очередь не имеет установителя, полномочного изъять кого-либо из порядка прибытия. Изъятие приходит извне обычая — из акта государства, — и настоящая статья лишь признаёт его действие.
Исходные данные · JSON
{
"contentHash": "sha256:377d08332c3fe162ee5fbde3e85dd30a39b39435aa9a654a50c17aa905576395",
"edition": "urn:usus:corpus:clir:ochered#OCHERED_RU",
"fragmentKind": "article",
"id": "urn:usus:corpus:clir:ochered#OCHERED_ART16",
"kind": "fragment",
"locator": "article/16",
"package": "urn:usus:corpus:clir:ochered",
"texts": [
{
"contentHash": "sha256:68b7f91cba82ed216ec0a6dec055c6241ec8508e630d1449d595f2bb3b120700",
"language": "ru-KZ",
"status": "official",
"text": "Статья 16. Изъятия, установленные писаным правом\n\nПорядок прибытия уступает праву на внеочередное обслуживание, установленному писаным правом того правопорядка, в котором очередь существует.\n\nИзъятие такого рода настоящим изложением не устанавливается и устанавливаться не может: живая очередь не имеет установителя, полномочного изъять кого-либо из порядка прибытия. Изъятие приходит извне обычая — из акта государства, — и настоящая статья лишь признаёт его действие."
}
]
}Статья 2
usus.corpus.ochered
Статья 2. Возникновение позиции Лицо приобретает позицию в очереди фактом присоединения к её хвосту. Иного способа приобрести позицию живая очередь не знает: единственным нормативным поведением при вступлении является присоединение в порядке прибытия (Mann, 1969; Allon и Hanany, 2012).
Исходные данные · JSON
{
"contentHash": "sha256:a9b9d6d5f5e8168bc5b0148da0bac99d1dae844f5281497cc8860a41b6819160",
"edition": "urn:usus:corpus:clir:ochered#OCHERED_RU",
"fragmentKind": "article",
"id": "urn:usus:corpus:clir:ochered#OCHERED_ART2",
"kind": "fragment",
"locator": "article/2",
"package": "urn:usus:corpus:clir:ochered",
"texts": [
{
"contentHash": "sha256:0adecb6d221f6e98aab82f488cdec31948df99f4c3d8e6dac1f95e52f2a92e76",
"language": "ru-KZ",
"status": "official",
"text": "Статья 2. Возникновение позиции\n\nЛицо приобретает позицию в очереди фактом присоединения к её хвосту.\n\nИного способа приобрести позицию живая очередь не знает: единственным нормативным поведением при вступлении является присоединение в порядке прибытия (Mann, 1969; Allon и Hanany, 2012)."
}
]
}Статья 3
usus.corpus.ochered
Статья 3. Порядок обслуживания Обслуживание совершается в порядке прибытия: лицо, присоединившееся ранее, обслуживается прежде лица, присоединившегося позднее. Порядок прибытия есть одновременно и способ упорядочения, и мера справедливости: он отдаёт предпочтение тому, кто ждал дольше (Mann, 1969). Отступление от порядка прибытия воспринимается ожидающими как несправедливость независимо от того, увеличило ли оно их собственное ожидание (Schmitt, Dube и Leclerc, 1992).
Исходные данные · JSON
{
"contentHash": "sha256:d1cda679d27f235f31f4c3736fbf313c17ddf402fdc2b97ce76db9bd11346815",
"edition": "urn:usus:corpus:clir:ochered#OCHERED_RU",
"fragmentKind": "article",
"id": "urn:usus:corpus:clir:ochered#OCHERED_ART3",
"kind": "fragment",
"locator": "article/3",
"package": "urn:usus:corpus:clir:ochered",
"texts": [
{
"contentHash": "sha256:12c8c895f17d48e2456117d020166d89e483c0cb0fddd54113f1f1993bd75b4a",
"language": "ru-KZ",
"status": "official",
"text": "Статья 3. Порядок обслуживания\n\nОбслуживание совершается в порядке прибытия: лицо, присоединившееся ранее, обслуживается прежде лица, присоединившегося позднее.\n\nПорядок прибытия есть одновременно и способ упорядочения, и мера справедливости: он отдаёт предпочтение тому, кто ждал дольше (Mann, 1969). Отступление от порядка прибытия воспринимается ожидающими как несправедливость независимо от того, увеличило ли оно их собственное ожидание (Schmitt, Dube и Leclerc, 1992)."
}
]
}Пакеты в снимке
- demo.palace_steward
- de.grimm.geisslein
- doctrine.acts_for
- fr.perrault.cendrillon
- ru.pushkin.zolotaya_rybka
- us.asimov.three_laws
- usus.corpus.ochered
Технические данныеПолный ответ, параметры и контрольные суммы
- Статус расчёта
- COMPUTED
Полный ответ движка
Полный машинный результат · JSON
Блок слишком большой для встроенного просмотра. Он целиком включён в JSON документа — без сокращений.
Скачать JSON ↓Исполнение · JSON
Блок слишком большой для встроенного просмотра. Он целиком включён в JSON документа — без сокращений.
Скачать JSON ↓Метаданные отображения
Блок слишком большой для встроенного просмотра. Он целиком включён в JSON документа — без сокращений.
Скачать JSON ↓JSON · расчёты, источники и точные данные
{
"acts": [
{
"contributed": true,
"fragments": [],
"jurisdiction": "none",
"namespace": "urn:demo:palace-steward",
"package": "demo.palace_steward",
"rules": [
"urn:demo:palace-steward#Authority",
"urn:demo:palace-steward#Dispatch",
"urn:demo:palace-steward#Dispatched",
"urn:demo:palace-steward#Execute",
"urn:demo:palace-steward#ExplicitNoHarm",
"urn:demo:palace-steward#Grant",
"urn:demo:palace-steward#Identity",
"urn:demo:palace-steward#ImpactExists",
"urn:demo:palace-steward#Queue",
"urn:demo:palace-steward#Safety",
"urn:demo:palace-steward#SurvivingAsset"
],
"title": "demo.palace_steward"
},
{
"contributed": true,
"fragments": [
"urn:de:grimm:clir:geisslein#D12_DROHUNG",
"urn:de:grimm:clir:geisslein#D57_DROHUNG",
"urn:de:grimm:clir:geisslein#D57_FURCHT",
"urn:de:grimm:clir:geisslein#D57_WISSEN",
"urn:de:grimm:clir:geisslein#G12_EINLASS_UND_FRASS",
"urn:de:grimm:clir:geisslein#G57_EINLASS_UND_FRASS",
"urn:de:grimm:clir:geisslein#G57_ZWEI_VERSUCHE"
],
"jurisdiction": "none",
"namespace": "urn:de:grimm:clir:geisslein",
"package": "de.grimm.geisslein",
"rules": [
"urn:de:grimm:clir:geisslein#CallerPresumedMother/R1",
"urn:de:grimm:clir:geisslein#ComplicitByKnowingAssistance",
"urn:de:grimm:clir:geisslein#NotComplicitUnderDeathThreat"
],
"title": "de.grimm.geisslein"
},
{
"contributed": true,
"fragments": [],
"jurisdiction": "none",
"namespace": "urn:doctrine:clir:acts-for",
"package": "doctrine.acts_for",
"rules": [
"urn:doctrine:clir:acts-for#ActsFor",
"urn:doctrine:clir:acts-for#ChildChainPermitted",
"urn:doctrine:clir:acts-for#ChildChainWithinWindow",
"urn:doctrine:clir:acts-for#ChildCovers",
"urn:doctrine:clir:acts-for#ChildDepth",
"urn:doctrine:clir:acts-for#ChildInheritsRoot",
"urn:doctrine:clir:acts-for#ChildPrincipal",
"urn:doctrine:clir:acts-for#EffectiveOnDay",
"urn:doctrine:clir:acts-for#RootChainPermitted",
"urn:doctrine:clir:acts-for#RootChainWithinWindow",
"urn:doctrine:clir:acts-for#RootCovers",
"urn:doctrine:clir:acts-for#RootDepthZero",
"urn:doctrine:clir:acts-for#RootIsItsOwnRoot",
"urn:doctrine:clir:acts-for#RootPrincipal",
"urn:doctrine:clir:acts-for#WithinWindow"
],
"title": "doctrine.acts_for"
},
{
"contributed": true,
"fragments": [
"urn:fr:perrault:clir:cendrillon#CE_F_COUP_DE_MINUIT",
"urn:fr:perrault:clir:cendrillon#CE_F_MINUIT"
],
"jurisdiction": "none",
"namespace": "urn:fr:perrault:clir:cendrillon",
"package": "fr.perrault.cendrillon",
"rules": [
"urn:fr:perrault:clir:cendrillon#StayedToMidnight",
"urn:fr:perrault:clir:cendrillon#UnnamedThingSurvivesMidnight"
],
"title": "fr.perrault.cendrillon"
},
{
"contributed": true,
"fragments": [
"urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_DVORYANKA",
"urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_IZBA",
"urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_KORYTO",
"urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_OFFER",
"urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_RELEASE",
"urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_TSARITSA"
],
"jurisdiction": "none",
"namespace": "urn:ru:pushkin:clir:zolotaya-rybka",
"package": "ru.pushkin.zolotaya_rybka",
"rules": [
"urn:ru:pushkin:clir:zolotaya-rybka#OtkupObligation/R1"
],
"title": "ru.pushkin.zolotaya_rybka"
},
{
"contributed": true,
"fragments": [
"urn:us:asimov:clir:three-laws-robotics#TLR_LAW_SECOND"
],
"jurisdiction": "none",
"namespace": "urn:us:asimov:clir:three-laws-robotics",
"package": "us.asimov.three_laws",
"rules": [
"urn:us:asimov:clir:three-laws-robotics#SecondLawObedience"
],
"title": "us.asimov.three_laws"
},
{
"contributed": true,
"fragments": [
"urn:usus:corpus:clir:ochered#ALLON_2012_NORMS",
"urn:usus:corpus:clir:ochered#MANN_1969_ABSTRACT",
"urn:usus:corpus:clir:ochered#OCHERED_ART16",
"urn:usus:corpus:clir:ochered#OCHERED_ART2",
"urn:usus:corpus:clir:ochered#OCHERED_ART3"
],
"jurisdiction": "none",
"namespace": "urn:usus:corpus:clir:ochered",
"package": "usus.corpus.ochered",
"rules": [
"urn:usus:corpus:clir:ochered#ArrivalPrecedence",
"urn:usus:corpus:clir:ochered#OrderOfArrivalGoverns",
"urn:usus:corpus:clir:ochered#PositionArisesByJoiningTheTail"
],
"title": "usus.corpus.ochered"
}
],
"caseHash": "sha256:b578c17626625a0fe5850136d88affd73c0acb2bda2e3e1823ebdd459a281516",
"jurisdiction": "Вымышленный дворец; вне юрисдикции государства",
"legalTime": "1000-01-02",
"mode": "audit",
"programHash": "sha256:503f1bbf884f9a5a49584961eb25c160f8b9dc5d63d9c005c136cd90a7be8223",
"resultHash": "sha256:11af004c3f605dbd65b0c7e19b02212c4e5b3c45a942b635d2d51097b3dc0217",
"rustCodeHash": "sha256:c9f459b1363accd13230c40fbe6c697dc01a986417d501eeeb33490b754d57ff",
"timezone": "UTC"
}- evaluation SHA-256
- sha256:ddd2ea90bf330fd971d7f2b7b9f363905eb1308b16f1614da5f0f4ed19adb455
Исходные данные · JSON
{
"args": [
{
"id": "urn:palace:request",
"kind": "entity_ref"
}
],
"facts": [
{
"args": [
{
"id": "urn:palace:chamberlain",
"kind": "entity_ref"
},
{
"id": "urn:palace:chamberlain",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:demo:palace-steward#issuer_identity"
},
{
"args": [
{
"id": "urn:palace:return-slipper",
"kind": "entity_ref"
},
{
"id": "urn:palace:return-slipper",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:demo:palace-steward#action_identity"
},
{
"args": [
{
"id": "urn:palace:request",
"kind": "entity_ref"
},
{
"id": "urn:de:grimm:clir:geisslein#A1857",
"kind": "entity_ref"
},
{
"id": "urn:palace:guest",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:demo:palace-steward#visitor"
},
{
"args": [
{
"id": "urn:de:grimm:clir:geisslein#A1857",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:de:grimm:clir:geisslein#reading_edition"
},
{
"args": [
{
"id": "urn:de:grimm:clir:geisslein#A1857",
"kind": "entity_ref"
},
{
"id": "urn:palace:guest",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:de:grimm:clir:geisslein#knocked"
},
{
"args": [
{
"id": "urn:palace:request",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:demo:palace-steward#identity_attested"
},
{
"args": [
{
"id": "urn:palace:request",
"kind": "entity_ref"
},
{
"id": "urn:palace:queue",
"kind": "entity_ref"
},
{
"id": "urn:palace:guest",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:demo:palace-steward#waiting"
},
{
"args": [
{
"id": "urn:palace:queue",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:demo:palace-steward#queue_closed"
},
{
"args": [
{
"id": "urn:palace:queue",
"kind": "entity_ref"
},
{
"id": "urn:palace:guest",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 1
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:usus:corpus:clir:ochered#joined"
},
{
"args": [
{
"id": "urn:palace:queue",
"kind": "entity_ref"
},
{
"id": "urn:palace:guest",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:usus:corpus:clir:ochered#joined_at_tail"
},
{
"args": [
{
"id": "urn:palace:queue",
"kind": "entity_ref"
},
{
"id": "urn:palace:other",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 2
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:usus:corpus:clir:ochered#joined"
},
{
"args": [
{
"id": "urn:palace:queue",
"kind": "entity_ref"
},
{
"id": "urn:palace:other",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:usus:corpus:clir:ochered#joined_at_tail"
},
{
"args": [
{
"id": "urn:palace:request",
"kind": "entity_ref"
},
{
"id": "urn:palace:chamberlain",
"kind": "entity_ref"
},
{
"id": "urn:palace:queen",
"kind": "entity_ref"
},
{
"id": "urn:palace:return-slipper",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Date"
},
"value": "1000-01-02"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:demo:palace-steward#mandate"
},
{
"args": [
{
"id": "urn:palace:authority-0",
"kind": "entity_ref"
},
{
"id": "urn:palace:queen",
"kind": "entity_ref"
},
{
"id": "urn:palace:minister",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:doctrine:clir:acts-for#authority_granted"
},
{
"args": [
{
"id": "urn:palace:authority-0",
"kind": "entity_ref"
},
{
"id": "urn:palace:return-slipper",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:doctrine:clir:acts-for#authority_covers"
},
{
"args": [
{
"id": "urn:palace:authority-0",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Date"
},
"value": "1000-01-01"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:doctrine:clir:acts-for#authority_effective_from"
},
{
"args": [
{
"id": "urn:palace:authority-0",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Date"
},
"value": "1000-01-03"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:doctrine:clir:acts-for#authority_effective_until"
},
{
"args": [
{
"id": "urn:palace:authority-0",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Date"
},
"value": "1000-01-02"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:doctrine:clir:acts-for#assessed_on"
},
{
"args": [
{
"id": "urn:palace:authority-0",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:doctrine:clir:acts-for#authority_permits_subdelegation"
},
{
"args": [
{
"id": "urn:palace:authority-1",
"kind": "entity_ref"
},
{
"id": "urn:palace:minister",
"kind": "entity_ref"
},
{
"id": "urn:palace:secretary",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:doctrine:clir:acts-for#authority_granted"
},
{
"args": [
{
"id": "urn:palace:authority-1",
"kind": "entity_ref"
},
{
"id": "urn:palace:return-slipper",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:doctrine:clir:acts-for#authority_covers"
},
{
"args": [
{
"id": "urn:palace:authority-1",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Date"
},
"value": "1000-01-01"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:doctrine:clir:acts-for#authority_effective_from"
},
{
"args": [
{
"id": "urn:palace:authority-1",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Date"
},
"value": "1000-01-03"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:doctrine:clir:acts-for#authority_effective_until"
},
{
"args": [
{
"id": "urn:palace:authority-1",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Date"
},
"value": "1000-01-02"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:doctrine:clir:acts-for#assessed_on"
},
{
"args": [
{
"id": "urn:palace:authority-1",
"kind": "entity_ref"
},
{
"id": "urn:palace:authority-0",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:doctrine:clir:acts-for#subdelegated_from"
},
{
"args": [
{
"id": "urn:palace:authority-1",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:doctrine:clir:acts-for#authority_permits_subdelegation"
},
{
"args": [
{
"id": "urn:palace:authority-2",
"kind": "entity_ref"
},
{
"id": "urn:palace:secretary",
"kind": "entity_ref"
},
{
"id": "urn:palace:chamberlain",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:doctrine:clir:acts-for#authority_granted"
},
{
"args": [
{
"id": "urn:palace:authority-2",
"kind": "entity_ref"
},
{
"id": "urn:palace:return-slipper",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:doctrine:clir:acts-for#authority_covers"
},
{
"args": [
{
"id": "urn:palace:authority-2",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Date"
},
"value": "1000-01-01"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:doctrine:clir:acts-for#authority_effective_from"
},
{
"args": [
{
"id": "urn:palace:authority-2",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Date"
},
"value": "1000-01-03"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:doctrine:clir:acts-for#authority_effective_until"
},
{
"args": [
{
"id": "urn:palace:authority-2",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Date"
},
"value": "1000-01-02"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:doctrine:clir:acts-for#assessed_on"
},
{
"args": [
{
"id": "urn:palace:authority-2",
"kind": "entity_ref"
},
{
"id": "urn:palace:authority-1",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:doctrine:clir:acts-for#subdelegated_from"
},
{
"args": [
{
"id": "urn:palace:authority-0",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:doctrine:clir:acts-for#authority_is_root"
},
{
"args": [
{
"id": "urn:palace:authority-0",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 2
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:doctrine:clir:acts-for#authority_subdelegation_depth_limit"
},
{
"args": [
{
"id": "urn:palace:request",
"kind": "entity_ref"
},
{
"id": "urn:palace:wish",
"kind": "entity_ref"
},
{
"id": "urn:palace:slipper",
"kind": "entity_ref"
},
{
"id": "urn:palace:guest",
"kind": "entity_ref"
},
{
"id": "urn:palace:ball",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Instant"
},
"value": "1000-01-02T00:01:00Z"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:demo:palace-steward#gift"
},
{
"args": [
{
"id": "urn:palace:fisherman",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:ru:pushkin:clir:zolotaya-rybka#ransom_offered_to"
},
{
"args": [
{
"id": "urn:palace:fisherman",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:ru:pushkin:clir:zolotaya-rybka#released_without_ransom"
},
{
"args": [
{
"id": "urn:palace:guest",
"kind": "entity_ref"
},
{
"id": "urn:palace:wish",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:ru:pushkin:clir:zolotaya-rybka#wished"
},
{
"args": [
{
"id": "urn:palace:fisherman",
"kind": "entity_ref"
},
{
"id": "urn:palace:wish",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:ru:pushkin:clir:zolotaya-rybka#conveyed_to_fish"
},
{
"args": [
{
"id": "urn:palace:wish",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:ru:pushkin:clir:zolotaya-rybka#granted"
},
{
"args": [
{
"id": "urn:palace:slipper",
"kind": "entity_ref"
},
{
"id": "urn:palace:guest",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:fr:perrault:clir:cendrillon#conferred_on"
},
{
"args": [
{
"id": "urn:palace:slipper",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:fr:perrault:clir:cendrillon#glass_slipper"
},
{
"args": [
{
"id": "urn:palace:slipper",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:fr:perrault:clir:cendrillon#checked_thing"
},
{
"args": [
{
"id": "urn:palace:ball",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Instant"
},
"value": "1000-01-02T00:00:00Z"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:fr:perrault:clir:cendrillon#ball_midnight"
},
{
"args": [
{
"id": "urn:palace:guest",
"kind": "entity_ref"
},
{
"id": "urn:palace:ball",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Instant"
},
"value": "1000-01-02T00:00:00Z"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:fr:perrault:clir:cendrillon#left_ball_at"
},
{
"args": [
{
"id": "urn:palace:request",
"kind": "entity_ref"
},
{
"id": "urn:palace:chamberlain",
"kind": "entity_ref"
},
{
"id": "urn:palace:steward",
"kind": "entity_ref"
},
{
"id": "urn:palace:return-slipper",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:demo:palace-steward#command"
},
{
"args": [
{
"id": "urn:palace:chamberlain",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:us:asimov:clir:three-laws-robotics#human"
},
{
"args": [
{
"id": "urn:palace:steward",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:us:asimov:clir:three-laws-robotics#robot"
},
{
"args": [
{
"id": "urn:palace:steward",
"kind": "entity_ref"
},
{
"id": "urn:palace:return-slipper",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:us:asimov:clir:three-laws-robotics#deed_of"
},
{
"args": [
{
"id": "urn:palace:request",
"kind": "entity_ref"
},
{
"id": "urn:palace:guest",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:demo:palace-steward#affected"
},
{
"args": [
{
"id": "urn:palace:guest",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:us:asimov:clir:three-laws-robotics#human"
},
{
"args": [
{
"id": "urn:palace:request",
"kind": "entity_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:demo:palace-steward#impact_scope_closed"
},
{
"args": [
{
"id": "urn:palace:return-slipper",
"kind": "entity_ref"
},
{
"id": "urn:palace:guest",
"kind": "entity_ref"
}
],
"negated": true,
"origin": "adjudicated",
"predicate": "urn:us:asimov:clir:three-laws-robotics#harms"
}
],
"kind": "truth",
"legalTime": "1000-01-02",
"predicate": "urn:demo:palace-steward#identity_ready"
}