Lensby Arxo
Download JSON
Question Saved analysis

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

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

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

Results

4

Condition

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

Established

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

    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: 1 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: 1 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: 1 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: 1 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-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
  • choſe que la Maraine a procurée à Cendrillon pour aller au bal

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

    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
  • caroſſe (la citroüille changée en un beau caroſſe tout doré)

    t: slipper
Why this result? →Sources: 20

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

Condition

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

Established

Query parameters · 1
t
slipper
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
  • 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
  • caroſſe (la citroüille changée en un beau caroſſe tout doré)

    t: slipper
Why this result? →Sources: 20

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

Condition

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

Not 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
  • 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
  • caroſſe (la citroüille changée en un beau caroſſe tout doré)

    t: slipper
Why this result? →Sources: 20

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

Condition

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

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

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

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. https://lens.arxo.io/a/b_4d0259cb6be4140f436b6b136246554731a3d563724a9d5e425c45f8b0f045e1. Snapshot 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}
}
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_4d0259cb6be4140f436b6b136246554731a3d563724a9d5e425c45f8b0f045e1?lang=en" width="100%" height="390" loading="lazy" title="Midnight: the coach reverts, the slipper remains — Arxo Lens" style="border:0"></iframe>

Anonymous visit statistics, no cookies.