Lensby Arxo
Скачать JSON
Вопрос Сохранённый разбор

Полночь: карета исчезает, туфелька остаётся

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

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

Результаты

4

Проверка условия

До полуночи пользоваться каретой разрешено

Установлено

Параметры запроса · 1
s
request
Исходные факты · 52
  • удостоверенное соответствие представителя и лица, отдающего приказ

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

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

    s: requeste: издание 1857 года, последней рукиp: guest
  • дело читается по этому изданию

    a: издание 1857 года, последней руки
  • по этому изданию названный стучал в дверь и назвался матерью

    a: издание 1857 года, последней рукиc: guest
  • личность независимо удостоверена

    s: request
  • посетитель в очереди

    s: requestq: queuep: guest
  • предъявлен полный состав очереди на этот срез

    q: queue
  • лицо присоединилось к очереди и приняло ранг порядка прибытия (ст. 2)

    q: queuep: guestrank: 1
  • присоединение совершено к хвосту очереди; где проходит хвост — обстоятельство места (ст. 2, 18)

    q: queuep: guest
  • лицо присоединилось к очереди и приняло ранг порядка прибытия (ст. 2)

    q: queuep: otherrank: 2
  • присоединение совершено к хвосту очереди; где проходит хвост — обстоятельство места (ст. 2, 18)

    q: queuep: other
  • представитель, принципал, действие и день проверки

    s: requestagent: chamberlainprincipal: queenact: return-slipperday: 1 января 1000 г.
  • полномочие выдано принципалом агенту

    authority: authority-0principal: queenagent: minister
  • полномочие распространяется на действие

    authority: authority-0act: return-slipper
  • первый день действия полномочия

    authority: authority-0day: 1 января 1000 г.
  • последний день действия полномочия (включительно)

    authority: authority-0day: 3 января 1000 г.
  • день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)

    authority: authority-0day: 1 января 1000 г.
  • полномочие допускает передачу дальше: передоверие, cA, refresh

    authority: authority-0
  • полномочие выдано принципалом агенту

    authority: authority-1principal: ministeragent: secretary
  • полномочие распространяется на действие

    authority: authority-1act: return-slipper
  • первый день действия полномочия

    authority: authority-1day: 1 января 1000 г.
  • последний день действия полномочия (включительно)

    authority: authority-1day: 3 января 1000 г.
  • день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)

    authority: authority-1day: 1 января 1000 г.
  • полномочие выдано на основании другого полномочия

    child: authority-1parent: authority-0
  • полномочие допускает передачу дальше: передоверие, cA, refresh

    authority: authority-1
  • полномочие выдано принципалом агенту

    authority: authority-2principal: secretaryagent: chamberlain
  • полномочие распространяется на действие

    authority: authority-2act: return-slipper
  • первый день действия полномочия

    authority: authority-2day: 1 января 1000 г.
  • последний день действия полномочия (включительно)

    authority: authority-2day: 3 января 1000 г.
  • день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)

    authority: authority-2day: 1 января 1000 г.
  • полномочие выдано на основании другого полномочия

    child: authority-2parent: authority-1
  • полномочие первичное — выдано самим принципалом, ни на чём не основано: доверитель, якорь доверия, владелец ресурса

    authority: authority-0
  • наибольшее число передач под этим полномочием

    authority: authority-0depth: 2
  • Исходные данные · JSON
    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-01T23:59:59Z"
        }
      ],
      "negated": false,
      "origin": "case_input",
      "predicate": "urn:demo:palace-steward#gift"
    }
  • рыбка предложила поймавшему откуп «чем только пожелаешь»

    catcher: fisherman
  • отпустил рыбку, не взяв немедленного выкупа

    releaser: fisherman
  • участник пожелал названного

    requester: guestw: wish
  • желание передано рыбке у моря названным посредником

    messenger: fishermanw: wish
  • дар предоставлен: мир дела его содержит

    w: wish
  • вещь предоставлена крёстной этому лицу для поездки на бал

    t: slipperp: guest
  • вещь, проверяемая на вхождение в перечень отката

    t: slipper
  • Исходные данные · JSON
    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"
    }
  • предъявленный приказ; ещё не передан роботу

    s: requesth: chamberlainrobot: stewardd: return-slipper
  • человек

    x: chamberlain
  • робот

    x: steward
  • деяние есть деяние этого робота

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

    s: requestv: guest
  • человек

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

    s: request
  • Не выполняется: деяние причиняет вред этому человеку

    d: return-slipperv: guest
  • карета

    t: slipper
