Lensby Arxo
Download JSON
Question Saved analysis

Распорядитель дворца: вернуть туфельку

Минута после полуночи. Гость просит вернуть волшебную туфельку, а камергер отдаёт приказ роботу от имени королевы. Робот должен установить, кого он обслуживает, наступила ли очередь, действительны ли полномочия и дар, сохранилась ли вещь и безопасно ли действие. Ни один пакет в одиночку не отвечает на весь вопрос. Ниже — восемь проверок одного и того же дела: результат каждой ранней стадии становится условием следующей.

This is an assistant explanation, not a calculation result. Check the grounds and sources below.

Results

8

Condition

1. Гримм: личность гостя проверена

Established

Query parameters · 1
s
request
Input facts · 53
  • удостоверенное соответствие представителя и лица, отдающего приказ

    agent: chamberlainh: chamberlain
  • удостоверенное соответствие области полномочия и конкретного деяния

    act: return-slipperd: return-slipper
  • посетитель в модели Гримм

    s: requeste: Ausgabe letzter Hand 1857p: guest
  • der Fall wird nach dieser Ausgabe gelesen

    a: Ausgabe letzter Hand 1857
  • nach 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: 2
  • Original data · JSON
    JSONRead only
    {
      "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
  • choſe que la Maraine a procurée à Cendrillon pour aller au bal

    t: slipperp: guest
  • pentoufle de verre, que la Maraine donna et ne changea point

    t: slipper
  • choſe qu’on éprouve contre la liſte de la Maraine

    t: slipper
  • Original data · JSON
    JSONRead only
    {
      "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
    JSONRead only
    {
      "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
  • a human being

    x: chamberlain
  • a robot

    x: steward
  • the deed is a deed of that robot

    r: stewardd: return-slipper
  • существо в области оценки вреда

    s: requestv: guest
  • a human being

    x: guest
  • перечень затрагиваемых существ предъявлен полностью

    s: request
  • Negated: the deed harms that human being

    d: return-slipperv: guest
Why this result? →Sources: 21

У двери — модель из «Волка и семерых козлят» (de.grimm.geisslein). Здесь стучащий заявляет, что он мать: это смысл исходного предиката knocked, а не универсальная идентификация посетителя. Пакет выводит опровержимую презумпцию presumed_mother. Дворец дополнительно требует независимый факт identity_attested. Только вместе они дают identity_ready. Так слабое свидетельство из сказки не превращается в удостоверение личности.

Condition

2. Обычай очереди: теперь очередь этого гостя

Established

Query parameters · 1
s
request
Input facts · 53
  • удостоверенное соответствие представителя и лица, отдающего приказ

    agent: chamberlainh: chamberlain
  • удостоверенное соответствие области полномочия и конкретного деяния

    act: return-slipperd: return-slipper
  • посетитель в модели Гримм

    s: requeste: Ausgabe letzter Hand 1857p: guest
  • der Fall wird nach dieser Ausgabe gelesen

    a: Ausgabe letzter Hand 1857
  • nach 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: 2
  • Original data · JSON
    JSONRead only
    {
      "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
  • choſe que la Maraine a procurée à Cendrillon pour aller au bal

    t: slipperp: guest
  • pentoufle de verre, que la Maraine donna et ne changea point

    t: slipper
  • choſe qu’on éprouve contre la liſte de la Maraine

    t: slipper
  • Original data · JSON
    JSONRead only
    {
      "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
    JSONRead only
    {
      "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
  • a human being

    x: chamberlain
  • a robot

    x: steward
  • the deed is a deed of that robot

    r: stewardd: return-slipper
  • существо в области оценки вреда

    s: requestv: guest
  • a human being

    x: guest
  • перечень затрагиваемых существ предъявлен полностью

    s: request
  • Negated: the deed harms that human being

    d: return-slipperv: guest
Why this result? →Sources: 21

Удостоверить гостя ещё недостаточно: он должен дождаться обслуживания. Пакет обычая очереди usus.corpus.ochered проверяет вступление в хвост, сохранение места и порядок между людьми. В деле гость вступил под номером 1, другой человек — под номером 2. Состав очереди объявлен полным; сохраняющего место предшественника не найдено. Дворцовое правило соединяет этот результат с проверкой личности и получает queue_ready.

Condition

3. Представительство: камергер уполномочен королевой

Established

Query parameters · 1
s
request
Input facts · 53
  • удостоверенное соответствие представителя и лица, отдающего приказ

    agent: chamberlainh: chamberlain
  • удостоверенное соответствие области полномочия и конкретного деяния

    act: return-slipperd: return-slipper
  • посетитель в модели Гримм

    s: requeste: Ausgabe letzter Hand 1857p: guest
  • der Fall wird nach dieser Ausgabe gelesen

    a: Ausgabe letzter Hand 1857
  • nach 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: 2
  • Original data · JSON
    JSONRead only
    {
      "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
  • choſe que la Maraine a procurée à Cendrillon pour aller au bal

    t: slipperp: guest
  • pentoufle de verre, que la Maraine donna et ne changea point

    t: slipper
  • choſe qu’on éprouve contre la liſte de la Maraine

    t: slipper
  • Original data · JSON
    JSONRead only
    {
      "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
    JSONRead only
    {
      "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
  • a human being

    x: chamberlain
  • a robot

    x: steward
  • the deed is a deed of that robot

    r: stewardd: return-slipper
  • существо в области оценки вреда

    s: requestv: guest
  • a human being

    x: guest
  • перечень затрагиваемых существ предъявлен полностью

    s: request
  • Negated: the deed harms that human being

    d: return-slipperv: guest
Why this result? →Sources: 21

Теперь нужен законный распорядитель. В doctrine.acts_for цепь выглядит так: королева → министр → секретарь → камергер. На каждом звене проверяются действие, срок и основания передоверия; корневое полномочие допускает два передоверия. Все три звена действуют в день приказа. Дворец отдельно связывает представителя с человеком, отдающим приказ, а делегированное действие — с действием робота. Чужая доверенность или полномочие на другой поступок не подойдут.

Condition

4. Пушкин: дар исполнен и не отозван

Established

Query parameters · 1
s
request
Input facts · 53
  • удостоверенное соответствие представителя и лица, отдающего приказ

    agent: chamberlainh: chamberlain
  • удостоверенное соответствие области полномочия и конкретного деяния

    act: return-slipperd: return-slipper
  • посетитель в модели Гримм

    s: requeste: Ausgabe letzter Hand 1857p: guest
  • der Fall wird nach dieser Ausgabe gelesen

    a: Ausgabe letzter Hand 1857
  • nach 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: 2
  • Original data · JSON
    JSONRead only
    {
      "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
  • choſe que la Maraine a procurée à Cendrillon pour aller au bal

    t: slipperp: guest
  • pentoufle de verre, que la Maraine donna et ne changea point

    t: slipper
  • choſe qu’on éprouve contre la liſte de la Maraine

    t: slipper
  • Original data · JSON
    JSONRead only
    {
      "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
    JSONRead only
    {
      "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
  • a human being

    x: chamberlain
  • a robot

    x: steward
  • the deed is a deed of that robot

    r: stewardd: return-slipper
  • существо в области оценки вреда

    s: requestv: guest
  • a human being

    x: guest
  • перечень затрагиваемых существ предъявлен полностью

    s: request
  • Negated: the deed harms that human being

    d: return-slipperv: guest
Why this result? →Sources: 21

Полномочия камергера не доказывают право распоряжаться любым даром. В «Сказке о рыбаке и рыбке» (ru.pushkin.zolotaya_rybka) рыбак получил предложение откупа, отпустил рыбу и передал желание; желание исполнено, его отзыв не установлен. Вымышленная дворцовая политика связывает именно это желание с туфелькой и её владельцем. Это авторский мост между сказками: Пушкин не описывал выдачу туфельки. Его пакет здесь отвечает за сохранение основания дара.

Condition

5. Перро: туфелька пережила полночь

Established

Query parameters · 1
s
request
Input facts · 53
  • удостоверенное соответствие представителя и лица, отдающего приказ

    agent: chamberlainh: chamberlain
  • удостоверенное соответствие области полномочия и конкретного деяния

    act: return-slipperd: return-slipper
  • посетитель в модели Гримм

    s: requeste: Ausgabe letzter Hand 1857p: guest
  • der Fall wird nach dieser Ausgabe gelesen

    a: Ausgabe letzter Hand 1857
  • nach 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: 2
  • Original data · JSON
    JSONRead only
    {
      "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
  • choſe que la Maraine a procurée à Cendrillon pour aller au bal

    t: slipperp: guest
  • pentoufle de verre, que la Maraine donna et ne changea point

    t: slipper
  • choſe qu’on éprouve contre la liſte de la Maraine

    t: slipper
  • Original data · JSON
    JSONRead only
    {
      "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
    JSONRead only
    {
      "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
  • a human being

    x: chamberlain
  • a robot

    x: steward
  • the deed is a deed of that robot

    r: stewardd: return-slipper
  • существо в области оценки вреда

    s: requestv: guest
  • a human being

    x: guest
  • перечень затрагиваемых существ предъявлен полностью

    s: request
  • Negated: the deed harms that human being

    d: return-slipperv: guest
Why this result? →Sources: 21

Действующий дар ещё не означает, что вещь существует после полуночи. Пакет «Золушки» (fr.perrault.cendrillon) различает вещи, подлежащие обратному превращению, и стеклянную туфельку, которая сохраняется. В деле зафиксирован уход с бала в полночь и передача туфельки этому владельцу. Получен survived_midnight, откат туфельки не установлен. Дворцовый мост объединяет это с проверенным даром и получает asset_ready. Для кареты тот же путь после полуночи оборвётся.

Condition

6. Передача приказа роботу

Established

Query parameters · 1
s
request
Input facts · 53
  • удостоверенное соответствие представителя и лица, отдающего приказ

    agent: chamberlainh: chamberlain
  • удостоверенное соответствие области полномочия и конкретного деяния

    act: return-slipperd: return-slipper
  • посетитель в модели Гримм

    s: requeste: Ausgabe letzter Hand 1857p: guest
  • der Fall wird nach dieser Ausgabe gelesen

    a: Ausgabe letzter Hand 1857
  • nach 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: 2
  • Original data · JSON
    JSONRead only
    {
      "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
  • choſe que la Maraine a procurée à Cendrillon pour aller au bal

    t: slipperp: guest
  • pentoufle de verre, que la Maraine donna et ne changea point

    t: slipper
  • choſe qu’on éprouve contre la liſte de la Maraine

    t: slipper
  • Original data · JSON
    JSONRead only
    {
      "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
    JSONRead only
    {
      "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
  • a human being

    x: chamberlain
  • a robot

    x: steward
  • the deed is a deed of that robot

    r: stewardd: return-slipper
  • существо в области оценки вреда

    s: requestv: guest
  • a human being

    x: guest
  • перечень затрагиваемых существ предъявлен полностью

    s: request
  • Negated: the deed harms that human being

    d: return-slipperv: guest
Why this result? →Sources: 21

Только после личности, очереди, полномочий, дара и сохранности вещи дворцовое правило создаёт orders в словаре us.asimov.three_laws: конкретный человек велит конкретному роботу вернуть конкретную туфельку. Так выход пяти проверок становится входом шестого пакета. dispatched означает передачу приказа в нормативную модель робота; движение механизма этим ещё не подтверждено.

Condition

7. Азимов: проверена безопасность для затрагиваемого человека

Established

Query parameters · 1
s
request
Input facts · 53
  • удостоверенное соответствие представителя и лица, отдающего приказ

    agent: chamberlainh: chamberlain
  • удостоверенное соответствие области полномочия и конкретного деяния

    act: return-slipperd: return-slipper
  • посетитель в модели Гримм

    s: requeste: Ausgabe letzter Hand 1857p: guest
  • der Fall wird nach dieser Ausgabe gelesen

    a: Ausgabe letzter Hand 1857
  • nach 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: 2
  • Original data · JSON
    JSONRead only
    {
      "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
  • choſe que la Maraine a procurée à Cendrillon pour aller au bal

    t: slipperp: guest
  • pentoufle de verre, que la Maraine donna et ne changea point

    t: slipper
  • choſe qu’on éprouve contre la liſte de la Maraine

    t: slipper
  • Original data · JSON
    JSONRead only
    {
      "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
    JSONRead only
    {
      "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
  • a human being

    x: chamberlain
  • a robot

    x: steward
  • the deed is a deed of that robot

    r: stewardd: return-slipper
  • существо в области оценки вреда

    s: requestv: guest
  • a human being

    x: guest
  • перечень затрагиваемых существ предъявлен полностью

    s: request
  • Negated: the deed harms that human being

    d: return-slipperv: guest
Why this result? →Sources: 21

У Азимова человеческий приказ не отменяет первый закон. В деле перечислен затрагиваемый человек и явно объявлено, что область оценки полна. Для него подано отдельное adjudicated-суждение «действие не причиняет вреда». Дворец требует такую явную оценку для каждого затрагиваемого, непустой список и отсутствие установленного вреда. Без суждения разрешения не будет; положительное свидетельство о вреде блокирует его даже при конфликтующих сведениях.

Condition

8. Итог: робот вправе вернуть туфельку

Established

Query parameters · 1
s
request
Input facts · 53
  • удостоверенное соответствие представителя и лица, отдающего приказ

    agent: chamberlainh: chamberlain
  • удостоверенное соответствие области полномочия и конкретного деяния

    act: return-slipperd: return-slipper
  • посетитель в модели Гримм

    s: requeste: Ausgabe letzter Hand 1857p: guest
  • der Fall wird nach dieser Ausgabe gelesen

    a: Ausgabe letzter Hand 1857
  • nach 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: 2
  • Original data · JSON
    JSONRead only
    {
      "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
  • choſe que la Maraine a procurée à Cendrillon pour aller au bal

    t: slipperp: guest
  • pentoufle de verre, que la Maraine donna et ne changea point

    t: slipper
  • choſe qu’on éprouve contre la liſte de la Maraine

    t: slipper
  • Original data · JSON
    JSONRead only
    {
      "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
    JSONRead only
    {
      "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
  • a human being

    x: chamberlain
  • a robot

    x: steward
  • the deed is a deed of that robot

    r: stewardd: return-slipper
  • существо в области оценки вреда

    s: requestv: guest
  • a human being

    x: guest
  • перечень затрагиваемых существ предъявлен полностью

    s: request
  • Negated: the deed harms that human being

    d: return-slipperv: guest
Why this result? →Sources: 21

Финальное executable получено из переданного приказа, обязанности подчиниться по трём законам, проверки безопасности и отсутствия установленного отказа. В доказательство входят правила всех шести исходных пакетов и седьмого пакета — дворцовых мостов. Совместимость обеспечивают явные связи людей, действий, желания и вещи. Это проверяемый пример композиции разных нормативных моделей, а не доказательство универсальности для любых систем. Снимок подтверждает разрешение по предъявленным фактам; фактическое возвращение вещи — следующий шаг внешнего исполнителя.

How to cite

The snapshot is immutable: the SHA-256 of the downloadable JSON pins it, so no access date is needed.

Citation
“Распорядитель дворца: вернуть туфельку”. Arxo Lens, as of 1000-01-02. https://lens.arxo.io/a/b_771abb2578c51c087dc4a1819bd901082bceb162fe3694b87c82025b0ba44cc7. Snapshot SHA-256: 771abb2578c51c087dc4a1819bd901082bceb162fe3694b87c82025b0ba44cc7.
BibTeX
@misc{arxo-lens-b_771abb2578c5,
  title = {Распорядитель дворца: вернуть туфельку},
  howpublished = {Arxo Lens},
  url = {https://lens.arxo.io/a/b_771abb2578c51c087dc4a1819bd901082bceb162fe3694b87c82025b0ba44cc7},
  note = {as of 1000-01-02; SHA-256 771abb2578c51c087dc4a1819bd901082bceb162fe3694b87c82025b0ba44cc7}
}
Embed code

The card shows the result and links to the full analysis; it sets no cookies.

<iframe src="https://lens.arxo.io/embed/b_771abb2578c51c087dc4a1819bd901082bceb162fe3694b87c82025b0ba44cc7?lang=en" width="100%" height="390" loading="lazy" title="The palace steward returns a slipper — Arxo Lens" style="border:0"></iframe>

Anonymous visit statistics, no cookies.