Condition
Причинит ли приказ вред: требуется суждение
Calculation result
Judgment required
Judgment requests
- authority
- PositronicPotentialAssessment
- Identifier
- test/16.%20%D0%9E%D1%86%D0%B5%D0%BD%D0%BA%D0%B0%20%D0%B2%D1%80%D0%B5%D0%B4%D0%B0%20%D0%B5%D1%89%D1%91%20%D0%BD%D0%B5%20%D0%BF%D1%80%D0%B5%D0%B4%D1%8A%D1%8F%D0%B2%D0%BB%D0%B5%D0%BD%D0%B0/query/1:0
- Condition
- harms
- Include proof
- test/16.%20%D0%9E%D1%86%D0%B5%D0%BD%D0%BA%D0%B0%20%D0%B2%D1%80%D0%B5%D0%B4%D0%B0%20%D0%B5%D1%89%D1%91%20%D0%BD%D0%B5%20%D0%BF%D1%80%D0%B5%D0%B4%D1%8A%D1%8F%D0%B2%D0%BB%D0%B5%D0%BD%D0%B0/query/1:99949f618d88d96d599f0bbc76e876ac8cfd32b5400fe042975e8c394fc6052d
- request
- Arguments
- Identifier
- return-slipper
- Type
- entity_ref
- Identifier
- guest
- Type
- entity_ref
- Polarity
- positive
- relation
- harms
Input parameters
What we are finding
the deed harms that human being
Input facts
удостоверенное соответствие представителя и лица, отдающего приказ
agent: chamberlainh: chamberlainудостоверенное соответствие области полномочия и конкретного деяния
act: return-slipperd: return-slipperпосетитель в модели Гримм
s: requeste: Ausgabe letzter Hand 1857p: guestder Fall wird nach dieser Ausgabe gelesen
a: Ausgabe letzter Hand 1857nach dieser Ausgabe klopfte er an und gab sich als die Mutter aus
a: Ausgabe letzter Hand 1857c: 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 January 1000полномочие выдано принципалом агенту
authority: authority-0principal: queenagent: ministerполномочие распространяется на действие
authority: authority-0act: return-slipperпервый день действия полномочия
authority: authority-0day: 1 January 1000последний день действия полномочия (включительно)
authority: authority-0day: 3 January 1000день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)
authority: authority-0day: 2 January 1000полномочие допускает передачу дальше: передоверие, cA, refresh
authority: authority-0полномочие выдано принципалом агенту
authority: authority-1principal: ministeragent: secretaryполномочие распространяется на действие
authority: authority-1act: return-slipperпервый день действия полномочия
authority: authority-1day: 1 January 1000последний день действия полномочия (включительно)
authority: authority-1day: 3 January 1000день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)
authority: authority-1day: 2 January 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 January 1000последний день действия полномочия (включительно)
authority: authority-2day: 3 January 1000день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)
authority: authority-2day: 2 January 1000полномочие выдано на основании другого полномочия
child: authority-2parent: authority-1полномочие первичное — выдано самим принципалом, ни на чём не основано: доверитель, якорь доверия, владелец ресурса
authority: authority-0наибольшее число передач под этим полномочием
authority: authority-0depth: 2Original data · 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: wishchoſe que la Maraine a procurée à Cendrillon pour aller au bal
t: slipperp: guestpentoufle de verre, que la Maraine donna et ne changea point
t: slipperchoſe qu’on éprouve contre la liſte de la Maraine
t: slipperOriginal data · 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" }Original data · 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-slippera human being
x: chamberlaina robot
x: stewardthe deed is a deed of that robot
r: stewardd: return-slipperсущество в области оценки вреда
s: requestv: guesta human being
x: guestперечень затрагиваемых существ предъявлен полностью
s: request
Original data · JSON
{
"args": [
{
"id": "urn:palace:return-slipper",
"kind": "entity_ref"
},
{
"id": "urn:palace:guest",
"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"
}
],
"kind": "truth",
"legalTime": "1000-01-02",
"predicate": "urn:us:asimov:clir:three-laws-robotics#harms"
}Why this resultApplied rules and conditions
Derivation path2 steps
- 1accepted externally
judgment
- accepted externally
- 2query
Query evaluation
verified by the engine: 1 · case fact: 0 · accepted externally: 1 · Full graph: 123 nodes
Steps of the saved proof from the case facts to the answer. Formulas are shown as written in the norm with bound values substituted; the page recomputes nothing.
Applied rules34
de.grimm.geisslein
Wer sich für die Mutter ausgiebt, gilt als die Mutter, bis ein genanntes Merkmal ihn verräth
Identifier
urn:de:grimm:clir:geisslein#CallerPresumedMother/R1Wer bei der Verstellung half und den Betrug erkannte, ist Gehülfe
Identifier
urn:de:grimm:clir:geisslein#ComplicitByKnowingAssistanceWer es unter Todesdrohung that, ist kein Gehülfe
Identifier
urn:de:grimm:clir:geisslein#NotComplicitUnderDeathThreat
demo.palace_steward
Очередь дошла: проверить всю цепь представительства
Identifier
urn:demo:palace-steward#AuthorityТолько прошедший проверки приказ передаётся в пакет трёх законов
Identifier
urn:demo:palace-steward#DispatchОтметить передачу именно этого приказа
Identifier
urn:demo:palace-steward#DispatchedПолномочный представитель предъявляет исполненный и не отозванный дар
Identifier
urn:demo:palace-steward#GrantПрезумпция у двери требует отдельного удостоверения личности
Identifier
urn:demo:palace-steward#IdentityПустой перечень оценки не удостоверяет безопасность
Identifier
urn:demo:palace-steward#ImpactExistsУдостоверенный гость обслуживается только после проверки полной очереди
Identifier
urn:demo:palace-steward#QueueПосле засвидетельствованного отката можно использовать уцелевшую вещь
Identifier
urn:demo:palace-steward#SurvivingAssetДля каждого затрагиваемого требуется явное суждение об отсутствии вреда
Identifier
urn:demo:palace-steward#Unreviewed
doctrine.acts_for
Агент действует от имени конечного принципала в этот день, если полномочие покрывает действие, годится для собственного действия, вся цепь в окне и законно передана, ни одно звено не отозвано и предел глубины не превышен
Identifier
urn:doctrine:clir:acts-for#ActsForПередача допущена, когда основание допускало передачу и само получено законно
Identifier
urn:doctrine:clir:acts-for#ChildChainPermittedЦепь производного полномочия в окне, когда в окне оно само и цепь его основания
Identifier
urn:doctrine:clir:acts-for#ChildChainWithinWindowПроизводное полномочие покрывает действие лишь в пределах основания — не шире
Identifier
urn:doctrine:clir:acts-for#ChildCoversГлубина производного полномочия на единицу больше глубины основания
Identifier
urn:doctrine:clir:acts-for#ChildDepthПроизводное полномочие наследует корень основания
Identifier
urn:doctrine:clir:acts-for#ChildInheritsRootПроизводное полномочие наследует конечного принципала основания
Identifier
urn:doctrine:clir:acts-for#ChildPrincipalПолномочие действует в день, лежащий в окне, если к этому дню оно не отозвано
Identifier
urn:doctrine:clir:acts-for#EffectiveOnDayПервичное полномочие ничьей передачи не требует
Identifier
urn:doctrine:clir:acts-for#RootChainPermittedЦепь первичного полномочия в окне, когда в окне оно само
Identifier
urn:doctrine:clir:acts-for#RootChainWithinWindowПервичное полномочие покрывает действие, на которое распространяется
Identifier
urn:doctrine:clir:acts-for#RootCoversГлубина первичного полномочия — ноль
Identifier
urn:doctrine:clir:acts-for#RootDepthZeroКорень цепи первичного полномочия — оно само
Identifier
urn:doctrine:clir:acts-for#RootIsItsOwnRootУ первичного полномочия конечный принципал — тот, кто его выдал
Identifier
urn:doctrine:clir:acts-for#RootPrincipalДень внутри окна действия — не раньше первого и не позже последнего дня
Identifier
urn:doctrine:clir:acts-for#WithinWindow
fr.perrault.cendrillon
Уход не раньше полуночи есть сработавшее условие отката: «le premier coup de minuit» второго бала
Identifier
urn:fr:perrault:clir:cendrillon#StayedToMidnightНе названная в перечне вещь полночь переживает: «rien ne luy eſtant reſté de toute ſa magnificence, qu’une de ſes petites pantoufles»
Identifier
urn:fr:perrault:clir:cendrillon#UnnamedThingSurvivesMidnight
ru.pushkin.zolotaya_rybka
«Откуплюсь чем только пожелаешь»: желание, переданное рыбке отпустившим её без выкупа, рыбка исполняет — пока требование не выходит за предел оферты
Identifier
urn:ru:pushkin:clir:zolotaya-rybka#OtkupObligation/R1
us.asimov.three_laws
A robot must obey the orders given it by human beings
Identifier
urn:us:asimov:clir:three-laws-robotics#SecondLawObedience
usus.corpus.ochered
занявший позицию с меньшим рангом прибытия предшествует занявшему позицию с большим (ст. 3)
Identifier
urn:usus:corpus:clir:ochered#ArrivalPrecedenceпредшествующий по порядку прибытия обслуживается прежде, если писаное право не отдало очерёдности другому (ст. 3, 16)
Identifier
urn:usus:corpus:clir:ochered#OrderOfArrivalGovernsлицо приобретает позицию в очереди фактом присоединения к её хвосту (ст. 2)
Identifier
urn:usus:corpus:clir:ochered#PositionArisesByJoiningTheTail
Judgment requests
- authority
- PositronicPotentialAssessment
- Identifier
- test/16.%20%D0%9E%D1%86%D0%B5%D0%BD%D0%BA%D0%B0%20%D0%B2%D1%80%D0%B5%D0%B4%D0%B0%20%D0%B5%D1%89%D1%91%20%D0%BD%D0%B5%20%D0%BF%D1%80%D0%B5%D0%B4%D1%8A%D1%8F%D0%B2%D0%BB%D0%B5%D0%BD%D0%B0/query/1:0
- Condition
- harms
- Include proof
- test/16.%20%D0%9E%D1%86%D0%B5%D0%BD%D0%BA%D0%B0%20%D0%B2%D1%80%D0%B5%D0%B4%D0%B0%20%D0%B5%D1%89%D1%91%20%D0%BD%D0%B5%20%D0%BF%D1%80%D0%B5%D0%B4%D1%8A%D1%8F%D0%B2%D0%BB%D0%B5%D0%BD%D0%B0/query/1:99949f618d88d96d599f0bbc76e876ac8cfd32b5400fe042975e8c394fc6052d
- request
- Arguments
- Identifier
- return-slipper
- Type
- entity_ref
- Identifier
- guest
- Type
- entity_ref
- Polarity
- positive
- relation
- harms
Proof graph
- Defeated Wer bei der Verstellung half und den Betrug erkannte, ist Gehülfe Gehülfe bei der Verstellung des Wolfs(Ausgabe letzter Hand 1857, der Müller)Defeated by Wer es unter Todesdrohung that, ist kein Gehülfe ¬Gehülfe bei der Verstellung des Wolfs(Ausgabe letzter Hand 1857, der Müller) (ground: priority §106)conclusion Gehülfe bei der Verstellung des Wolfs(Ausgabe letzter Hand 1857, der Müller)Priority path
- Wer es unter Todesdrohung that, ist kein Gehülfe Wer bei der Verstellung half und den Betrug erkannte, ist Gehülfe by priority rule Die Todesdrohung geht dem Gehülfenstand vor
Defeats are the defeat nodes of the proof graph (§181): the application, its winner and the priority path as recorded by the evaluation; no ordering is recomputed.
in the list
not in the list (explicit negative by closure)
- urn:palace:slipper
The list is closed by a §70 declaration: a missing record in the snapshot yields an explicit negative with an anti-membership certificate (§231.1). The lists are proof-graph nodes as recorded by the evaluation.
Proof nodes: 123 · assertion 51, rule_application 47, candidate_closure 19, defeat 1, judgment 1, norm_creation 3, query_evaluation 1
This block is too large for inline viewing. It is included in full in the document JSON, without truncation.
Download JSON ↓Calendar and proof identifiers
- Proof reference
- test/16.%20%D0%9E%D1%86%D0%B5%D0%BD%D0%BA%D0%B0%20%D0%B2%D1%80%D0%B5%D0%B4%D0%B0%20%D0%B5%D1%89%D1%91%20%D0%BD%D0%B5%20%D0%BF%D1%80%D0%B5%D0%B4%D1%8A%D1%8F%D0%B2%D0%BB%D0%B5%D0%BD%D0%B0/query/1
Original reasoning · JSON
This block is too large for inline viewing. It is included in full in the document JSON, without truncation.
Download JSON ↓SourcesExcerpts: 21
drohung/1
de.grimm.geisslein
Wenn du es nicht thust, so freß ich dich.
Original data · 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.
Original data · 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ß.
Original data · 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
Original data · 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.
Original data · 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.
Original data · 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.
Original data · 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.
Original data · 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.
Original data · 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
Пошел старик к синему морю; (Не спокойно синее море.) Стал он кликать золотую рыбку. Приплыла к нему рыбка, спросила: «Чего тебе надобно, старче?» Ей с поклоном старик отвечает: «Смилуйся, государыня рыбка! Пуще прежнего старуха вздурилась, Не дает старику мне покою: Уж не хочет быть она крестьянкой, Хочет быть столбовою дворянкой». Отвечает золотая рыбка: «Не печалься, ступай себе с богом». Воротился старик ко старухе. Что ж он видит? Высокий терем. На крыльце стоит его старуха В дорогой собольей душегрейке, Парчовая на маковке кичка, Жемчуги огрузили шею, На руках золотые перстни, На ногах красные сапожки. Перед нею усердные слуги; Она бьет их, за чупрун таскает.
Original data · 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
Вот пошел он к синему морю, (Помутилося синее море.) Стал он кликать золотую рыбку, Приплыла к нему рыбка, спросила: «Чего тебе надобно, старче?» Ей старик с поклоном отвечает: «Смилуйся, государыня рыбка! Еще пуще старуха бранится, Не дает старику мне покою: Избу просит сварливая баба». Отвечает золотая рыбка: «Не печалься, ступай себе с богом, Так и быть: изба вам уж будет». Пошел он ко своей землянке, А землянки нет уж и следа; Перед ним изба со светелкой, С кирпичною, беленою трубою, С дубовыми, тесовыми вороты.
Original data · 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
Вот пошел он к синему морю; Видит, — море слегка разыгралось. Стал он кликать золотую рыбку, Приплыла к нему рыбка и спросила: «Чего тебе надобно, старче?» Ей с поклоном старик отвечает: «Смилуйся, государыня рыбка, Разбранила меня моя старуха, Не дает старику мне покою: Надобно ей новое корыто; Наше-то совсем раскололось». Отвечает золотая рыбка: «Не печалься, ступай себе с богом, Будет вам новое корыто». Воротился старик ко старухе, У старухи новое корыто.
Original data · 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
«Отпусти ты, старче, меня в море, Дорогой за себя дам откуп: Откуплюсь чем только пожелаешь.»
Original data · 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
Отпустил он рыбку золотую И сказал ей ласковое слово: «Бог с тобою, золотая рыбка! Твоего мне откупа не надо; Ступай себе в синее море, Гуляй там себе на просторе».
Original data · 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
Старичок отправился к морю, (Почернело синее море.) Стал он кликать золотую рыбку. Приплыла к нему рыбка, спросила: «Чего тебе надобно, старче?» Ей с поклоном старик отвечает: «Смилуйся, государыня рыбка! Опять моя старуха бунтует: Уж не хочет быть она дворянкой, Хочет быть вольною царицей». Отвечает золотая рыбка: «Не печалься, ступай себе с богом! Добро! будет старуха царицей!» Старичок к старухе воротился. Что ж? пред ним царские палаты. В палатах видит свою старуху, За столом сидит она царицей, Служат ей бояре да дворяне, Наливают ей заморские вины; Заедает она пряником печатным; Вкруг ее стоит грозная стража, На плечах топорики держат.
Original data · 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.
Original data · 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
Original data · 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
Original data · 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"
}Article 16
usus.corpus.ochered
Статья 16. Изъятия, установленные писаным правом Порядок прибытия уступает праву на внеочередное обслуживание, установленному писаным правом того правопорядка, в котором очередь существует. Изъятие такого рода настоящим изложением не устанавливается и устанавливаться не может: живая очередь не имеет установителя, полномочного изъять кого-либо из порядка прибытия. Изъятие приходит извне обычая — из акта государства, — и настоящая статья лишь признаёт его действие.
Original data · 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Изъятие такого рода настоящим изложением не устанавливается и устанавливаться не может: живая очередь не имеет установителя, полномочного изъять кого-либо из порядка прибытия. Изъятие приходит извне обычая — из акта государства, — и настоящая статья лишь признаёт его действие."
}
]
}Article 2
usus.corpus.ochered
Статья 2. Возникновение позиции Лицо приобретает позицию в очереди фактом присоединения к её хвосту. Иного способа приобрести позицию живая очередь не знает: единственным нормативным поведением при вступлении является присоединение в порядке прибытия (Mann, 1969; Allon и Hanany, 2012).
Original data · 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)."
}
]
}Article 3
usus.corpus.ochered
Статья 3. Порядок обслуживания Обслуживание совершается в порядке прибытия: лицо, присоединившееся ранее, обслуживается прежде лица, присоединившегося позднее. Порядок прибытия есть одновременно и способ упорядочения, и мера справедливости: он отдаёт предпочтение тому, кто ждал дольше (Mann, 1969). Отступление от порядка прибытия воспринимается ожидающими как несправедливость независимо от того, увеличило ли оно их собственное ожидание (Schmitt, Dube и Leclerc, 1992).
Original data · 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)."
}
]
}Packages in the snapshot
- demo.palace_steward
- de.grimm.geisslein
- doctrine.acts_for
- fr.perrault.cendrillon
- ru.pushkin.zolotaya_rybka
- us.asimov.three_laws
- usus.corpus.ochered
Technical dataFull response, parameters and checksums
- Calculation status
- REQUIRES_JUDGMENT
Full engine response
Complete machine result · JSON
This block is too large for inline viewing. It is included in full in the document JSON, without truncation.
Download JSON ↓Execution · JSON
This block is too large for inline viewing. It is included in full in the document JSON, without truncation.
Download JSON ↓Display metadata
This block is too large for inline viewing. It is included in full in the document JSON, without truncation.
Download JSON ↓JSON · calculations, sources and exact data
{
"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#Grant",
"urn:demo:palace-steward#Identity",
"urn:demo:palace-steward#ImpactExists",
"urn:demo:palace-steward#Queue",
"urn:demo:palace-steward#SurvivingAsset",
"urn:demo:palace-steward#Unreviewed"
],
"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:0909a7573e8b7dd20aac2003472f31dd2f6d860147a2fe80d5b6e9d0d70d07af",
"jurisdiction": "Вымышленный дворец; вне юрисдикции государства",
"legalTime": "1000-01-02",
"mode": "audit",
"programHash": "sha256:503f1bbf884f9a5a49584961eb25c160f8b9dc5d63d9c005c136cd90a7be8223",
"resultHash": "sha256:e9a0cbc98e7ba34a4d19cfd2a7b3415e6e30676d913e2d479629cce171165e4e",
"rustCodeHash": "sha256:c9f459b1363accd13230c40fbe6c697dc01a986417d501eeeb33490b754d57ff",
"timezone": "UTC"
}- evaluation SHA-256
- sha256:643f938f32e24bcc1f06a022afb0ec2468565d9a020c0035c9b7b4b3e4df1972
Original data · JSON
{
"args": [
{
"id": "urn:palace:return-slipper",
"kind": "entity_ref"
},
{
"id": "urn:palace:guest",
"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"
}
],
"kind": "truth",
"legalTime": "1000-01-02",
"predicate": "urn:us:asimov:clir:three-laws-robotics#harms"
}