Почему такой результат? →Источники: 20

23:59:59. Пушкин подтверждает основание дара, Перро относит карету к временным превращённым вещам, а дворцовая политика разрешает пользоваться такой вещью строго до полуночи. Здесь срок ещё не истёк; остальные стадии также пройдены, поэтому executable доказан.

Проверка условия

Уход в полночь: откат кареты установлен

Установлено

Параметры запроса · 1
t
slipper
Исходные факты · 53
  • удостоверенное соответствие представителя и лица, отдающего приказ

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

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

    s: requeste: издание 1857 года, последней рукиp: guest
  • дело читается по этому изданию

    a: издание 1857 года, последней руки
  • по этому изданию названный стучал в дверь и назвался матерью

    a: издание 1857 года, последней рукиc: guest
  • личность независимо удостоверена

    s: request
  • посетитель в очереди

    s: requestq: queuep: guest
  • предъявлен полный состав очереди на этот срез

    q: queue
  • лицо присоединилось к очереди и приняло ранг порядка прибытия (ст. 2)

    q: queuep: guestrank: 1
  • присоединение совершено к хвосту очереди; где проходит хвост — обстоятельство места (ст. 2, 18)

    q: queuep: guest
  • лицо присоединилось к очереди и приняло ранг порядка прибытия (ст. 2)

    q: queuep: otherrank: 2
  • присоединение совершено к хвосту очереди; где проходит хвост — обстоятельство места (ст. 2, 18)

    q: queuep: other
  • представитель, принципал, действие и день проверки

    s: requestagent: chamberlainprincipal: queenact: return-slipperday: 2 января 1000 г.
  • полномочие выдано принципалом агенту

    authority: authority-0principal: queenagent: minister
  • полномочие распространяется на действие

    authority: authority-0act: return-slipper
  • первый день действия полномочия

    authority: authority-0day: 1 января 1000 г.
  • последний день действия полномочия (включительно)

    authority: authority-0day: 3 января 1000 г.
  • день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)

    authority: authority-0day: 2 января 1000 г.
  • полномочие допускает передачу дальше: передоверие, cA, refresh

    authority: authority-0
  • полномочие выдано принципалом агенту

    authority: authority-1principal: ministeragent: secretary
  • полномочие распространяется на действие

    authority: authority-1act: return-slipper
  • первый день действия полномочия

    authority: authority-1day: 1 января 1000 г.
  • последний день действия полномочия (включительно)

    authority: authority-1day: 3 января 1000 г.
  • день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)

    authority: authority-1day: 2 января 1000 г.
  • полномочие выдано на основании другого полномочия

    child: authority-1parent: authority-0
  • полномочие допускает передачу дальше: передоверие, cA, refresh

    authority: authority-1
  • полномочие выдано принципалом агенту

    authority: authority-2principal: secretaryagent: chamberlain
  • полномочие распространяется на действие

    authority: authority-2act: return-slipper
  • первый день действия полномочия

    authority: authority-2day: 1 января 1000 г.
  • последний день действия полномочия (включительно)

    authority: authority-2day: 3 января 1000 г.
  • день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)

    authority: authority-2day: 2 января 1000 г.
  • полномочие выдано на основании другого полномочия

    child: authority-2parent: authority-1
  • полномочие первичное — выдано самим принципалом, ни на чём не основано: доверитель, якорь доверия, владелец ресурса

    authority: authority-0
  • наибольшее число передач под этим полномочием

    authority: authority-0depth: 2
  • Исходные данные · JSON
    JSONТолько чтение
    {
      "args": [
        {
          "id": "urn:palace:request",
          "kind": "entity_ref"
        },
        {
          "id": "urn:palace:wish",
          "kind": "entity_ref"
        },
        {
          "id": "urn:palace:slipper",
          "kind": "entity_ref"
        },
        {
          "id": "urn:palace:guest",
          "kind": "entity_ref"
        },
        {
          "id": "urn:palace:ball",
          "kind": "entity_ref"
        },
        {
          "kind": "value",
          "type": {
            "name": "urn:law:std#Instant"
          },
          "value": "1000-01-02T00:01:00Z"
        }
      ],
      "negated": false,
      "origin": "case_input",
      "predicate": "urn:demo:palace-steward#gift"
    }
  • рыбка предложила поймавшему откуп «чем только пожелаешь»

    catcher: fisherman
  • отпустил рыбку, не взяв немедленного выкупа

    releaser: fisherman
  • участник пожелал названного

    requester: guestw: wish
  • желание передано рыбке у моря названным посредником

    messenger: fishermanw: wish
  • дар предоставлен: мир дела его содержит

    w: wish
  • вещь предоставлена крёстной этому лицу для поездки на бал

    t: slipperp: guest
  • вещь, проверяемая на вхождение в перечень отката

    t: slipper
  • Исходные данные · JSON
    JSONТолько чтение
    {
      "args": [
        {
          "id": "urn:palace:ball",
          "kind": "entity_ref"
        },
        {
          "kind": "value",
          "type": {
            "name": "urn:law:std#Instant"
          },
          "value": "1000-01-02T00:00:00Z"
        }
      ],
      "negated": false,
      "origin": "case_input",
      "predicate": "urn:fr:perrault:clir:cendrillon#ball_midnight"
    }
  • Исходные данные · JSON
    JSONТолько чтение
    {
      "args": [
        {
          "id": "urn:palace:guest",
          "kind": "entity_ref"
        },
        {
          "id": "urn:palace:ball",
          "kind": "entity_ref"
        },
        {
          "kind": "value",
          "type": {
            "name": "urn:law:std#Instant"
          },
          "value": "1000-01-02T00:00:00Z"
        }
      ],
      "negated": false,
      "origin": "case_input",
      "predicate": "urn:fr:perrault:clir:cendrillon#left_ball_at"
    }
  • предъявленный приказ; ещё не передан роботу

    s: requesth: chamberlainrobot: stewardd: return-slipper
  • человек

    x: chamberlain
  • робот

    x: steward
  • деяние есть деяние этого робота

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

    s: requestv: guest
  • человек

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

    s: request
  • Не выполняется: деяние причиняет вред этому человеку

    d: return-slipperv: guest
  • карета

    t: slipper
