Проверка условия
Procedural vote: the decision is adopted
Результат расчёта
Установлено
Исходные параметры
Что определяем
the Security Council decision is adopted
Исходные факты
Decision (of the Security Council or the General Assembly)
d: dОбщий субъект фактов ниже
the decision is on a procedural matter (Art. 27, para. 2)
the State casts a vote in favour (Art. 18, Art. 27)
s france uk us m0 m1 m2 m3 m4 m5 the State abstains (Art. 27, para. 3)
s: soviet
Исходные данные · JSON
{
"args": [
{
"id": "urn:law:examples:un-charter:same-vote:procedural",
"kind": "entity_ref"
}
],
"facts": [
{
"args": [
{
"id": "urn:law:examples:un-charter:same-vote#d",
"kind": "const_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:un:corpus:clir:charter#procedural_matter"
},
{
"args": [
{
"id": "urn:law:examples:un-charter:same-vote#d",
"kind": "const_ref"
},
{
"id": "urn:law:examples:un-charter:same-vote#france",
"kind": "const_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:un:corpus:clir:charter#casts_vote_for"
},
{
"args": [
{
"id": "urn:law:examples:un-charter:same-vote#d",
"kind": "const_ref"
},
{
"id": "urn:law:examples:un-charter:same-vote#uk",
"kind": "const_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:un:corpus:clir:charter#casts_vote_for"
},
{
"args": [
{
"id": "urn:law:examples:un-charter:same-vote#d",
"kind": "const_ref"
},
{
"id": "urn:law:examples:un-charter:same-vote#us",
"kind": "const_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:un:corpus:clir:charter#casts_vote_for"
},
{
"args": [
{
"id": "urn:law:examples:un-charter:same-vote#d",
"kind": "const_ref"
},
{
"id": "urn:law:examples:un-charter:same-vote#m0",
"kind": "const_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:un:corpus:clir:charter#casts_vote_for"
},
{
"args": [
{
"id": "urn:law:examples:un-charter:same-vote#d",
"kind": "const_ref"
},
{
"id": "urn:law:examples:un-charter:same-vote#m1",
"kind": "const_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:un:corpus:clir:charter#casts_vote_for"
},
{
"args": [
{
"id": "urn:law:examples:un-charter:same-vote#d",
"kind": "const_ref"
},
{
"id": "urn:law:examples:un-charter:same-vote#m2",
"kind": "const_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:un:corpus:clir:charter#casts_vote_for"
},
{
"args": [
{
"id": "urn:law:examples:un-charter:same-vote#d",
"kind": "const_ref"
},
{
"id": "urn:law:examples:un-charter:same-vote#m3",
"kind": "const_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:un:corpus:clir:charter#casts_vote_for"
},
{
"args": [
{
"id": "urn:law:examples:un-charter:same-vote#d",
"kind": "const_ref"
},
{
"id": "urn:law:examples:un-charter:same-vote#m4",
"kind": "const_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:un:corpus:clir:charter#casts_vote_for"
},
{
"args": [
{
"id": "urn:law:examples:un-charter:same-vote#d",
"kind": "const_ref"
},
{
"id": "urn:law:examples:un-charter:same-vote#m5",
"kind": "const_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:un:corpus:clir:charter#casts_vote_for"
},
{
"args": [
{
"id": "urn:law:examples:un-charter:same-vote#d",
"kind": "const_ref"
},
{
"id": "urn:law:examples:un-charter:same-vote#soviet",
"kind": "const_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:un:corpus:clir:charter#abstains"
}
],
"kind": "truth",
"legalTime": "2026-01-01",
"predicate": "urn:un:corpus:clir:charter#decision_adopted"
}Почему такой результатПрименённые правила и условия
Путь вывода12 шагов
- 1факт дела
the State casts a vote in favour (Art. 18, Art. 27)
d: urn:law:examples:un-charter:same-vote:procedural; s: France State
- 2факт дела
the State casts a vote in favour (Art. 18, Art. 27)
d: urn:law:examples:un-charter:same-vote:procedural; s: urn:law:examples:un-charter:same-vote:m0
- 3факт дела
the State casts a vote in favour (Art. 18, Art. 27)
d: urn:law:examples:un-charter:same-vote:procedural; s: urn:law:examples:un-charter:same-vote:m1
- 4факт дела
the State casts a vote in favour (Art. 18, Art. 27)
d: urn:law:examples:un-charter:same-vote:procedural; s: urn:law:examples:un-charter:same-vote:m2
- 5факт дела
the State casts a vote in favour (Art. 18, Art. 27)
d: urn:law:examples:un-charter:same-vote:procedural; s: urn:law:examples:un-charter:same-vote:m3
- 6факт дела
the State casts a vote in favour (Art. 18, Art. 27)
d: urn:law:examples:un-charter:same-vote:procedural; s: urn:law:examples:un-charter:same-vote:m4
- 7факт дела
the State casts a vote in favour (Art. 18, Art. 27)
d: urn:law:examples:un-charter:same-vote:procedural; s: urn:law:examples:un-charter:same-vote:m5
- 8факт дела
the decision is on a procedural matter (Art. 27, para. 2)
d: urn:law:examples:un-charter:same-vote:procedural
- 9факт дела
the State casts a vote in favour (Art. 18, Art. 27)
d: urn:law:examples:un-charter:same-vote:procedural; s: United Kingdom State
- 10факт дела
the State casts a vote in favour (Art. 18, Art. 27)
d: urn:law:examples:un-charter:same-vote:procedural; s: United States State
- 11правило
Article 27, paragraph 2. Decisions of the Security Council on procedural matters shall be made by an affirmative vote of nine members.
the Security Council decision is adopted: d: urn:law:examples:un-charter:same-vote:procedural
ст. 27
Идентификатор
urn:un:corpus:clir:charter#ProceduralDecisionAdopted - 12запрос
Вычисление запроса
проверено движком: 2 · факт дела: 10 · Полный граф: 22 узлов
Шаги сохранённого доказательства от фактов дела к ответу. Формулы показаны как записаны в норме, с подставленными значениями; страница ничего не пересчитывает.
Основание этого ответа
Правила из сохранённой цепочки доказательства ответа.
un.charter
Article 27, paragraph 2. Decisions of the Security Council on procedural matters shall be made by an affirmative vote of nine members.
Идентификатор
urn:un:corpus:clir:charter#ProceduralDecisionAdopted
Другие правила расчёта1
Применены в общем расчёте, но не входят в цепочку доказательства этого ответа.
un.charter
The letter of Article 23: the five named States hold a permanent seat
Идентификатор
urn:un:corpus:clir:charter#LiteralPermanentMemberHoldsSeat
Граф доказательств
Узлы доказательств: 22 · assertion 15, rule_application 6, query_evaluation 1
assertion · urn:proof:assert:urn:law:examples:un-charter:same-vote#fr
- attributes
- assertion
- fr
- conclusion
- Аргументы
- Идентификатор
- procedural
- Тип
- entity_ref
- Идентификатор
- FranceState
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- casts_vote_for
- evidence
- —
- Идентификатор
- fr
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:law:examples:un-charter:same-vote#m0
- attributes
- assertion
- m0
- conclusion
- Аргументы
- Идентификатор
- procedural
- Тип
- entity_ref
- Идентификатор
- m0
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- casts_vote_for
- evidence
- —
- Идентификатор
- m0
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:law:examples:un-charter:same-vote#m1
- attributes
- assertion
- m1
- conclusion
- Аргументы
- Идентификатор
- procedural
- Тип
- entity_ref
- Идентификатор
- m1
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- casts_vote_for
- evidence
- —
- Идентификатор
- m1
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:law:examples:un-charter:same-vote#m2
- attributes
- assertion
- m2
- conclusion
- Аргументы
- Идентификатор
- procedural
- Тип
- entity_ref
- Идентификатор
- m2
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- casts_vote_for
- evidence
- —
- Идентификатор
- m2
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:law:examples:un-charter:same-vote#m3
- attributes
- assertion
- m3
- conclusion
- Аргументы
- Идентификатор
- procedural
- Тип
- entity_ref
- Идентификатор
- m3
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- casts_vote_for
- evidence
- —
- Идентификатор
- m3
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:law:examples:un-charter:same-vote#m4
- attributes
- assertion
- m4
- conclusion
- Аргументы
- Идентификатор
- procedural
- Тип
- entity_ref
- Идентификатор
- m4
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- casts_vote_for
- evidence
- —
- Идентификатор
- m4
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:law:examples:un-charter:same-vote#m5
- attributes
- assertion
- m5
- conclusion
- Аргументы
- Идентификатор
- procedural
- Тип
- entity_ref
- Идентификатор
- m5
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- casts_vote_for
- evidence
- —
- Идентификатор
- m5
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:law:examples:un-charter:same-vote#procedural
- attributes
- assertion
- procedural
- conclusion
- Аргументы
- Идентификатор
- procedural
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- procedural_matter
- evidence
- —
- Идентификатор
- procedural
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:law:examples:un-charter:same-vote#uk
- attributes
- assertion
- uk
- conclusion
- Аргументы
- Идентификатор
- procedural
- Тип
- entity_ref
- Идентификатор
- UnitedKingdomState
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- casts_vote_for
- evidence
- —
- Идентификатор
- uk
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:law:examples:un-charter:same-vote#us
- attributes
- assertion
- us
- conclusion
- Аргументы
- Идентификатор
- procedural
- Тип
- entity_ref
- Идентификатор
- UnitedStatesState
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- casts_vote_for
- evidence
- —
- Идентификатор
- us
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
rule_application · urn:proof:apply:ProceduralDecisionAdopted:ecf3ae070b6fea45f81712b543c968f84457703d01a48e0ee9b6564f33a5f615
- attributes
- —
- conclusion
- Аргументы
- Идентификатор
- procedural
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- decision_adopted
- evidence
- —
- Идентификатор
- ecf3ae070b6fea45f81712b543c968f84457703d01a48e0ee9b6564f33a5f615
- Тип
- rule_application
- Посылки
- fr
- m0
- m1
- m2
- m3
- m4
- m5
- procedural
- uk
- us
- Правило
- ProceduralDecisionAdopted
- sourceAnchors
- —
- substitution
- v0
- Идентификатор
- procedural
- Тип
- entity_ref
assertion · urn:proof:assert:urn:un:corpus:clir:charter#assert-h16351e0bed59b62494f1c5210d0fd5a006de40ee549557096968b0b2c2e81693
- attributes
- assertion
- assert-h16351e0bed59b62494f1c5210d0fd5a006de40ee549557096968b0b2c2e81693
- conclusion
- Аргументы
- Идентификатор
- FranceState
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- permanent_member
- evidence
- —
- Идентификатор
- assert-h16351e0bed59b62494f1c5210d0fd5a006de40ee549557096968b0b2c2e81693
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
rule_application · urn:proof:apply:LiteralPermanentMemberHoldsSeat:e6cdd1b41bb6a401a290db8d3f9e0e3e09802f9c184a1edc05d29d0412a6717f
- attributes
- —
- conclusion
- Аргументы
- Идентификатор
- FranceState
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- permanent_member_seat_held_by
- evidence
- —
- Идентификатор
- e6cdd1b41bb6a401a290db8d3f9e0e3e09802f9c184a1edc05d29d0412a6717f
- Тип
- rule_application
- Посылки
- assert-h16351e0bed59b62494f1c5210d0fd5a006de40ee549557096968b0b2c2e81693
- Правило
- LiteralPermanentMemberHoldsSeat
- sourceAnchors
- —
- substitution
- v0
- Идентификатор
- FranceState
- Тип
- entity_ref
assertion · urn:proof:assert:urn:un:corpus:clir:charter#assert-h1670ff143db3b3d29021dc7ad7985b349772e84c0b76792a3ee656307d221a85
- attributes
- assertion
- assert-h1670ff143db3b3d29021dc7ad7985b349772e84c0b76792a3ee656307d221a85
- conclusion
- Аргументы
- Идентификатор
- SovietUnion
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- permanent_member
- evidence
- —
- Идентификатор
- assert-h1670ff143db3b3d29021dc7ad7985b349772e84c0b76792a3ee656307d221a85
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
rule_application · urn:proof:apply:LiteralPermanentMemberHoldsSeat:8b78e920fb454ef68cfd4d28faa95e701383a4945549927ddb0e490175215890
- attributes
- —
- conclusion
- Аргументы
- Идентификатор
- SovietUnion
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- permanent_member_seat_held_by
- evidence
- —
- Идентификатор
- 8b78e920fb454ef68cfd4d28faa95e701383a4945549927ddb0e490175215890
- Тип
- rule_application
- Посылки
- assert-h1670ff143db3b3d29021dc7ad7985b349772e84c0b76792a3ee656307d221a85
- Правило
- LiteralPermanentMemberHoldsSeat
- sourceAnchors
- —
- substitution
- v0
- Идентификатор
- SovietUnion
- Тип
- entity_ref
assertion · urn:proof:assert:urn:un:corpus:clir:charter#assert-h2577471a877f419d16417bc8ce7642e21e0eaa2649933f621cead7f558251c22
- attributes
- assertion
- assert-h2577471a877f419d16417bc8ce7642e21e0eaa2649933f621cead7f558251c22
- conclusion
- Аргументы
- Идентификатор
- UnitedStatesState
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- permanent_member
- evidence
- —
- Идентификатор
- assert-h2577471a877f419d16417bc8ce7642e21e0eaa2649933f621cead7f558251c22
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
rule_application · urn:proof:apply:LiteralPermanentMemberHoldsSeat:a2e3e604e9de005e17c81a51ce629be98e8e9e509a506046e0cde52b32321222
- attributes
- —
- conclusion
- Аргументы
- Идентификатор
- UnitedStatesState
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- permanent_member_seat_held_by
- evidence
- —
- Идентификатор
- a2e3e604e9de005e17c81a51ce629be98e8e9e509a506046e0cde52b32321222
- Тип
- rule_application
- Посылки
- assert-h2577471a877f419d16417bc8ce7642e21e0eaa2649933f621cead7f558251c22
- Правило
- LiteralPermanentMemberHoldsSeat
- sourceAnchors
- —
- substitution
- v0
- Идентификатор
- UnitedStatesState
- Тип
- entity_ref
assertion · urn:proof:assert:urn:un:corpus:clir:charter#assert-h5c5d3b5c9ef348f54b5802f708fcfb08ffdf58f3b19d9f2957124cc18c49ca25
- attributes
- assertion
- assert-h5c5d3b5c9ef348f54b5802f708fcfb08ffdf58f3b19d9f2957124cc18c49ca25
- conclusion
- Аргументы
- Идентификатор
- RepublicOfChina
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- permanent_member
- evidence
- —
- Идентификатор
- assert-h5c5d3b5c9ef348f54b5802f708fcfb08ffdf58f3b19d9f2957124cc18c49ca25
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
rule_application · urn:proof:apply:LiteralPermanentMemberHoldsSeat:4b1a6f6f8748646d22693b4c086f59515bea5071b14cc9f60294942b421440aa
- attributes
- —
- conclusion
- Аргументы
- Идентификатор
- RepublicOfChina
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- permanent_member_seat_held_by
- evidence
- —
- Идентификатор
- 4b1a6f6f8748646d22693b4c086f59515bea5071b14cc9f60294942b421440aa
- Тип
- rule_application
- Посылки
- assert-h5c5d3b5c9ef348f54b5802f708fcfb08ffdf58f3b19d9f2957124cc18c49ca25
- Правило
- LiteralPermanentMemberHoldsSeat
- sourceAnchors
- —
- substitution
- v0
- Идентификатор
- RepublicOfChina
- Тип
- entity_ref
assertion · urn:proof:assert:urn:un:corpus:clir:charter#assert-h95b1a57a07a53f49ec8dcbb91c442be4fdf9ca5f19fb2fa7ee84192725768c7a
- attributes
- assertion
- assert-h95b1a57a07a53f49ec8dcbb91c442be4fdf9ca5f19fb2fa7ee84192725768c7a
- conclusion
- Аргументы
- Идентификатор
- UnitedKingdomState
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- permanent_member
- evidence
- —
- Идентификатор
- assert-h95b1a57a07a53f49ec8dcbb91c442be4fdf9ca5f19fb2fa7ee84192725768c7a
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
rule_application · urn:proof:apply:LiteralPermanentMemberHoldsSeat:ce60c6e3d670f6229c478e6f4fa5860728de789f588132e65e8a1127d110648f
- attributes
- —
- conclusion
- Аргументы
- Идентификатор
- UnitedKingdomState
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- permanent_member_seat_held_by
- evidence
- —
- Идентификатор
- ce60c6e3d670f6229c478e6f4fa5860728de789f588132e65e8a1127d110648f
- Тип
- rule_application
- Посылки
- assert-h95b1a57a07a53f49ec8dcbb91c442be4fdf9ca5f19fb2fa7ee84192725768c7a
- Правило
- LiteralPermanentMemberHoldsSeat
- sourceAnchors
- —
- substitution
- v0
- Идентификатор
- UnitedKingdomState
- Тип
- entity_ref
query_evaluation · urn:proof:query:same-vote#case/ProceduralNineFor/query/decision-adopted-procedural
- attributes
- —
- conclusion
- literal
- Аргументы
- Идентификатор
- procedural
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- decision_adopted
- truthStatus
- Установлено
- evidence
- —
- Идентификатор
- case/ProceduralNineFor/query/decision-adopted-procedural
- Тип
- query_evaluation
- Посылки
- ecf3ae070b6fea45f81712b543c968f84457703d01a48e0ee9b6564f33a5f615
- sourceAnchors
- —
Идентификаторы календаря и доказательства
- Ссылка на доказательство
- case/ProceduralNineFor/query/decision-adopted-procedural
Исходное обоснование · JSON
{
"evaluation": {
"conflicts": [],
"issues": [],
"manifest": {
"artifactHash": "sha256:0767659ce1336a603665167add3678052c57846e4619007a6ccdc6398fcf294e",
"calendarSnapshot": "",
"caseHash": "sha256:1f67054f049ffdc7e642488912ebfd3e0f3d27a06f383220673bf3a4531fb783",
"decisionTime": "2026-01-01T12:00:00Z",
"evidenceSnapshotHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
"externalSnapshots": {},
"id": "urn:manifest:oracle-1",
"interpretations": [],
"knowledgeTime": "2026-01-01T12:00:00Z",
"legalTime": "2026-01-01",
"lockfileHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
"mode": "audit",
"policies": {},
"programHash": "sha256:53761165015b682383430aa74b59233f973da8e16ffe719420f98edd8b25519d",
"resolvedEditions": {},
"semanticHash": "sha256:3cf0568970e1a06c5498d2ee5503776286b0db7486adea19f9581089911be5da",
"semantics": "law.core/0.2.1",
"theoryHash": "sha256:53761165015b682383430aa74b59233f973da8e16ffe719420f98edd8b25519d",
"timezone": "UTC"
},
"positions": [],
"proofGraph": {
"nodes": [
{
"attributes": {
"assertion": "urn:law:examples:un-charter:same-vote#fr"
},
"conclusion": {
"args": [
{
"id": "urn:law:examples:un-charter:same-vote:procedural",
"kind": "entity_ref"
},
{
"id": "urn:un:corpus:clir:charter#FranceState",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#casts_vote_for"
},
"evidence": [],
"id": "urn:proof:assert:urn:law:examples:un-charter:same-vote#fr",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:law:examples:un-charter:same-vote#m0"
},
"conclusion": {
"args": [
{
"id": "urn:law:examples:un-charter:same-vote:procedural",
"kind": "entity_ref"
},
{
"id": "urn:law:examples:un-charter:same-vote:m0",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#casts_vote_for"
},
"evidence": [],
"id": "urn:proof:assert:urn:law:examples:un-charter:same-vote#m0",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:law:examples:un-charter:same-vote#m1"
},
"conclusion": {
"args": [
{
"id": "urn:law:examples:un-charter:same-vote:procedural",
"kind": "entity_ref"
},
{
"id": "urn:law:examples:un-charter:same-vote:m1",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#casts_vote_for"
},
"evidence": [],
"id": "urn:proof:assert:urn:law:examples:un-charter:same-vote#m1",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:law:examples:un-charter:same-vote#m2"
},
"conclusion": {
"args": [
{
"id": "urn:law:examples:un-charter:same-vote:procedural",
"kind": "entity_ref"
},
{
"id": "urn:law:examples:un-charter:same-vote:m2",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#casts_vote_for"
},
"evidence": [],
"id": "urn:proof:assert:urn:law:examples:un-charter:same-vote#m2",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:law:examples:un-charter:same-vote#m3"
},
"conclusion": {
"args": [
{
"id": "urn:law:examples:un-charter:same-vote:procedural",
"kind": "entity_ref"
},
{
"id": "urn:law:examples:un-charter:same-vote:m3",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#casts_vote_for"
},
"evidence": [],
"id": "urn:proof:assert:urn:law:examples:un-charter:same-vote#m3",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:law:examples:un-charter:same-vote#m4"
},
"conclusion": {
"args": [
{
"id": "urn:law:examples:un-charter:same-vote:procedural",
"kind": "entity_ref"
},
{
"id": "urn:law:examples:un-charter:same-vote:m4",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#casts_vote_for"
},
"evidence": [],
"id": "urn:proof:assert:urn:law:examples:un-charter:same-vote#m4",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:law:examples:un-charter:same-vote#m5"
},
"conclusion": {
"args": [
{
"id": "urn:law:examples:un-charter:same-vote:procedural",
"kind": "entity_ref"
},
{
"id": "urn:law:examples:un-charter:same-vote:m5",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#casts_vote_for"
},
"evidence": [],
"id": "urn:proof:assert:urn:law:examples:un-charter:same-vote#m5",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:law:examples:un-charter:same-vote#procedural"
},
"conclusion": {
"args": [
{
"id": "urn:law:examples:un-charter:same-vote:procedural",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#procedural_matter"
},
"evidence": [],
"id": "urn:proof:assert:urn:law:examples:un-charter:same-vote#procedural",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:law:examples:un-charter:same-vote#uk"
},
"conclusion": {
"args": [
{
"id": "urn:law:examples:un-charter:same-vote:procedural",
"kind": "entity_ref"
},
{
"id": "urn:un:corpus:clir:charter#UnitedKingdomState",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#casts_vote_for"
},
"evidence": [],
"id": "urn:proof:assert:urn:law:examples:un-charter:same-vote#uk",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:law:examples:un-charter:same-vote#us"
},
"conclusion": {
"args": [
{
"id": "urn:law:examples:un-charter:same-vote:procedural",
"kind": "entity_ref"
},
{
"id": "urn:un:corpus:clir:charter#UnitedStatesState",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#casts_vote_for"
},
"evidence": [],
"id": "urn:proof:assert:urn:law:examples:un-charter:same-vote#us",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:law:examples:un-charter:same-vote:procedural",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#decision_adopted"
},
"evidence": [],
"id": "urn:proof:apply:ProceduralDecisionAdopted:ecf3ae070b6fea45f81712b543c968f84457703d01a48e0ee9b6564f33a5f615",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:law:examples:un-charter:same-vote#fr",
"urn:proof:assert:urn:law:examples:un-charter:same-vote#m0",
"urn:proof:assert:urn:law:examples:un-charter:same-vote#m1",
"urn:proof:assert:urn:law:examples:un-charter:same-vote#m2",
"urn:proof:assert:urn:law:examples:un-charter:same-vote#m3",
"urn:proof:assert:urn:law:examples:un-charter:same-vote#m4",
"urn:proof:assert:urn:law:examples:un-charter:same-vote#m5",
"urn:proof:assert:urn:law:examples:un-charter:same-vote#procedural",
"urn:proof:assert:urn:law:examples:un-charter:same-vote#uk",
"urn:proof:assert:urn:law:examples:un-charter:same-vote#us"
],
"rule": "urn:un:corpus:clir:charter#ProceduralDecisionAdopted",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:law:examples:un-charter:same-vote:procedural",
"kind": "entity_ref"
}
}
},
{
"attributes": {
"assertion": "urn:un:corpus:clir:charter#assert-h16351e0bed59b62494f1c5210d0fd5a006de40ee549557096968b0b2c2e81693"
},
"conclusion": {
"args": [
{
"id": "urn:un:corpus:clir:charter#FranceState",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#permanent_member"
},
"evidence": [],
"id": "urn:proof:assert:urn:un:corpus:clir:charter#assert-h16351e0bed59b62494f1c5210d0fd5a006de40ee549557096968b0b2c2e81693",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:un:corpus:clir:charter#FranceState",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#permanent_member_seat_held_by"
},
"evidence": [],
"id": "urn:proof:apply:LiteralPermanentMemberHoldsSeat:e6cdd1b41bb6a401a290db8d3f9e0e3e09802f9c184a1edc05d29d0412a6717f",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:un:corpus:clir:charter#assert-h16351e0bed59b62494f1c5210d0fd5a006de40ee549557096968b0b2c2e81693"
],
"rule": "urn:un:corpus:clir:charter#LiteralPermanentMemberHoldsSeat",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:un:corpus:clir:charter#FranceState",
"kind": "entity_ref"
}
}
},
{
"attributes": {
"assertion": "urn:un:corpus:clir:charter#assert-h1670ff143db3b3d29021dc7ad7985b349772e84c0b76792a3ee656307d221a85"
},
"conclusion": {
"args": [
{
"id": "urn:un:corpus:clir:charter#SovietUnion",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#permanent_member"
},
"evidence": [],
"id": "urn:proof:assert:urn:un:corpus:clir:charter#assert-h1670ff143db3b3d29021dc7ad7985b349772e84c0b76792a3ee656307d221a85",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:un:corpus:clir:charter#SovietUnion",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#permanent_member_seat_held_by"
},
"evidence": [],
"id": "urn:proof:apply:LiteralPermanentMemberHoldsSeat:8b78e920fb454ef68cfd4d28faa95e701383a4945549927ddb0e490175215890",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:un:corpus:clir:charter#assert-h1670ff143db3b3d29021dc7ad7985b349772e84c0b76792a3ee656307d221a85"
],
"rule": "urn:un:corpus:clir:charter#LiteralPermanentMemberHoldsSeat",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:un:corpus:clir:charter#SovietUnion",
"kind": "entity_ref"
}
}
},
{
"attributes": {
"assertion": "urn:un:corpus:clir:charter#assert-h2577471a877f419d16417bc8ce7642e21e0eaa2649933f621cead7f558251c22"
},
"conclusion": {
"args": [
{
"id": "urn:un:corpus:clir:charter#UnitedStatesState",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#permanent_member"
},
"evidence": [],
"id": "urn:proof:assert:urn:un:corpus:clir:charter#assert-h2577471a877f419d16417bc8ce7642e21e0eaa2649933f621cead7f558251c22",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:un:corpus:clir:charter#UnitedStatesState",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#permanent_member_seat_held_by"
},
"evidence": [],
"id": "urn:proof:apply:LiteralPermanentMemberHoldsSeat:a2e3e604e9de005e17c81a51ce629be98e8e9e509a506046e0cde52b32321222",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:un:corpus:clir:charter#assert-h2577471a877f419d16417bc8ce7642e21e0eaa2649933f621cead7f558251c22"
],
"rule": "urn:un:corpus:clir:charter#LiteralPermanentMemberHoldsSeat",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:un:corpus:clir:charter#UnitedStatesState",
"kind": "entity_ref"
}
}
},
{
"attributes": {
"assertion": "urn:un:corpus:clir:charter#assert-h5c5d3b5c9ef348f54b5802f708fcfb08ffdf58f3b19d9f2957124cc18c49ca25"
},
"conclusion": {
"args": [
{
"id": "urn:un:corpus:clir:charter#RepublicOfChina",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#permanent_member"
},
"evidence": [],
"id": "urn:proof:assert:urn:un:corpus:clir:charter#assert-h5c5d3b5c9ef348f54b5802f708fcfb08ffdf58f3b19d9f2957124cc18c49ca25",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:un:corpus:clir:charter#RepublicOfChina",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#permanent_member_seat_held_by"
},
"evidence": [],
"id": "urn:proof:apply:LiteralPermanentMemberHoldsSeat:4b1a6f6f8748646d22693b4c086f59515bea5071b14cc9f60294942b421440aa",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:un:corpus:clir:charter#assert-h5c5d3b5c9ef348f54b5802f708fcfb08ffdf58f3b19d9f2957124cc18c49ca25"
],
"rule": "urn:un:corpus:clir:charter#LiteralPermanentMemberHoldsSeat",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:un:corpus:clir:charter#RepublicOfChina",
"kind": "entity_ref"
}
}
},
{
"attributes": {
"assertion": "urn:un:corpus:clir:charter#assert-h95b1a57a07a53f49ec8dcbb91c442be4fdf9ca5f19fb2fa7ee84192725768c7a"
},
"conclusion": {
"args": [
{
"id": "urn:un:corpus:clir:charter#UnitedKingdomState",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#permanent_member"
},
"evidence": [],
"id": "urn:proof:assert:urn:un:corpus:clir:charter#assert-h95b1a57a07a53f49ec8dcbb91c442be4fdf9ca5f19fb2fa7ee84192725768c7a",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:un:corpus:clir:charter#UnitedKingdomState",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#permanent_member_seat_held_by"
},
"evidence": [],
"id": "urn:proof:apply:LiteralPermanentMemberHoldsSeat:ce60c6e3d670f6229c478e6f4fa5860728de789f588132e65e8a1127d110648f",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:un:corpus:clir:charter#assert-h95b1a57a07a53f49ec8dcbb91c442be4fdf9ca5f19fb2fa7ee84192725768c7a"
],
"rule": "urn:un:corpus:clir:charter#LiteralPermanentMemberHoldsSeat",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:un:corpus:clir:charter#UnitedKingdomState",
"kind": "entity_ref"
}
}
},
{
"attributes": {},
"conclusion": {
"literal": {
"args": [
{
"id": "urn:law:examples:un-charter:same-vote:procedural",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#decision_adopted"
},
"truthStatus": "TRUE_ONLY"
},
"evidence": [],
"id": "urn:proof:query:same-vote#case/ProceduralNineFor/query/decision-adopted-procedural",
"kind": "query_evaluation",
"premises": [
"urn:proof:apply:ProceduralDecisionAdopted:ecf3ae070b6fea45f81712b543c968f84457703d01a48e0ee9b6564f33a5f615"
],
"sourceAnchors": []
}
],
"proofHash": "sha256:d5afcbd4f5ed639e1c852efb8a92b6aa2384178363b432795b76c294e268af0c",
"roots": [
"urn:proof:query:same-vote#case/ProceduralNineFor/query/decision-adopted-procedural"
]
},
"resultHash": "sha256:fe9c532d0c3705c6cc77d762e5420dfcb2fb09439b5ce60c320aa415b1e43eb7",
"results": [
{
"conflicts": [],
"evaluationStatus": "COMPUTED",
"evidence": [],
"id": "urn:result:same-vote#case/ProceduralNineFor/query/decision-adopted-procedural",
"judgmentRequests": [],
"manifest": "urn:manifest:oracle-1",
"missingInputs": [],
"normativeStatusSupports": [],
"proof": "urn:proof:query:same-vote#case/ProceduralNineFor/query/decision-adopted-procedural",
"query": "urn:law:examples:un-charter:same-vote#case/ProceduralNineFor/query/decision-adopted-procedural",
"resultKind": "PROPOSITION",
"sourceAnchors": [],
"target": "urn:un:corpus:clir:charter#decision_adopted",
"truthStatus": "TRUE_ONLY"
}
],
"schemaVersion": "law.core.evaluation/0.2"
},
"proofRef": "urn:proof:query:same-vote#case/ProceduralNineFor/query/decision-adopted-procedural",
"rulesApplied": [
"urn:un:corpus:clir:charter#LiteralPermanentMemberHoldsSeat",
"urn:un:corpus:clir:charter#ProceduralDecisionAdopted"
]
}ИсточникиФрагментов: 2
Статья 23
Article 23 The Security Council shall consist of fifteen Members of the United Nations. The Republic of China, France, the Union of Soviet Socialist Republics, the United Kingdom of Great Britain and Northern Ireland, and the United States of America shall be permanent members of the Security Council. The General Assembly shall elect ten other Members of the United Nations to be non-permanent members of the Security Council, due regard being specially paid, in the first instance to the contribution of Members of the United Nations to the maintenance of international peace and security and to the other purposes of the Organization, and also to equitable geographical distribution. The non-permanent members of the Security Council shall be elected for a term of two years. In the first election of the non-permanent members after the increase of the membership of the Security Council from eleven to fifteen, two of the four additional members shall be chosen for a term of one year. A retiring member shall not be eligible for immediate re-election. Each member of the Security Council shall have one representative.
Исходные данные · JSON
{
"contentHash": "sha256:7b43f3150e9a17e3213539187ddf364d08bfc106551b59bb6f2062c9769bb2c4",
"edition": "urn:un:corpus:clir:charter#UN_CHARTER_EN",
"fragmentKind": "article",
"id": "urn:un:corpus:clir:charter#UNC_EN_ART23",
"kind": "fragment",
"locator": "article/23",
"package": "urn:un:corpus:clir:charter",
"texts": [
{
"contentHash": "sha256:04634bcee8d5f914608d8ed6dce1d8bde70766de1ad6f66aded63661b6cceeb7",
"language": "en",
"status": "official",
"text": "Article 23\nThe Security Council shall consist of fifteen Members of the United Nations. The Republic of China, France, the Union of Soviet Socialist Republics, the United Kingdom of Great Britain and Northern Ireland, and the United States of America shall be permanent members of the Security Council. The General Assembly shall elect ten other Members of the United Nations to be non-permanent members of the Security Council, due regard being specially paid, in the first instance to the contribution of Members of the United Nations to the maintenance of international peace and security and to the other purposes of the Organization, and also to equitable geographical distribution.\nThe non-permanent members of the Security Council shall be elected for a term of two years. In the first election of the non-permanent members after the increase of the membership of the Security Council from eleven to fifteen, two of the four additional members shall be chosen for a term of one year. A retiring member shall not be eligible for immediate re-election.\nEach member of the Security Council shall have one representative."
}
]
}Статья 27
Article 27 Each member of the Security Council shall have one vote. Decisions of the Security Council on procedural matters shall be made by an affirmative vote of nine members. Decisions of the Security Council on all other matters shall be made by an affirmative vote of nine members including the concurring votes of the permanent members; provided that, in decisions under Chapter VI, and under paragraph 3 of Article 52, a party to a dispute shall abstain from voting.
Исходные данные · JSON
{
"contentHash": "sha256:d76f30a3ec91422c1506becd5504f2054bd298551bdef3717ebfbb411ee4fda6",
"edition": "urn:un:corpus:clir:charter#UN_CHARTER_EN",
"fragmentKind": "article",
"id": "urn:un:corpus:clir:charter#UNC_EN_ART27",
"kind": "fragment",
"locator": "article/27",
"package": "urn:un:corpus:clir:charter",
"texts": [
{
"contentHash": "sha256:d2e1200a16b6cc23e35a408e6f305c6a42aec1ae602e3202d05006d4577ea403",
"language": "en",
"status": "official",
"text": "Article 27\nEach member of the Security Council shall have one vote.\nDecisions of the Security Council on procedural matters shall be made by an affirmative vote of nine members.\nDecisions of the Security Council on all other matters shall be made by an affirmative vote of nine members including the concurring votes of the permanent members; provided that, in decisions under Chapter VI, and under paragraph 3 of Article 52, a party to a dispute shall abstain from voting."
}
]
}Пакеты в снимке
- un.charter
Технические данныеПолный ответ, параметры и контрольные суммы
- Статус расчёта
- COMPUTED
Полный ответ движка
Полный машинный результат · JSON
{
"answer": {
"evaluationStatus": "COMPUTED",
"kind": "TRUTH",
"missingInputs": [],
"truthStatus": "TRUE_ONLY"
},
"evaluation": {
"conflicts": [],
"issues": [],
"manifest": {
"artifactHash": "sha256:0767659ce1336a603665167add3678052c57846e4619007a6ccdc6398fcf294e",
"calendarSnapshot": "",
"caseHash": "sha256:1f67054f049ffdc7e642488912ebfd3e0f3d27a06f383220673bf3a4531fb783",
"decisionTime": "2026-01-01T12:00:00Z",
"evidenceSnapshotHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
"externalSnapshots": {},
"id": "urn:manifest:oracle-1",
"interpretations": [],
"knowledgeTime": "2026-01-01T12:00:00Z",
"legalTime": "2026-01-01",
"lockfileHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
"mode": "audit",
"policies": {},
"programHash": "sha256:53761165015b682383430aa74b59233f973da8e16ffe719420f98edd8b25519d",
"resolvedEditions": {},
"semanticHash": "sha256:3cf0568970e1a06c5498d2ee5503776286b0db7486adea19f9581089911be5da",
"semantics": "law.core/0.2.1",
"theoryHash": "sha256:53761165015b682383430aa74b59233f973da8e16ffe719420f98edd8b25519d",
"timezone": "UTC"
},
"positions": [],
"proofGraph": {
"nodes": [
{
"attributes": {
"assertion": "urn:law:examples:un-charter:same-vote#fr"
},
"conclusion": {
"args": [
{
"id": "urn:law:examples:un-charter:same-vote:procedural",
"kind": "entity_ref"
},
{
"id": "urn:un:corpus:clir:charter#FranceState",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#casts_vote_for"
},
"evidence": [],
"id": "urn:proof:assert:urn:law:examples:un-charter:same-vote#fr",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:law:examples:un-charter:same-vote#m0"
},
"conclusion": {
"args": [
{
"id": "urn:law:examples:un-charter:same-vote:procedural",
"kind": "entity_ref"
},
{
"id": "urn:law:examples:un-charter:same-vote:m0",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#casts_vote_for"
},
"evidence": [],
"id": "urn:proof:assert:urn:law:examples:un-charter:same-vote#m0",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:law:examples:un-charter:same-vote#m1"
},
"conclusion": {
"args": [
{
"id": "urn:law:examples:un-charter:same-vote:procedural",
"kind": "entity_ref"
},
{
"id": "urn:law:examples:un-charter:same-vote:m1",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#casts_vote_for"
},
"evidence": [],
"id": "urn:proof:assert:urn:law:examples:un-charter:same-vote#m1",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:law:examples:un-charter:same-vote#m2"
},
"conclusion": {
"args": [
{
"id": "urn:law:examples:un-charter:same-vote:procedural",
"kind": "entity_ref"
},
{
"id": "urn:law:examples:un-charter:same-vote:m2",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#casts_vote_for"
},
"evidence": [],
"id": "urn:proof:assert:urn:law:examples:un-charter:same-vote#m2",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:law:examples:un-charter:same-vote#m3"
},
"conclusion": {
"args": [
{
"id": "urn:law:examples:un-charter:same-vote:procedural",
"kind": "entity_ref"
},
{
"id": "urn:law:examples:un-charter:same-vote:m3",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#casts_vote_for"
},
"evidence": [],
"id": "urn:proof:assert:urn:law:examples:un-charter:same-vote#m3",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:law:examples:un-charter:same-vote#m4"
},
"conclusion": {
"args": [
{
"id": "urn:law:examples:un-charter:same-vote:procedural",
"kind": "entity_ref"
},
{
"id": "urn:law:examples:un-charter:same-vote:m4",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#casts_vote_for"
},
"evidence": [],
"id": "urn:proof:assert:urn:law:examples:un-charter:same-vote#m4",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:law:examples:un-charter:same-vote#m5"
},
"conclusion": {
"args": [
{
"id": "urn:law:examples:un-charter:same-vote:procedural",
"kind": "entity_ref"
},
{
"id": "urn:law:examples:un-charter:same-vote:m5",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#casts_vote_for"
},
"evidence": [],
"id": "urn:proof:assert:urn:law:examples:un-charter:same-vote#m5",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:law:examples:un-charter:same-vote#procedural"
},
"conclusion": {
"args": [
{
"id": "urn:law:examples:un-charter:same-vote:procedural",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#procedural_matter"
},
"evidence": [],
"id": "urn:proof:assert:urn:law:examples:un-charter:same-vote#procedural",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:law:examples:un-charter:same-vote#uk"
},
"conclusion": {
"args": [
{
"id": "urn:law:examples:un-charter:same-vote:procedural",
"kind": "entity_ref"
},
{
"id": "urn:un:corpus:clir:charter#UnitedKingdomState",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#casts_vote_for"
},
"evidence": [],
"id": "urn:proof:assert:urn:law:examples:un-charter:same-vote#uk",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:law:examples:un-charter:same-vote#us"
},
"conclusion": {
"args": [
{
"id": "urn:law:examples:un-charter:same-vote:procedural",
"kind": "entity_ref"
},
{
"id": "urn:un:corpus:clir:charter#UnitedStatesState",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#casts_vote_for"
},
"evidence": [],
"id": "urn:proof:assert:urn:law:examples:un-charter:same-vote#us",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:law:examples:un-charter:same-vote:procedural",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#decision_adopted"
},
"evidence": [],
"id": "urn:proof:apply:ProceduralDecisionAdopted:ecf3ae070b6fea45f81712b543c968f84457703d01a48e0ee9b6564f33a5f615",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:law:examples:un-charter:same-vote#fr",
"urn:proof:assert:urn:law:examples:un-charter:same-vote#m0",
"urn:proof:assert:urn:law:examples:un-charter:same-vote#m1",
"urn:proof:assert:urn:law:examples:un-charter:same-vote#m2",
"urn:proof:assert:urn:law:examples:un-charter:same-vote#m3",
"urn:proof:assert:urn:law:examples:un-charter:same-vote#m4",
"urn:proof:assert:urn:law:examples:un-charter:same-vote#m5",
"urn:proof:assert:urn:law:examples:un-charter:same-vote#procedural",
"urn:proof:assert:urn:law:examples:un-charter:same-vote#uk",
"urn:proof:assert:urn:law:examples:un-charter:same-vote#us"
],
"rule": "urn:un:corpus:clir:charter#ProceduralDecisionAdopted",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:law:examples:un-charter:same-vote:procedural",
"kind": "entity_ref"
}
}
},
{
"attributes": {
"assertion": "urn:un:corpus:clir:charter#assert-h16351e0bed59b62494f1c5210d0fd5a006de40ee549557096968b0b2c2e81693"
},
"conclusion": {
"args": [
{
"id": "urn:un:corpus:clir:charter#FranceState",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#permanent_member"
},
"evidence": [],
"id": "urn:proof:assert:urn:un:corpus:clir:charter#assert-h16351e0bed59b62494f1c5210d0fd5a006de40ee549557096968b0b2c2e81693",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:un:corpus:clir:charter#FranceState",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#permanent_member_seat_held_by"
},
"evidence": [],
"id": "urn:proof:apply:LiteralPermanentMemberHoldsSeat:e6cdd1b41bb6a401a290db8d3f9e0e3e09802f9c184a1edc05d29d0412a6717f",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:un:corpus:clir:charter#assert-h16351e0bed59b62494f1c5210d0fd5a006de40ee549557096968b0b2c2e81693"
],
"rule": "urn:un:corpus:clir:charter#LiteralPermanentMemberHoldsSeat",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:un:corpus:clir:charter#FranceState",
"kind": "entity_ref"
}
}
},
{
"attributes": {
"assertion": "urn:un:corpus:clir:charter#assert-h1670ff143db3b3d29021dc7ad7985b349772e84c0b76792a3ee656307d221a85"
},
"conclusion": {
"args": [
{
"id": "urn:un:corpus:clir:charter#SovietUnion",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#permanent_member"
},
"evidence": [],
"id": "urn:proof:assert:urn:un:corpus:clir:charter#assert-h1670ff143db3b3d29021dc7ad7985b349772e84c0b76792a3ee656307d221a85",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:un:corpus:clir:charter#SovietUnion",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#permanent_member_seat_held_by"
},
"evidence": [],
"id": "urn:proof:apply:LiteralPermanentMemberHoldsSeat:8b78e920fb454ef68cfd4d28faa95e701383a4945549927ddb0e490175215890",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:un:corpus:clir:charter#assert-h1670ff143db3b3d29021dc7ad7985b349772e84c0b76792a3ee656307d221a85"
],
"rule": "urn:un:corpus:clir:charter#LiteralPermanentMemberHoldsSeat",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:un:corpus:clir:charter#SovietUnion",
"kind": "entity_ref"
}
}
},
{
"attributes": {
"assertion": "urn:un:corpus:clir:charter#assert-h2577471a877f419d16417bc8ce7642e21e0eaa2649933f621cead7f558251c22"
},
"conclusion": {
"args": [
{
"id": "urn:un:corpus:clir:charter#UnitedStatesState",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#permanent_member"
},
"evidence": [],
"id": "urn:proof:assert:urn:un:corpus:clir:charter#assert-h2577471a877f419d16417bc8ce7642e21e0eaa2649933f621cead7f558251c22",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:un:corpus:clir:charter#UnitedStatesState",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#permanent_member_seat_held_by"
},
"evidence": [],
"id": "urn:proof:apply:LiteralPermanentMemberHoldsSeat:a2e3e604e9de005e17c81a51ce629be98e8e9e509a506046e0cde52b32321222",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:un:corpus:clir:charter#assert-h2577471a877f419d16417bc8ce7642e21e0eaa2649933f621cead7f558251c22"
],
"rule": "urn:un:corpus:clir:charter#LiteralPermanentMemberHoldsSeat",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:un:corpus:clir:charter#UnitedStatesState",
"kind": "entity_ref"
}
}
},
{
"attributes": {
"assertion": "urn:un:corpus:clir:charter#assert-h5c5d3b5c9ef348f54b5802f708fcfb08ffdf58f3b19d9f2957124cc18c49ca25"
},
"conclusion": {
"args": [
{
"id": "urn:un:corpus:clir:charter#RepublicOfChina",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#permanent_member"
},
"evidence": [],
"id": "urn:proof:assert:urn:un:corpus:clir:charter#assert-h5c5d3b5c9ef348f54b5802f708fcfb08ffdf58f3b19d9f2957124cc18c49ca25",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:un:corpus:clir:charter#RepublicOfChina",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#permanent_member_seat_held_by"
},
"evidence": [],
"id": "urn:proof:apply:LiteralPermanentMemberHoldsSeat:4b1a6f6f8748646d22693b4c086f59515bea5071b14cc9f60294942b421440aa",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:un:corpus:clir:charter#assert-h5c5d3b5c9ef348f54b5802f708fcfb08ffdf58f3b19d9f2957124cc18c49ca25"
],
"rule": "urn:un:corpus:clir:charter#LiteralPermanentMemberHoldsSeat",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:un:corpus:clir:charter#RepublicOfChina",
"kind": "entity_ref"
}
}
},
{
"attributes": {
"assertion": "urn:un:corpus:clir:charter#assert-h95b1a57a07a53f49ec8dcbb91c442be4fdf9ca5f19fb2fa7ee84192725768c7a"
},
"conclusion": {
"args": [
{
"id": "urn:un:corpus:clir:charter#UnitedKingdomState",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#permanent_member"
},
"evidence": [],
"id": "urn:proof:assert:urn:un:corpus:clir:charter#assert-h95b1a57a07a53f49ec8dcbb91c442be4fdf9ca5f19fb2fa7ee84192725768c7a",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:un:corpus:clir:charter#UnitedKingdomState",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#permanent_member_seat_held_by"
},
"evidence": [],
"id": "urn:proof:apply:LiteralPermanentMemberHoldsSeat:ce60c6e3d670f6229c478e6f4fa5860728de789f588132e65e8a1127d110648f",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:un:corpus:clir:charter#assert-h95b1a57a07a53f49ec8dcbb91c442be4fdf9ca5f19fb2fa7ee84192725768c7a"
],
"rule": "urn:un:corpus:clir:charter#LiteralPermanentMemberHoldsSeat",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:un:corpus:clir:charter#UnitedKingdomState",
"kind": "entity_ref"
}
}
},
{
"attributes": {},
"conclusion": {
"literal": {
"args": [
{
"id": "urn:law:examples:un-charter:same-vote:procedural",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#decision_adopted"
},
"truthStatus": "TRUE_ONLY"
},
"evidence": [],
"id": "urn:proof:query:same-vote#case/ProceduralNineFor/query/decision-adopted-procedural",
"kind": "query_evaluation",
"premises": [
"urn:proof:apply:ProceduralDecisionAdopted:ecf3ae070b6fea45f81712b543c968f84457703d01a48e0ee9b6564f33a5f615"
],
"sourceAnchors": []
}
],
"proofHash": "sha256:d5afcbd4f5ed639e1c852efb8a92b6aa2384178363b432795b76c294e268af0c",
"roots": [
"urn:proof:query:same-vote#case/ProceduralNineFor/query/decision-adopted-procedural"
]
},
"resultHash": "sha256:fe9c532d0c3705c6cc77d762e5420dfcb2fb09439b5ce60c320aa415b1e43eb7",
"results": [
{
"conflicts": [],
"evaluationStatus": "COMPUTED",
"evidence": [],
"id": "urn:result:same-vote#case/ProceduralNineFor/query/decision-adopted-procedural",
"judgmentRequests": [],
"manifest": "urn:manifest:oracle-1",
"missingInputs": [],
"normativeStatusSupports": [],
"proof": "urn:proof:query:same-vote#case/ProceduralNineFor/query/decision-adopted-procedural",
"query": "urn:law:examples:un-charter:same-vote#case/ProceduralNineFor/query/decision-adopted-procedural",
"resultKind": "PROPOSITION",
"sourceAnchors": [],
"target": "urn:un:corpus:clir:charter#decision_adopted",
"truthStatus": "TRUE_ONLY"
}
],
"schemaVersion": "law.core.evaluation/0.2"
},
"evaluationStatus": "COMPUTED",
"issues": [],
"judgmentRequests": [],
"proofRef": "urn:proof:query:same-vote#case/ProceduralNineFor/query/decision-adopted-procedural",
"provenance": {
"acts": [
{
"artifactHash": "sha256:1d123a11b4c6e20a0c1042d7d0ae2f6cca7396f20ebd75136836d48735a4b835",
"namespace": "urn:un:corpus:clir:charter",
"package": "un.charter"
}
],
"caseHash": "sha256:1f67054f049ffdc7e642488912ebfd3e0f3d27a06f383220673bf3a4531fb783",
"jurisdiction": "International",
"legalTime": "2026-01-01",
"mode": "audit",
"programHash": "sha256:53761165015b682383430aa74b59233f973da8e16ffe719420f98edd8b25519d",
"resultHash": "sha256:fe9c532d0c3705c6cc77d762e5420dfcb2fb09439b5ce60c320aa415b1e43eb7",
"timezone": "UTC"
},
"rulesApplied": [
"urn:un:corpus:clir:charter#LiteralPermanentMemberHoldsSeat",
"urn:un:corpus:clir:charter#ProceduralDecisionAdopted"
]
}Исполнение · JSON
Блок слишком большой для встроенного просмотра. Он целиком включён в JSON документа — без сокращений.
Скачать JSON ↓Метаданные отображения
{
"schemaVersion": "law.answers.presentation/0.1",
"source": {
"requestCanonicalSha256": "sha256:d4201daff55cb5d1f11dbdec1ab846095cbd18be5f82389d32fe9b21aa5bb8a8"
},
"steps": [
{
"assertionOrigin": "case_input",
"conclusion": {
"args": [
{
"id": "urn:law:examples:un-charter:same-vote:procedural",
"kind": "entity_ref"
},
{
"id": "urn:un:corpus:clir:charter#FranceState",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#casts_vote_for"
},
"id": "urn:proof:assert:urn:law:examples:un-charter:same-vote#fr",
"kind": "assertion",
"originStatus": "available",
"premises": [],
"trust": "case"
},
{
"assertionOrigin": "case_input",
"conclusion": {
"args": [
{
"id": "urn:law:examples:un-charter:same-vote:procedural",
"kind": "entity_ref"
},
{
"id": "urn:law:examples:un-charter:same-vote:m0",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#casts_vote_for"
},
"id": "urn:proof:assert:urn:law:examples:un-charter:same-vote#m0",
"kind": "assertion",
"originStatus": "available",
"premises": [],
"trust": "case"
},
{
"assertionOrigin": "case_input",
"conclusion": {
"args": [
{
"id": "urn:law:examples:un-charter:same-vote:procedural",
"kind": "entity_ref"
},
{
"id": "urn:law:examples:un-charter:same-vote:m1",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#casts_vote_for"
},
"id": "urn:proof:assert:urn:law:examples:un-charter:same-vote#m1",
"kind": "assertion",
"originStatus": "available",
"premises": [],
"trust": "case"
},
{
"assertionOrigin": "case_input",
"conclusion": {
"args": [
{
"id": "urn:law:examples:un-charter:same-vote:procedural",
"kind": "entity_ref"
},
{
"id": "urn:law:examples:un-charter:same-vote:m2",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#casts_vote_for"
},
"id": "urn:proof:assert:urn:law:examples:un-charter:same-vote#m2",
"kind": "assertion",
"originStatus": "available",
"premises": [],
"trust": "case"
},
{
"assertionOrigin": "case_input",
"conclusion": {
"args": [
{
"id": "urn:law:examples:un-charter:same-vote:procedural",
"kind": "entity_ref"
},
{
"id": "urn:law:examples:un-charter:same-vote:m3",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#casts_vote_for"
},
"id": "urn:proof:assert:urn:law:examples:un-charter:same-vote#m3",
"kind": "assertion",
"originStatus": "available",
"premises": [],
"trust": "case"
},
{
"assertionOrigin": "case_input",
"conclusion": {
"args": [
{
"id": "urn:law:examples:un-charter:same-vote:procedural",
"kind": "entity_ref"
},
{
"id": "urn:law:examples:un-charter:same-vote:m4",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#casts_vote_for"
},
"id": "urn:proof:assert:urn:law:examples:un-charter:same-vote#m4",
"kind": "assertion",
"originStatus": "available",
"premises": [],
"trust": "case"
},
{
"assertionOrigin": "case_input",
"conclusion": {
"args": [
{
"id": "urn:law:examples:un-charter:same-vote:procedural",
"kind": "entity_ref"
},
{
"id": "urn:law:examples:un-charter:same-vote:m5",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#casts_vote_for"
},
"id": "urn:proof:assert:urn:law:examples:un-charter:same-vote#m5",
"kind": "assertion",
"originStatus": "available",
"premises": [],
"trust": "case"
},
{
"assertionOrigin": "case_input",
"conclusion": {
"args": [
{
"id": "urn:law:examples:un-charter:same-vote:procedural",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#procedural_matter"
},
"id": "urn:proof:assert:urn:law:examples:un-charter:same-vote#procedural",
"kind": "assertion",
"originStatus": "available",
"premises": [],
"trust": "case"
},
{
"assertionOrigin": "case_input",
"conclusion": {
"args": [
{
"id": "urn:law:examples:un-charter:same-vote:procedural",
"kind": "entity_ref"
},
{
"id": "urn:un:corpus:clir:charter#UnitedKingdomState",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#casts_vote_for"
},
"id": "urn:proof:assert:urn:law:examples:un-charter:same-vote#uk",
"kind": "assertion",
"originStatus": "available",
"premises": [],
"trust": "case"
},
{
"assertionOrigin": "case_input",
"conclusion": {
"args": [
{
"id": "urn:law:examples:un-charter:same-vote:procedural",
"kind": "entity_ref"
},
{
"id": "urn:un:corpus:clir:charter#UnitedStatesState",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#casts_vote_for"
},
"id": "urn:proof:assert:urn:law:examples:un-charter:same-vote#us",
"kind": "assertion",
"originStatus": "available",
"premises": [],
"trust": "case"
},
{
"conclusion": {
"args": [
{
"id": "urn:law:examples:un-charter:same-vote:procedural",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#decision_adopted"
},
"head": {
"args": [
{
"kind": "var",
"var": "v0"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#decision_adopted"
},
"id": "urn:proof:apply:ProceduralDecisionAdopted:ecf3ae070b6fea45f81712b543c968f84457703d01a48e0ee9b6564f33a5f615",
"kind": "rule_application",
"originStatus": "available",
"premises": [
"urn:proof:assert:urn:law:examples:un-charter:same-vote#fr",
"urn:proof:assert:urn:law:examples:un-charter:same-vote#m0",
"urn:proof:assert:urn:law:examples:un-charter:same-vote#m1",
"urn:proof:assert:urn:law:examples:un-charter:same-vote#m2",
"urn:proof:assert:urn:law:examples:un-charter:same-vote#m3",
"urn:proof:assert:urn:law:examples:un-charter:same-vote#m4",
"urn:proof:assert:urn:law:examples:un-charter:same-vote#m5",
"urn:proof:assert:urn:law:examples:un-charter:same-vote#procedural",
"urn:proof:assert:urn:law:examples:un-charter:same-vote#uk",
"urn:proof:assert:urn:law:examples:un-charter:same-vote#us"
],
"rule": "urn:un:corpus:clir:charter#ProceduralDecisionAdopted",
"sourceAnchors": [
"urn:un:corpus:clir:charter#UNC_EN_ART27"
],
"strength": "strict",
"substitution": {
"v0": {
"id": "urn:law:examples:un-charter:same-vote:procedural",
"kind": "entity_ref"
}
},
"trust": "engine",
"variables": [
{
"id": "v0",
"type": {
"name": "urn:un:corpus:clir:charter#Decision"
}
}
]
},
{
"conclusion": {
"literal": {
"args": [
{
"id": "urn:law:examples:un-charter:same-vote:procedural",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:un:corpus:clir:charter#decision_adopted"
},
"truthStatus": "TRUE_ONLY"
},
"id": "urn:proof:query:same-vote#case/ProceduralNineFor/query/decision-adopted-procedural",
"kind": "query_evaluation",
"originStatus": "available",
"premises": [
"urn:proof:apply:ProceduralDecisionAdopted:ecf3ae070b6fea45f81712b543c968f84457703d01a48e0ee9b6564f33a5f615"
],
"trust": "engine"
}
],
"symbols": [
{
"id": "urn:un:corpus:clir:charter#Decision",
"kind": "type_decl",
"labels": [
{
"language": "en",
"status": "official",
"text": "Decision (of the Security Council or the General Assembly)"
}
],
"name": "Decision",
"package": "urn:un:corpus:clir:charter"
},
{
"id": "urn:un:corpus:clir:charter#FranceState",
"kind": "symbol_decl",
"labels": [
{
"language": "en",
"status": "unofficial",
"text": "France State"
}
],
"name": "FranceState",
"package": "urn:un:corpus:clir:charter",
"parameters": [],
"symbolKind": "constant"
},
{
"id": "urn:un:corpus:clir:charter#LiteralPermanentMemberHoldsSeat",
"kind": "rule",
"labels": [
{
"language": "en",
"status": "official",
"text": "The letter of Article 23: the five named States hold a permanent seat"
}
],
"package": "urn:un:corpus:clir:charter",
"strength": "strict"
},
{
"id": "urn:un:corpus:clir:charter#ProceduralDecisionAdopted",
"kind": "rule",
"labels": [
{
"language": "en",
"status": "official",
"text": "Article 27, paragraph 2. Decisions of the Security Council on procedural matters shall be made by an affirmative vote of nine members."
}
],
"package": "urn:un:corpus:clir:charter",
"strength": "strict"
},
{
"id": "urn:un:corpus:clir:charter#RepublicOfChina",
"kind": "symbol_decl",
"labels": [
{
"language": "en",
"status": "unofficial",
"text": "Republic Of China"
}
],
"name": "RepublicOfChina",
"package": "urn:un:corpus:clir:charter",
"parameters": [],
"symbolKind": "constant"
},
{
"id": "urn:un:corpus:clir:charter#SovietUnion",
"kind": "symbol_decl",
"labels": [
{
"language": "en",
"status": "unofficial",
"text": "Soviet Union"
}
],
"name": "SovietUnion",
"package": "urn:un:corpus:clir:charter",
"parameters": [],
"symbolKind": "constant"
},
{
"id": "urn:un:corpus:clir:charter#State",
"kind": "type_decl",
"labels": [
{
"language": "en",
"status": "official",
"text": "State"
}
],
"name": "State",
"package": "urn:un:corpus:clir:charter"
},
{
"id": "urn:un:corpus:clir:charter#UnitedKingdomState",
"kind": "symbol_decl",
"labels": [
{
"language": "en",
"status": "unofficial",
"text": "United Kingdom State"
}
],
"name": "UnitedKingdomState",
"package": "urn:un:corpus:clir:charter",
"parameters": [],
"symbolKind": "constant"
},
{
"id": "urn:un:corpus:clir:charter#UnitedStatesState",
"kind": "symbol_decl",
"labels": [
{
"language": "en",
"status": "unofficial",
"text": "United States State"
}
],
"name": "UnitedStatesState",
"package": "urn:un:corpus:clir:charter",
"parameters": [],
"symbolKind": "constant"
},
{
"id": "urn:un:corpus:clir:charter#abstains",
"kind": "symbol_decl",
"labels": [
{
"language": "en",
"status": "official",
"text": "the State abstains (Art. 27, para. 3)"
}
],
"name": "abstains",
"package": "urn:un:corpus:clir:charter",
"parameters": [
{
"id": "urn:un:corpus:clir:charter#abstains/arg/d",
"labels": [],
"name": "d",
"type": {
"name": "urn:un:corpus:clir:charter#Decision"
}
},
{
"id": "urn:un:corpus:clir:charter#abstains/arg/s",
"labels": [],
"name": "s",
"type": {
"name": "urn:un:corpus:clir:charter#State"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:un:corpus:clir:charter#casts_vote_for",
"kind": "symbol_decl",
"labels": [
{
"language": "en",
"status": "official",
"text": "the State casts a vote in favour (Art. 18, Art. 27)"
}
],
"name": "casts_vote_for",
"package": "urn:un:corpus:clir:charter",
"parameters": [
{
"id": "urn:un:corpus:clir:charter#casts_vote_for/arg/d",
"labels": [],
"name": "d",
"type": {
"name": "urn:un:corpus:clir:charter#Decision"
}
},
{
"id": "urn:un:corpus:clir:charter#casts_vote_for/arg/s",
"labels": [],
"name": "s",
"type": {
"name": "urn:un:corpus:clir:charter#State"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:un:corpus:clir:charter#decision_adopted",
"kind": "symbol_decl",
"labels": [
{
"language": "en",
"status": "unofficial",
"text": "the Security Council decision is adopted"
}
],
"name": "decision_adopted",
"package": "urn:un:corpus:clir:charter",
"parameters": [
{
"id": "urn:un:corpus:clir:charter#decision_adopted/arg/d",
"labels": [],
"name": "d",
"type": {
"name": "urn:un:corpus:clir:charter#Decision"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:un:corpus:clir:charter#permanent_member",
"kind": "symbol_decl",
"labels": [
{
"language": "en",
"status": "official",
"text": "permanent member of the Security Council (Art. 23, para. 1)"
}
],
"name": "permanent_member",
"package": "urn:un:corpus:clir:charter",
"parameters": [
{
"id": "urn:un:corpus:clir:charter#permanent_member/arg/s",
"labels": [],
"name": "s",
"type": {
"name": "urn:un:corpus:clir:charter#State"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:un:corpus:clir:charter#permanent_member_seat_held_by",
"kind": "symbol_decl",
"labels": [
{
"language": "en",
"status": "unofficial",
"text": "the State holds a permanent seat for voting purposes (letter of Art. 23, or continuity/seat transfer)"
}
],
"name": "permanent_member_seat_held_by",
"package": "urn:un:corpus:clir:charter",
"parameters": [
{
"id": "urn:un:corpus:clir:charter#permanent_member_seat_held_by/arg/s",
"labels": [],
"name": "s",
"type": {
"name": "urn:un:corpus:clir:charter#State"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:un:corpus:clir:charter#procedural_matter",
"kind": "symbol_decl",
"labels": [
{
"language": "en",
"status": "official",
"text": "the decision is on a procedural matter (Art. 27, para. 2)"
}
],
"name": "procedural_matter",
"package": "urn:un:corpus:clir:charter",
"parameters": [
{
"id": "urn:un:corpus:clir:charter#procedural_matter/arg/d",
"labels": [],
"name": "d",
"type": {
"name": "urn:un:corpus:clir:charter#Decision"
}
}
],
"symbolKind": "relation"
}
]
}JSON · расчёты, источники и точные данные
{
"acts": [
{
"artifactHash": "sha256:1d123a11b4c6e20a0c1042d7d0ae2f6cca7396f20ebd75136836d48735a4b835",
"namespace": "urn:un:corpus:clir:charter",
"package": "un.charter"
}
],
"caseHash": "sha256:1f67054f049ffdc7e642488912ebfd3e0f3d27a06f383220673bf3a4531fb783",
"jurisdiction": "International",
"legalTime": "2026-01-01",
"mode": "audit",
"programHash": "sha256:53761165015b682383430aa74b59233f973da8e16ffe719420f98edd8b25519d",
"resultHash": "sha256:fe9c532d0c3705c6cc77d762e5420dfcb2fb09439b5ce60c320aa415b1e43eb7",
"timezone": "UTC"
}- evaluation SHA-256
- sha256:c2c068235a90267cd658789bf66bdaf7fb277cb5e4b85c113d9b5709b301a27d
Исходные данные · JSON
{
"args": [
{
"id": "urn:law:examples:un-charter:same-vote:procedural",
"kind": "entity_ref"
}
],
"facts": [
{
"args": [
{
"id": "urn:law:examples:un-charter:same-vote#d",
"kind": "const_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:un:corpus:clir:charter#procedural_matter"
},
{
"args": [
{
"id": "urn:law:examples:un-charter:same-vote#d",
"kind": "const_ref"
},
{
"id": "urn:law:examples:un-charter:same-vote#france",
"kind": "const_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:un:corpus:clir:charter#casts_vote_for"
},
{
"args": [
{
"id": "urn:law:examples:un-charter:same-vote#d",
"kind": "const_ref"
},
{
"id": "urn:law:examples:un-charter:same-vote#uk",
"kind": "const_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:un:corpus:clir:charter#casts_vote_for"
},
{
"args": [
{
"id": "urn:law:examples:un-charter:same-vote#d",
"kind": "const_ref"
},
{
"id": "urn:law:examples:un-charter:same-vote#us",
"kind": "const_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:un:corpus:clir:charter#casts_vote_for"
},
{
"args": [
{
"id": "urn:law:examples:un-charter:same-vote#d",
"kind": "const_ref"
},
{
"id": "urn:law:examples:un-charter:same-vote#m0",
"kind": "const_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:un:corpus:clir:charter#casts_vote_for"
},
{
"args": [
{
"id": "urn:law:examples:un-charter:same-vote#d",
"kind": "const_ref"
},
{
"id": "urn:law:examples:un-charter:same-vote#m1",
"kind": "const_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:un:corpus:clir:charter#casts_vote_for"
},
{
"args": [
{
"id": "urn:law:examples:un-charter:same-vote#d",
"kind": "const_ref"
},
{
"id": "urn:law:examples:un-charter:same-vote#m2",
"kind": "const_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:un:corpus:clir:charter#casts_vote_for"
},
{
"args": [
{
"id": "urn:law:examples:un-charter:same-vote#d",
"kind": "const_ref"
},
{
"id": "urn:law:examples:un-charter:same-vote#m3",
"kind": "const_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:un:corpus:clir:charter#casts_vote_for"
},
{
"args": [
{
"id": "urn:law:examples:un-charter:same-vote#d",
"kind": "const_ref"
},
{
"id": "urn:law:examples:un-charter:same-vote#m4",
"kind": "const_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:un:corpus:clir:charter#casts_vote_for"
},
{
"args": [
{
"id": "urn:law:examples:un-charter:same-vote#d",
"kind": "const_ref"
},
{
"id": "urn:law:examples:un-charter:same-vote#m5",
"kind": "const_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:un:corpus:clir:charter#casts_vote_for"
},
{
"args": [
{
"id": "urn:law:examples:un-charter:same-vote#d",
"kind": "const_ref"
},
{
"id": "urn:law:examples:un-charter:same-vote#soviet",
"kind": "const_ref"
}
],
"negated": false,
"origin": "case_input",
"predicate": "urn:un:corpus:clir:charter#abstains"
}
],
"kind": "truth",
"legalTime": "2026-01-01",
"predicate": "urn:un:corpus:clir:charter#decision_adopted"
}