{
  "recorded": "2026-09-28",
  "endpoint": "https://mcp.arxo.io/mcp",
  "method": "tools/call",
  "tool": "law_ask",
  "note": "Recorded request and response from the public Arxo MCP endpoint. The response is reproduced as returned, including server-side text.",
  "request": {
    "package": "eu-air-passenger-rights",
    "predicate": "compensation_due",
    "args": [
      "urn:eu:apr:case:passenger-1",
      "urn:eu:apr:case:flight-1",
      "400 EUR"
    ],
    "legalTime": "2026-09-28",
    "facts": [
      {
        "predicate": "air_transport_undertaking",
        "args": [
          "urn:eu:apr:case:carrier-1"
        ]
      },
      {
        "predicate": "valid_operating_licence",
        "args": [
          "urn:eu:apr:case:carrier-1"
        ]
      },
      {
        "predicate": "performs_flight",
        "args": [
          "urn:eu:apr:case:flight-1",
          "urn:eu:apr:case:carrier-1"
        ]
      },
      {
        "predicate": "carriage_contract_with_passenger",
        "args": [
          "urn:eu:apr:case:flight-1",
          "urn:eu:apr:case:carrier-1"
        ]
      },
      {
        "predicate": "licence_granted_by_member_state",
        "args": [
          "urn:eu:apr:case:carrier-1",
          "urn:eu:apr:case:member-state-1"
        ]
      },
      {
        "predicate": "holds_ticket",
        "args": [
          "urn:eu:apr:case:passenger-1",
          "urn:eu:apr:case:flight-1"
        ]
      },
      {
        "predicate": "reservation_accepted_and_registered",
        "args": [
          "urn:eu:apr:case:passenger-1",
          "urn:eu:apr:case:flight-1"
        ]
      },
      {
        "predicate": "departs_from_member_state_airport",
        "args": [
          "urn:eu:apr:case:flight-1"
        ]
      },
      {
        "predicate": "checked_in_as_stipulated",
        "args": [
          "urn:eu:apr:case:passenger-1",
          "urn:eu:apr:case:flight-1"
        ]
      },
      {
        "predicate": "motorised_fixed_wing_aircraft",
        "args": [
          "urn:eu:apr:case:flight-1"
        ]
      },
      {
        "predicate": "flight_previously_planned",
        "args": [
          "urn:eu:apr:case:flight-1"
        ]
      },
      {
        "predicate": "flight_not_operated",
        "args": [
          "urn:eu:apr:case:flight-1"
        ]
      },
      {
        "predicate": "at_least_one_place_reserved",
        "args": [
          "urn:eu:apr:case:flight-1"
        ]
      },
      {
        "predicate": "distance_taken_to_last_destination",
        "args": [
          "urn:eu:apr:case:flight-1"
        ]
      },
      {
        "predicate": "distance_measured_by_great_circle",
        "args": [
          "urn:eu:apr:case:flight-1"
        ]
      },
      {
        "predicate": "flight_distance_km",
        "args": [
          "urn:eu:apr:case:flight-1",
          2300
        ]
      },
      {
        "predicate": "flight_intra_community",
        "args": [
          "urn:eu:apr:case:flight-1",
          false
        ]
      },
      {
        "predicate": "flight_to_french_overseas_department",
        "args": [
          "urn:eu:apr:case:flight-1",
          false
        ]
      },
      {
        "predicate": "urn:eu:transport:clir:air-passenger-rights:table:compensation/input",
        "args": [
          2300,
          false
        ]
      }
    ]
  },
  "response": {
    "content": [
      {
        "text": "compensation_due: **TRUE_ONLY** — установлено\nВыведено правом: cancellation(urn:eu:apr:case:flight-1); distance_basis_valid(urn:eu:apr:case:flight-1); operating_air_carrier(urn:eu:apr:case:flight-1, urn:eu:apr:case:carrier-1); confirmed_reservation(urn:eu:apr:case:passenger-1, urn:eu:apr:case:flight-1); passenger_treated_as_uninformed(urn:eu:apr:case:passenger-1, urn:eu:apr:case:flight-1); departure_from_member_state_ground(urn:eu:apr:case:passenger-1, urn:eu:apr:case:flight-1); scope_ground(urn:eu:apr:case:passenger-1, urn:eu:apr:case:flight-1); within_scope_but_for_exclusions(urn:eu:apr:case:passenger-1, urn:eu:apr:case:flight-1); regulation_applies(urn:eu:apr:case:passenger-1, urn:eu:apr:case:flight-1); right_to_care(urn:eu:apr:case:passenger-1, urn:eu:apr:case:flight-1); right_to_compensation(urn:eu:apr:case:passenger-1, urn:eu:apr:case:flight-1); right_to_reimbursement_or_rerouting(urn:eu:apr:case:passenger-1, urn:eu:apr:case:flight-1); right_to_reimbursement(urn:eu:apr:case:passenger-1, urn:eu:apr:case:flight-1); right_to_rerouting(urn:eu:apr:case:passenger-1, urn:eu:apr:case:flight-1); compensation_due(urn:eu:apr:case:passenger-1, urn:eu:apr:case:flight-1, 400); payment_means_permitted(urn:eu:apr:case:passenger-1, urn:eu:apr:case:flight-1, BankCheque); payment_means_permitted(urn:eu:apr:case:passenger-1, urn:eu:apr:case:flight-1, BankOrder); payment_means_permitted(urn:eu:apr:case:passenger-1, urn:eu:apr:case:flight-1, ElectronicBankTransfer); payment_means_permitted(urn:eu:apr:case:passenger-1, urn:eu:apr:case:flight-1, Cash); right_to_written_notice(urn:eu:apr:case:passenger-1, urn:eu:apr:case:flight-1); presented_for_boarding(urn:eu:apr:case:passenger-1, urn:eu:apr:case:flight-1)\n…и ещё 4 выведенных фактов вне предмета вопроса (полный вывод — law_explain)\nПрименены правила: AirCarrierDefinition, ArticleEightChoiceIncludesReimbursement, ArticleEightChoiceIncludesRerouting, CancellationDefinition, CancellationGivesCare, CancellationGivesCompensation, CancellationGivesReimbursementOrRerouting, CommunityCarrierDefinition, CompensationDueByDistanceBand, DepartureFromUnionGround, DistanceBasisValid, OperatingCarrierPerformsUnderOwnContract, PassengerUninformedUnlessCarrierProves/R1, PaymentMeansWithoutAgreementPermitted, PresentedAtStipulatedTime, PriorRegulationRepealed, RegulationAppliesWithinScope, ReservationFromTicketAndRegistration, ScopeGroundDepartureFromUnion, WithinScopeOnCancelledFlight, WithinScopeOnPresentedPassenger, WrittenNoticeOnCancellation, urn:eu:transport:clir:air-passenger-rights:table:compensation/row/other-1500-to-3500\nОтвет поражаем правилом «Article 19. This Regulation, entering into force on 17 February 2005, does not apply to a flight scheduled to depart before that day» — оно отменило бы вывод, будь установлено: … > 0; scheduled_departure_date(urn:eu:apr:case:flight-1, v2)\nОтвет поражаем правилом «Article 5(3). The exemption of the operating air carrier removes the passenger's right to compensation for that cancellation» — оно отменило бы вывод, будь установлено: carrier_exempt_from_compensation(urn:eu:apr:case:flight-1)\nОтвет поражаем правилом «Article 3(3). This Regulation does not apply to passengers travelling free of charge or at a reduced fare not available directly or indirectly to the public» — оно отменило бы вывод, будь установлено: travelling_free_or_reduced_fare_not_public(urn:eu:apr:case:passenger-1, urn:eu:apr:case:flight-1)\n(поражающее правило не сработало из-за неустановленных фактов — подайте их в facts, если они есть в деле)\nПраво (Европейский союз): Регламент (ЕС) № 261/2004 о компенсации и содействии авиапассажирам при отказе в посадке, отмене и длительной задержке рейса — EXECUTABLE 19 §33.1 (programHash sha256:3883c6a67e99…)",
        "type": "text"
      }
    ],
    "isError": false,
    "structuredContent": {
      "answer": {
        "evaluationStatus": "COMPUTED",
        "kind": "TRUTH",
        "meaning": "установлено",
        "missingInputs": [],
        "truthStatus": "TRUE_ONLY"
      },
      "closedEditionRules": [],
      "derived": [
        "cancellation(urn:eu:apr:case:flight-1)",
        "distance_basis_valid(urn:eu:apr:case:flight-1)",
        "operating_air_carrier(urn:eu:apr:case:flight-1, urn:eu:apr:case:carrier-1)",
        "confirmed_reservation(urn:eu:apr:case:passenger-1, urn:eu:apr:case:flight-1)",
        "passenger_treated_as_uninformed(urn:eu:apr:case:passenger-1, urn:eu:apr:case:flight-1)",
        "departure_from_member_state_ground(urn:eu:apr:case:passenger-1, urn:eu:apr:case:flight-1)",
        "scope_ground(urn:eu:apr:case:passenger-1, urn:eu:apr:case:flight-1)",
        "within_scope_but_for_exclusions(urn:eu:apr:case:passenger-1, urn:eu:apr:case:flight-1)",
        "regulation_applies(urn:eu:apr:case:passenger-1, urn:eu:apr:case:flight-1)",
        "right_to_care(urn:eu:apr:case:passenger-1, urn:eu:apr:case:flight-1)",
        "right_to_compensation(urn:eu:apr:case:passenger-1, urn:eu:apr:case:flight-1)",
        "right_to_reimbursement_or_rerouting(urn:eu:apr:case:passenger-1, urn:eu:apr:case:flight-1)",
        "right_to_reimbursement(urn:eu:apr:case:passenger-1, urn:eu:apr:case:flight-1)",
        "right_to_rerouting(urn:eu:apr:case:passenger-1, urn:eu:apr:case:flight-1)",
        "compensation_due(urn:eu:apr:case:passenger-1, urn:eu:apr:case:flight-1, 400)",
        "payment_means_permitted(urn:eu:apr:case:passenger-1, urn:eu:apr:case:flight-1, BankCheque)",
        "payment_means_permitted(urn:eu:apr:case:passenger-1, urn:eu:apr:case:flight-1, BankOrder)",
        "payment_means_permitted(urn:eu:apr:case:passenger-1, urn:eu:apr:case:flight-1, ElectronicBankTransfer)",
        "payment_means_permitted(urn:eu:apr:case:passenger-1, urn:eu:apr:case:flight-1, Cash)",
        "right_to_written_notice(urn:eu:apr:case:passenger-1, urn:eu:apr:case:flight-1)",
        "presented_for_boarding(urn:eu:apr:case:passenger-1, urn:eu:apr:case:flight-1)"
      ],
      "derivedOmitted": 4,
      "evaluationStatus": "COMPUTED",
      "issues": [],
      "judgmentRequests": [],
      "proofRef": "urn:proof:query:mcp",
      "provenance": {
        "acts": [
          {
            "contributed": true,
            "fragmentCount": 34,
            "fragments": [
              "urn:eu:transport:clir:air-passenger-rights#EU261_ART_14",
              "urn:eu:transport:clir:air-passenger-rights#EU261_ART_17",
              "urn:eu:transport:clir:air-passenger-rights#EU261_ART_18",
              "urn:eu:transport:clir:air-passenger-rights#EU261_ART_2",
              "urn:eu:transport:clir:air-passenger-rights#EU261_ART_3",
              "urn:eu:transport:clir:air-passenger-rights#EU261_ART_5_P1",
              "urn:eu:transport:clir:air-passenger-rights#EU261_ART_5_P4",
              "urn:eu:transport:clir:air-passenger-rights#EU261_ART_7_P1",
              "urn:eu:transport:clir:air-passenger-rights#EU261_ART_7_P3",
              "urn:eu:transport:clir:air-passenger-rights#EU261_ART_7_P4",
              "urn:eu:transport:clir:air-passenger-rights#EU261_ART_8"
            ],
            "jurisdiction": "EU",
            "namespace": "urn:eu:transport:clir:air-passenger-rights",
            "package": "eu-air-passenger-rights",
            "title": "Регламент (ЕС) № 261/2004 о компенсации и содействии авиапассажирам при отказе в посадке, отмене и длительной задержке рейса — юрисдикция EU, НЕ Республика Казахстан — EXECUTABLE 19 §33.1"
          }
        ],
        "caseHash": "sha256:519f6b156ac4f7afac069fed72c5a8dd8f902d9e8d2b89ebee9babdf40b960f7",
        "codeHash": "sha256:3391f940f07d2abc1a098c8eb7d78e2dea87fce2ffbe29629d536f789d1ae71a",
        "jurisdiction": "Европейский союз",
        "legalTime": "2026-09-28",
        "mode": "audit",
        "programHash": "sha256:3883c6a67e99c208be20df65be7237b0aa2c09d927b162c11836c89eebc905f6",
        "resultHash": "sha256:840fb48aff79bd07efa15b28e0c9c209dc233b93322689c96c016a60dcab03f4",
        "rustCodeHash": "sha256:3391f940f07d2abc1a098c8eb7d78e2dea87fce2ffbe29629d536f789d1ae71a",
        "timezone": "Asia/Qyzylorda"
      },
      "replayControl": {
        "checks": {
          "caseHash": "sha256:519f6b156ac4f7afac069fed72c5a8dd8f902d9e8d2b89ebee9babdf40b960f7",
          "codeHash": "sha256:3391f940f07d2abc1a098c8eb7d78e2dea87fce2ffbe29629d536f789d1ae71a",
          "programHash": "sha256:3883c6a67e99c208be20df65be7237b0aa2c09d927b162c11836c89eebc905f6",
          "resultHash": "sha256:840fb48aff79bd07efa15b28e0c9c209dc233b93322689c96c016a60dcab03f4",
          "rustCodeHash": "sha256:3391f940f07d2abc1a098c8eb7d78e2dea87fce2ffbe29629d536f789d1ae71a"
        },
        "request": {
          "args": [
            "urn:eu:apr:case:passenger-1",
            "urn:eu:apr:case:flight-1",
            "400 EUR"
          ],
          "facts": [
            {
              "args": [
                "urn:eu:apr:case:carrier-1"
              ],
              "predicate": "air_transport_undertaking"
            },
            {
              "args": [
                "urn:eu:apr:case:carrier-1"
              ],
              "predicate": "valid_operating_licence"
            },
            {
              "args": [
                "urn:eu:apr:case:flight-1",
                "urn:eu:apr:case:carrier-1"
              ],
              "predicate": "performs_flight"
            },
            {
              "args": [
                "urn:eu:apr:case:flight-1",
                "urn:eu:apr:case:carrier-1"
              ],
              "predicate": "carriage_contract_with_passenger"
            },
            {
              "args": [
                "urn:eu:apr:case:carrier-1",
                "urn:eu:apr:case:member-state-1"
              ],
              "predicate": "licence_granted_by_member_state"
            },
            {
              "args": [
                "urn:eu:apr:case:passenger-1",
                "urn:eu:apr:case:flight-1"
              ],
              "predicate": "holds_ticket"
            },
            {
              "args": [
                "urn:eu:apr:case:passenger-1",
                "urn:eu:apr:case:flight-1"
              ],
              "predicate": "reservation_accepted_and_registered"
            },
            {
              "args": [
                "urn:eu:apr:case:flight-1"
              ],
              "predicate": "departs_from_member_state_airport"
            },
            {
              "args": [
                "urn:eu:apr:case:passenger-1",
                "urn:eu:apr:case:flight-1"
              ],
              "predicate": "checked_in_as_stipulated"
            },
            {
              "args": [
                "urn:eu:apr:case:flight-1"
              ],
              "predicate": "motorised_fixed_wing_aircraft"
            },
            {
              "args": [
                "urn:eu:apr:case:flight-1"
              ],
              "predicate": "flight_previously_planned"
            },
            {
              "args": [
                "urn:eu:apr:case:flight-1"
              ],
              "predicate": "flight_not_operated"
            },
            {
              "args": [
                "urn:eu:apr:case:flight-1"
              ],
              "predicate": "at_least_one_place_reserved"
            },
            {
              "args": [
                "urn:eu:apr:case:flight-1"
              ],
              "predicate": "distance_taken_to_last_destination"
            },
            {
              "args": [
                "urn:eu:apr:case:flight-1"
              ],
              "predicate": "distance_measured_by_great_circle"
            },
            {
              "args": [
                "urn:eu:apr:case:flight-1",
                2300
              ],
              "predicate": "flight_distance_km"
            },
            {
              "args": [
                "urn:eu:apr:case:flight-1",
                false
              ],
              "predicate": "flight_intra_community"
            },
            {
              "args": [
                "urn:eu:apr:case:flight-1",
                false
              ],
              "predicate": "flight_to_french_overseas_department"
            },
            {
              "args": [
                2300,
                false
              ],
              "predicate": "urn:eu:transport:clir:air-passenger-rights:table:compensation/input"
            }
          ],
          "kind": "truth",
          "legalTime": "2026-09-28",
          "package": "eu-air-passenger-rights",
          "predicate": "compensation_due"
        },
        "responseHash": "sha256:05e5ae99d23c1d44d2b16def2417585657906edc768b1735d6dd2d38bc5ca256",
        "schemaVersion": "law.answers.replay-control/0.1"
      },
      "rulesApplied": [
        "urn:eu:transport:clir:air-passenger-rights#AirCarrierDefinition",
        "urn:eu:transport:clir:air-passenger-rights#ArticleEightChoiceIncludesReimbursement",
        "urn:eu:transport:clir:air-passenger-rights#ArticleEightChoiceIncludesRerouting",
        "urn:eu:transport:clir:air-passenger-rights#CancellationDefinition",
        "urn:eu:transport:clir:air-passenger-rights#CancellationGivesCare",
        "urn:eu:transport:clir:air-passenger-rights#CancellationGivesCompensation",
        "urn:eu:transport:clir:air-passenger-rights#CancellationGivesReimbursementOrRerouting",
        "urn:eu:transport:clir:air-passenger-rights#CommunityCarrierDefinition",
        "urn:eu:transport:clir:air-passenger-rights#CompensationDueByDistanceBand",
        "urn:eu:transport:clir:air-passenger-rights#DepartureFromUnionGround",
        "urn:eu:transport:clir:air-passenger-rights#DistanceBasisValid",
        "urn:eu:transport:clir:air-passenger-rights#OperatingCarrierPerformsUnderOwnContract",
        "urn:eu:transport:clir:air-passenger-rights#PassengerUninformedUnlessCarrierProves/R1",
        "urn:eu:transport:clir:air-passenger-rights#PaymentMeansWithoutAgreementPermitted",
        "urn:eu:transport:clir:air-passenger-rights#PresentedAtStipulatedTime",
        "urn:eu:transport:clir:air-passenger-rights#PriorRegulationRepealed",
        "urn:eu:transport:clir:air-passenger-rights#RegulationAppliesWithinScope",
        "urn:eu:transport:clir:air-passenger-rights#ReservationFromTicketAndRegistration",
        "urn:eu:transport:clir:air-passenger-rights#ScopeGroundDepartureFromUnion",
        "urn:eu:transport:clir:air-passenger-rights#WithinScopeOnCancelledFlight",
        "urn:eu:transport:clir:air-passenger-rights#WithinScopeOnPresentedPassenger",
        "urn:eu:transport:clir:air-passenger-rights#WrittenNoticeOnCancellation",
        "urn:eu:transport:clir:air-passenger-rights:table:compensation/row/other-1500-to-3500"
      ],
      "signature": {
        "constants": {},
        "parameters": [
          {
            "labels": [],
            "name": "p",
            "type": {
              "name": "urn:eu:transport:clir:air-passenger-rights#Passenger"
            }
          },
          {
            "labels": [],
            "name": "f",
            "type": {
              "name": "urn:eu:transport:clir:air-passenger-rights#Flight"
            }
          },
          {
            "labels": [],
            "name": "amount",
            "type": {
              "name": "urn:law:std#Money"
            }
          }
        ],
        "predicate": "urn:eu:transport:clir:air-passenger-rights#compensation_due",
        "schemaVersion": "law.answers.signature/0.1",
        "types": {
          "urn:eu:transport:clir:air-passenger-rights#Flight": {
            "kind": "entity",
            "labels": [
              {
                "language": "en",
                "status": "official",
                "text": "flight"
              }
            ],
            "namespace": "urn:eu:transport:clir:air-passenger-rights",
            "package": "eu.transport.air_passenger_rights"
          },
          "urn:eu:transport:clir:air-passenger-rights#Passenger": {
            "kind": "entity",
            "labels": [
              {
                "language": "en",
                "status": "official",
                "text": "passenger"
              }
            ],
            "namespace": "urn:eu:transport:clir:air-passenger-rights",
            "package": "eu.transport.air_passenger_rights"
          },
          "urn:law:std#Money": {
            "kind": "std"
          }
        },
        "vocab": {}
      },
      "vulnerableTo": [
        {
          "anchors": [
            "urn:eu:transport:clir:air-passenger-rights#EU261_ART_19"
          ],
          "label": "Article 19. This Regulation, entering into force on 17 February 2005, does not apply to a flight scheduled to depart before that day",
          "missing": [
            "… > 0",
            "scheduled_departure_date(urn:eu:apr:case:flight-1, v2)"
          ],
          "premises": [
            {
              "note": "терм-гард: операнды не связаны фактами",
              "premise": "… > 0",
              "status": "DEPENDS"
            },
            {
              "premise": "within_scope_but_for_exclusions(urn:eu:apr:case:passenger-1, urn:eu:apr:case:flight-1)",
              "status": "TRUE_ONLY"
            },
            {
              "note": "зависит от несвязанной переменной",
              "premise": "scheduled_departure_date(urn:eu:apr:case:flight-1, v2)",
              "status": "DEPENDS"
            }
          ],
          "rule": "FlightBeforeEntryIntoForceOutsideScope"
        },
        {
          "anchors": [
            "urn:eu:transport:clir:air-passenger-rights#EU261_ART_5_P3"
          ],
          "label": "Article 5(3). The exemption of the operating air carrier removes the passenger's right to compensation for that cancellation",
          "missing": [
            "carrier_exempt_from_compensation(urn:eu:apr:case:flight-1)"
          ],
          "premises": [
            {
              "premise": "regulation_applies(urn:eu:apr:case:passenger-1, urn:eu:apr:case:flight-1)",
              "status": "TRUE_ONLY"
            },
            {
              "premise": "cancellation(urn:eu:apr:case:flight-1)",
              "status": "TRUE_ONLY"
            },
            {
              "premise": "carrier_exempt_from_compensation(urn:eu:apr:case:flight-1)",
              "status": "NEITHER"
            }
          ],
          "rule": "ExtraordinaryCircumstancesDefeatCompensation"
        },
        {
          "anchors": [
            "urn:eu:transport:clir:air-passenger-rights#EU261_ART_3"
          ],
          "label": "Article 3(3). This Regulation does not apply to passengers travelling free of charge or at a reduced fare not available directly or indirectly to the public",
          "missing": [
            "travelling_free_or_reduced_fare_not_public(urn:eu:apr:case:passenger-1, urn:eu:apr:case:flight-1)"
          ],
          "premises": [
            {
              "premise": "within_scope_but_for_exclusions(urn:eu:apr:case:passenger-1, urn:eu:apr:case:flight-1)",
              "status": "TRUE_ONLY"
            },
            {
              "premise": "travelling_free_or_reduced_fare_not_public(urn:eu:apr:case:passenger-1, urn:eu:apr:case:flight-1)",
              "status": "NEITHER"
            }
          ],
          "rule": "FreeOrReducedFareOutsideScope"
        }
      ],
      "whyNot": []
    }
  }
}