Почему такой результат? →Источники: 20

В следующем деле уход с бала в полночь засвидетельствован. Это входной факт left_ball_at, по которому Перро выводит reverted для кареты. Одного перевода часов запроса недостаточно, чтобы движок выдумал уход или изменение вещи.

Проверка условия

После отката пользоваться каретой не разрешено

Не установлено

Параметры запроса · 1
s
request
Исходные факты · 53
  • удостоверенное соответствие представителя и лица, отдающего приказ

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

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

    s: requeste: издание 1857 года, последней рукиp: guest
  • дело читается по этому изданию

    a: издание 1857 года, последней руки
  • по этому изданию названный стучал в дверь и назвался матерью

    a: издание 1857 года, последней рукиc: guest
  • личность независимо удостоверена

    s: request
  • посетитель в очереди

    s: requestq: queuep: guest
  • предъявлен полный состав очереди на этот срез

    q: queue
  • лицо присоединилось к очереди и приняло ранг порядка прибытия (ст. 2)

    q: queuep: guestrank: 1
  • присоединение совершено к хвосту очереди; где проходит хвост — обстоятельство места (ст. 2, 18)

    q: queuep: guest
  • лицо присоединилось к очереди и приняло ранг порядка прибытия (ст. 2)

    q: queuep: otherrank: 2
  • присоединение совершено к хвосту очереди; где проходит хвост — обстоятельство места (ст. 2, 18)

    q: queuep: other
  • представитель, принципал, действие и день проверки

    s: requestagent: chamberlainprincipal: queenact: return-slipperday: 2 января 1000 г.
  • полномочие выдано принципалом агенту

    authority: authority-0principal: queenagent: minister
  • полномочие распространяется на действие

    authority: authority-0act: return-slipper
  • первый день действия полномочия

    authority: authority-0day: 1 января 1000 г.
  • последний день действия полномочия (включительно)

    authority: authority-0day: 3 января 1000 г.
  • день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)

    authority: authority-0day: 2 января 1000 г.
  • полномочие допускает передачу дальше: передоверие, cA, refresh

    authority: authority-0
  • полномочие выдано принципалом агенту

    authority: authority-1principal: ministeragent: secretary
  • полномочие распространяется на действие

    authority: authority-1act: return-slipper
  • первый день действия полномочия

    authority: authority-1day: 1 января 1000 г.
  • последний день действия полномочия (включительно)

    authority: authority-1day: 3 января 1000 г.
  • день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)

    authority: authority-1day: 2 января 1000 г.
  • полномочие выдано на основании другого полномочия

    child: authority-1parent: authority-0
  • полномочие допускает передачу дальше: передоверие, cA, refresh

    authority: authority-1
  • полномочие выдано принципалом агенту

    authority: authority-2principal: secretaryagent: chamberlain
  • полномочие распространяется на действие

    authority: authority-2act: return-slipper
  • первый день действия полномочия

    authority: authority-2day: 1 января 1000 г.
  • последний день действия полномочия (включительно)

    authority: authority-2day: 3 января 1000 г.
  • день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)

    authority: authority-2day: 2 января 1000 г.
  • полномочие выдано на основании другого полномочия

    child: authority-2parent: authority-1
  • полномочие первичное — выдано самим принципалом, ни на чём не основано: доверитель, якорь доверия, владелец ресурса

    authority: authority-0
  • наибольшее число передач под этим полномочием

    authority: authority-0depth: 2
  • Исходные данные · JSON
    JSONТолько чтение
    {
      "args": [
        {
          "id": "urn:palace:request",
          "kind": "entity_ref"
        },
        {
          "id": "urn:palace:wish",
          "kind": "entity_ref"
        },
        {
          "id": "urn:palace:slipper",
          "kind": "entity_ref"
        },
        {
          "id": "urn:palace:guest",
          "kind": "entity_ref"
        },
        {
          "id": "urn:palace:ball",
          "kind": "entity_ref"
        },
        {
          "kind": "value",
          "type": {
            "name": "urn:law:std#Instant"
          },
          "value": "1000-01-02T00:01:00Z"
        }
      ],
      "negated": false,
      "origin": "case_input",
      "predicate": "urn:demo:palace-steward#gift"
    }
  • рыбка предложила поймавшему откуп «чем только пожелаешь»

    catcher: fisherman
  • отпустил рыбку, не взяв немедленного выкупа

    releaser: fisherman
  • участник пожелал названного

    requester: guestw: wish
  • желание передано рыбке у моря названным посредником

    messenger: fishermanw: wish
  • дар предоставлен: мир дела его содержит

    w: wish
  • вещь предоставлена крёстной этому лицу для поездки на бал

    t: slipperp: guest
  • вещь, проверяемая на вхождение в перечень отката

    t: slipper
  • Исходные данные · JSON
    JSONТолько чтение
    {
      "args": [
        {
          "id": "urn:palace:ball",
          "kind": "entity_ref"
        },
        {
          "kind": "value",
          "type": {
            "name": "urn:law:std#Instant"
          },
          "value": "1000-01-02T00:00:00Z"
        }
      ],
      "negated": false,
      "origin": "case_input",
      "predicate": "urn:fr:perrault:clir:cendrillon#ball_midnight"
    }
  • Исходные данные · JSON
    JSONТолько чтение
    {
      "args": [
        {
          "id": "urn:palace:guest",
          "kind": "entity_ref"
        },
        {
          "id": "urn:palace:ball",
          "kind": "entity_ref"
        },
        {
          "kind": "value",
          "type": {
            "name": "urn:law:std#Instant"
          },
          "value": "1000-01-02T00:00:00Z"
        }
      ],
      "negated": false,
      "origin": "case_input",
      "predicate": "urn:fr:perrault:clir:cendrillon#left_ball_at"
    }
  • предъявленный приказ; ещё не передан роботу

    s: requesth: chamberlainrobot: stewardd: return-slipper
  • человек

    x: chamberlain
  • робот

    x: steward
  • деяние есть деяние этого робота

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

    s: requestv: guest
  • человек

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

    s: request
  • Не выполняется: деяние причиняет вред этому человеку

    d: return-slipperv: guest
  • карета

    t: slipper
Почему такой результат? →Источники: 20

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

Проверка условия

Туфельку после полуночи можно вернуть

Установлено

Параметры запроса · 1
s
request
Исходные факты · 53
  • удостоверенное соответствие представителя и лица, отдающего приказ

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

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

    s: requeste: издание 1857 года, последней рукиp: guest
  • дело читается по этому изданию

    a: издание 1857 года, последней руки
  • по этому изданию названный стучал в дверь и назвался матерью

    a: издание 1857 года, последней рукиc: guest
  • личность независимо удостоверена

    s: request
  • посетитель в очереди

    s: requestq: queuep: guest
  • предъявлен полный состав очереди на этот срез

    q: queue
  • лицо присоединилось к очереди и приняло ранг порядка прибытия (ст. 2)

    q: queuep: guestrank: 1
  • присоединение совершено к хвосту очереди; где проходит хвост — обстоятельство места (ст. 2, 18)

    q: queuep: guest
  • лицо присоединилось к очереди и приняло ранг порядка прибытия (ст. 2)

    q: queuep: otherrank: 2
  • присоединение совершено к хвосту очереди; где проходит хвост — обстоятельство места (ст. 2, 18)

    q: queuep: other
  • представитель, принципал, действие и день проверки

    s: requestagent: chamberlainprincipal: queenact: return-slipperday: 2 января 1000 г.
  • полномочие выдано принципалом агенту

    authority: authority-0principal: queenagent: minister
  • полномочие распространяется на действие

    authority: authority-0act: return-slipper
  • первый день действия полномочия

    authority: authority-0day: 1 января 1000 г.
  • последний день действия полномочия (включительно)

    authority: authority-0day: 3 января 1000 г.
  • день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)

    authority: authority-0day: 2 января 1000 г.
  • полномочие допускает передачу дальше: передоверие, cA, refresh

    authority: authority-0
  • полномочие выдано принципалом агенту

    authority: authority-1principal: ministeragent: secretary
  • полномочие распространяется на действие

    authority: authority-1act: return-slipper
  • первый день действия полномочия

    authority: authority-1day: 1 января 1000 г.
  • последний день действия полномочия (включительно)

    authority: authority-1day: 3 января 1000 г.
  • день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)

    authority: authority-1day: 2 января 1000 г.
  • полномочие выдано на основании другого полномочия

    child: authority-1parent: authority-0
  • полномочие допускает передачу дальше: передоверие, cA, refresh

    authority: authority-1
  • полномочие выдано принципалом агенту

    authority: authority-2principal: secretaryagent: chamberlain
  • полномочие распространяется на действие

    authority: authority-2act: return-slipper
  • первый день действия полномочия

    authority: authority-2day: 1 января 1000 г.
  • последний день действия полномочия (включительно)

    authority: authority-2day: 3 января 1000 г.
  • день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)

    authority: authority-2day: 2 января 1000 г.
  • полномочие выдано на основании другого полномочия

    child: authority-2parent: authority-1
  • полномочие первичное — выдано самим принципалом, ни на чём не основано: доверитель, якорь доверия, владелец ресурса

    authority: authority-0
  • наибольшее число передач под этим полномочием

    authority: authority-0depth: 2
  • Исходные данные · JSON
    JSONТолько чтение
    {
      "args": [
        {
          "id": "urn:palace:request",
          "kind": "entity_ref"
        },
        {
          "id": "urn:palace:wish",
          "kind": "entity_ref"
        },
        {
          "id": "urn:palace:slipper",
          "kind": "entity_ref"
        },
        {
          "id": "urn:palace:guest",
          "kind": "entity_ref"
        },
        {
          "id": "urn:palace:ball",
          "kind": "entity_ref"
        },
        {
          "kind": "value",
          "type": {
            "name": "urn:law:std#Instant"
          },
          "value": "1000-01-02T00:01:00Z"
        }
      ],
      "negated": false,
      "origin": "case_input",
      "predicate": "urn:demo:palace-steward#gift"
    }
  • рыбка предложила поймавшему откуп «чем только пожелаешь»

    catcher: fisherman
  • отпустил рыбку, не взяв немедленного выкупа

    releaser: fisherman
  • участник пожелал названного

    requester: guestw: wish
  • желание передано рыбке у моря названным посредником

    messenger: fishermanw: wish
  • дар предоставлен: мир дела его содержит

    w: wish
  • вещь предоставлена крёстной этому лицу для поездки на бал

    t: slipperp: guest
  • стеклянная туфелька: единственная вещь, которую крёстная не превратила, а дала

    t: slipper
  • вещь, проверяемая на вхождение в перечень отката

    t: slipper
  • Исходные данные · JSON
    JSONТолько чтение
    {
      "args": [
        {
          "id": "urn:palace:ball",
          "kind": "entity_ref"
        },
        {
          "kind": "value",
          "type": {
            "name": "urn:law:std#Instant"
          },
          "value": "1000-01-02T00:00:00Z"
        }
      ],
      "negated": false,
      "origin": "case_input",
      "predicate": "urn:fr:perrault:clir:cendrillon#ball_midnight"
    }
  • Исходные данные · JSON
    JSONТолько чтение
    {
      "args": [
        {
          "id": "urn:palace:guest",
          "kind": "entity_ref"
        },
        {
          "id": "urn:palace:ball",
          "kind": "entity_ref"
        },
        {
          "kind": "value",
          "type": {
            "name": "urn:law:std#Instant"
          },
          "value": "1000-01-02T00:00:00Z"
        }
      ],
      "negated": false,
      "origin": "case_input",
      "predicate": "urn:fr:perrault:clir:cendrillon#left_ball_at"
    }
  • предъявленный приказ; ещё не передан роботу

    s: requesth: chamberlainrobot: stewardd: return-slipper
  • человек

    x: chamberlain
  • робот

    x: steward
  • деяние есть деяние этого робота

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

    s: requestv: guest
  • человек

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

    s: request
  • Не выполняется: деяние причиняет вред этому человеку

    d: return-slipperv: guest
Почему такой результат? →Источники: 21

Третье дело: после полуночи возвращают туфельку. Она отсутствует в закрытом перечне вещей обратного превращения, и пакет Перро выводит её сохранение после засвидетельствованного ухода. Поэтому при тех же видах проверок приказ разрешён. Отличие результата объясняет свойство вещи, а не отдельная программа для второго сюжета.

Как сослаться

Снимок неизменяем: его закрепляет SHA-256 скачиваемого JSON, поэтому дата обращения не нужна.

Текст ссылки
«Полночь: карета исчезает, туфелька остаётся». Arxo Lens. https://lens.arxo.io/a/b_4d0259cb6be4140f436b6b136246554731a3d563724a9d5e425c45f8b0f045e1. SHA-256 снимка: 4d0259cb6be4140f436b6b136246554731a3d563724a9d5e425c45f8b0f045e1.
BibTeX
@misc{arxo-lens-b_4d0259cb6be4,
  title = {Полночь: карета исчезает, туфелька остаётся},
  howpublished = {Arxo Lens},
  url = {https://lens.arxo.io/a/b_4d0259cb6be4140f436b6b136246554731a3d563724a9d5e425c45f8b0f045e1},
  note = {SHA-256 4d0259cb6be4140f436b6b136246554731a3d563724a9d5e425c45f8b0f045e1}
}
Код для вставки

Карточка показывает результат и ведёт к полному разбору; cookies не ставит.

<iframe src="https://lens.arxo.io/embed/b_4d0259cb6be4140f436b6b136246554731a3d563724a9d5e425c45f8b0f045e1?lang=ru" width="100%" height="390" loading="lazy" title="Полночь: карета исчезает, туфелька остаётся — Arxo Lens" style="border:0"></iframe>

Анонимная статистика посещений, без cookies.