Condition
Procedural vote: the decision is adopted
Calculation result
Established
Input parameters
What we are finding
the Security Council decision is adopted
Input facts
Decision (of the Security Council or the General Assembly)
d: dSubject shared by the facts below
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
Original data · 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"
}Why this resultApplied rules and conditions
Derivation path12 steps
- 1case fact
the State casts a vote in favour (Art. 18, Art. 27)
d: urn:law:examples:un-charter:same-vote:procedural; s: France State
- 2case fact
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
- 3case fact
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
- 4case fact
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
- 5case fact
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
- 6case fact
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
- 7case fact
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
- 8case fact
the decision is on a procedural matter (Art. 27, para. 2)
d: urn:law:examples:un-charter:same-vote:procedural
- 9case fact
the State casts a vote in favour (Art. 18, Art. 27)
d: urn:law:examples:un-charter:same-vote:procedural; s: United Kingdom State
- 10case fact
the State casts a vote in favour (Art. 18, Art. 27)
d: urn:law:examples:un-charter:same-vote:procedural; s: United States State
- 11rule
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
art. 27
Identifier
urn:un:corpus:clir:charter#ProceduralDecisionAdopted - 12query
Query evaluation
verified by the engine: 2 · case fact: 10 · Full graph: 22 nodes
Steps of the saved proof from the case facts to the answer. Formulas are shown as written in the norm with bound values substituted; the page recomputes nothing.
Basis of this answer
Rules on the saved proof path for this answer.
un.charter
Article 27, paragraph 2. Decisions of the Security Council on procedural matters shall be made by an affirmative vote of nine members.
Identifier
urn:un:corpus:clir:charter#ProceduralDecisionAdopted
Other rules in the evaluation1
Applied in the overall evaluation, but not on the proof path for this answer.
un.charter
The letter of Article 23: the five named States hold a permanent seat
Identifier
urn:un:corpus:clir:charter#LiteralPermanentMemberHoldsSeat
Proof graph
Proof nodes: 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
- Arguments
- Identifier
- procedural
- Type
- entity_ref
- Identifier
- FranceState
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- casts_vote_for
- evidence
- —
- Identifier
- fr
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:law:examples:un-charter:same-vote#m0
- attributes
- assertion
- m0
- conclusion
- Arguments
- Identifier
- procedural
- Type
- entity_ref
- Identifier
- m0
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- casts_vote_for
- evidence
- —
- Identifier
- m0
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:law:examples:un-charter:same-vote#m1
- attributes
- assertion
- m1
- conclusion
- Arguments
- Identifier
- procedural
- Type
- entity_ref
- Identifier
- m1
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- casts_vote_for
- evidence
- —
- Identifier
- m1
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:law:examples:un-charter:same-vote#m2
- attributes
- assertion
- m2
- conclusion
- Arguments
- Identifier
- procedural
- Type
- entity_ref
- Identifier
- m2
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- casts_vote_for
- evidence
- —
- Identifier
- m2
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:law:examples:un-charter:same-vote#m3
- attributes
- assertion
- m3
- conclusion
- Arguments
- Identifier
- procedural
- Type
- entity_ref
- Identifier
- m3
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- casts_vote_for
- evidence
- —
- Identifier
- m3
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:law:examples:un-charter:same-vote#m4
- attributes
- assertion
- m4
- conclusion
- Arguments
- Identifier
- procedural
- Type
- entity_ref
- Identifier
- m4
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- casts_vote_for
- evidence
- —
- Identifier
- m4
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:law:examples:un-charter:same-vote#m5
- attributes
- assertion
- m5
- conclusion
- Arguments
- Identifier
- procedural
- Type
- entity_ref
- Identifier
- m5
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- casts_vote_for
- evidence
- —
- Identifier
- m5
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:law:examples:un-charter:same-vote#procedural
- attributes
- assertion
- procedural
- conclusion
- Arguments
- Identifier
- procedural
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- procedural_matter
- evidence
- —
- Identifier
- procedural
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:law:examples:un-charter:same-vote#uk
- attributes
- assertion
- uk
- conclusion
- Arguments
- Identifier
- procedural
- Type
- entity_ref
- Identifier
- UnitedKingdomState
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- casts_vote_for
- evidence
- —
- Identifier
- uk
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:law:examples:un-charter:same-vote#us
- attributes
- assertion
- us
- conclusion
- Arguments
- Identifier
- procedural
- Type
- entity_ref
- Identifier
- UnitedStatesState
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- casts_vote_for
- evidence
- —
- Identifier
- us
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
rule_application · urn:proof:apply:ProceduralDecisionAdopted:ecf3ae070b6fea45f81712b543c968f84457703d01a48e0ee9b6564f33a5f615
- attributes
- —
- conclusion
- Arguments
- Identifier
- procedural
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- decision_adopted
- evidence
- —
- Identifier
- ecf3ae070b6fea45f81712b543c968f84457703d01a48e0ee9b6564f33a5f615
- Type
- rule_application
- Premises
- fr
- m0
- m1
- m2
- m3
- m4
- m5
- procedural
- uk
- us
- Rule
- ProceduralDecisionAdopted
- sourceAnchors
- —
- substitution
- v0
- Identifier
- procedural
- Type
- entity_ref
assertion · urn:proof:assert:urn:un:corpus:clir:charter#assert-h16351e0bed59b62494f1c5210d0fd5a006de40ee549557096968b0b2c2e81693
- attributes
- assertion
- assert-h16351e0bed59b62494f1c5210d0fd5a006de40ee549557096968b0b2c2e81693
- conclusion
- Arguments
- Identifier
- FranceState
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- permanent_member
- evidence
- —
- Identifier
- assert-h16351e0bed59b62494f1c5210d0fd5a006de40ee549557096968b0b2c2e81693
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
rule_application · urn:proof:apply:LiteralPermanentMemberHoldsSeat:e6cdd1b41bb6a401a290db8d3f9e0e3e09802f9c184a1edc05d29d0412a6717f
- attributes
- —
- conclusion
- Arguments
- Identifier
- FranceState
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- permanent_member_seat_held_by
- evidence
- —
- Identifier
- e6cdd1b41bb6a401a290db8d3f9e0e3e09802f9c184a1edc05d29d0412a6717f
- Type
- rule_application
- Premises
- assert-h16351e0bed59b62494f1c5210d0fd5a006de40ee549557096968b0b2c2e81693
- Rule
- LiteralPermanentMemberHoldsSeat
- sourceAnchors
- —
- substitution
- v0
- Identifier
- FranceState
- Type
- entity_ref
assertion · urn:proof:assert:urn:un:corpus:clir:charter#assert-h1670ff143db3b3d29021dc7ad7985b349772e84c0b76792a3ee656307d221a85
- attributes
- assertion
- assert-h1670ff143db3b3d29021dc7ad7985b349772e84c0b76792a3ee656307d221a85
- conclusion
- Arguments
- Identifier
- SovietUnion
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- permanent_member
- evidence
- —
- Identifier
- assert-h1670ff143db3b3d29021dc7ad7985b349772e84c0b76792a3ee656307d221a85
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
rule_application · urn:proof:apply:LiteralPermanentMemberHoldsSeat:8b78e920fb454ef68cfd4d28faa95e701383a4945549927ddb0e490175215890
- attributes
- —
- conclusion
- Arguments
- Identifier
- SovietUnion
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- permanent_member_seat_held_by
- evidence
- —
- Identifier
- 8b78e920fb454ef68cfd4d28faa95e701383a4945549927ddb0e490175215890
- Type
- rule_application
- Premises
- assert-h1670ff143db3b3d29021dc7ad7985b349772e84c0b76792a3ee656307d221a85
- Rule
- LiteralPermanentMemberHoldsSeat
- sourceAnchors
- —
- substitution
- v0
- Identifier
- SovietUnion
- Type
- entity_ref
assertion · urn:proof:assert:urn:un:corpus:clir:charter#assert-h2577471a877f419d16417bc8ce7642e21e0eaa2649933f621cead7f558251c22
- attributes
- assertion
- assert-h2577471a877f419d16417bc8ce7642e21e0eaa2649933f621cead7f558251c22
- conclusion
- Arguments
- Identifier
- UnitedStatesState
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- permanent_member
- evidence
- —
- Identifier
- assert-h2577471a877f419d16417bc8ce7642e21e0eaa2649933f621cead7f558251c22
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
rule_application · urn:proof:apply:LiteralPermanentMemberHoldsSeat:a2e3e604e9de005e17c81a51ce629be98e8e9e509a506046e0cde52b32321222
- attributes
- —
- conclusion
- Arguments
- Identifier
- UnitedStatesState
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- permanent_member_seat_held_by
- evidence
- —
- Identifier
- a2e3e604e9de005e17c81a51ce629be98e8e9e509a506046e0cde52b32321222
- Type
- rule_application
- Premises
- assert-h2577471a877f419d16417bc8ce7642e21e0eaa2649933f621cead7f558251c22
- Rule
- LiteralPermanentMemberHoldsSeat
- sourceAnchors
- —
- substitution
- v0
- Identifier
- UnitedStatesState
- Type
- entity_ref
assertion · urn:proof:assert:urn:un:corpus:clir:charter#assert-h5c5d3b5c9ef348f54b5802f708fcfb08ffdf58f3b19d9f2957124cc18c49ca25
- attributes
- assertion
- assert-h5c5d3b5c9ef348f54b5802f708fcfb08ffdf58f3b19d9f2957124cc18c49ca25
- conclusion
- Arguments
- Identifier
- RepublicOfChina
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- permanent_member
- evidence
- —
- Identifier
- assert-h5c5d3b5c9ef348f54b5802f708fcfb08ffdf58f3b19d9f2957124cc18c49ca25
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
rule_application · urn:proof:apply:LiteralPermanentMemberHoldsSeat:4b1a6f6f8748646d22693b4c086f59515bea5071b14cc9f60294942b421440aa
- attributes
- —
- conclusion
- Arguments
- Identifier
- RepublicOfChina
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- permanent_member_seat_held_by
- evidence
- —
- Identifier
- 4b1a6f6f8748646d22693b4c086f59515bea5071b14cc9f60294942b421440aa
- Type
- rule_application
- Premises
- assert-h5c5d3b5c9ef348f54b5802f708fcfb08ffdf58f3b19d9f2957124cc18c49ca25
- Rule
- LiteralPermanentMemberHoldsSeat
- sourceAnchors
- —
- substitution
- v0
- Identifier
- RepublicOfChina
- Type
- entity_ref
assertion · urn:proof:assert:urn:un:corpus:clir:charter#assert-h95b1a57a07a53f49ec8dcbb91c442be4fdf9ca5f19fb2fa7ee84192725768c7a
- attributes
- assertion
- assert-h95b1a57a07a53f49ec8dcbb91c442be4fdf9ca5f19fb2fa7ee84192725768c7a
- conclusion
- Arguments
- Identifier
- UnitedKingdomState
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- permanent_member
- evidence
- —
- Identifier
- assert-h95b1a57a07a53f49ec8dcbb91c442be4fdf9ca5f19fb2fa7ee84192725768c7a
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
rule_application · urn:proof:apply:LiteralPermanentMemberHoldsSeat:ce60c6e3d670f6229c478e6f4fa5860728de789f588132e65e8a1127d110648f
- attributes
- —
- conclusion
- Arguments
- Identifier
- UnitedKingdomState
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- permanent_member_seat_held_by
- evidence
- —
- Identifier
- ce60c6e3d670f6229c478e6f4fa5860728de789f588132e65e8a1127d110648f
- Type
- rule_application
- Premises
- assert-h95b1a57a07a53f49ec8dcbb91c442be4fdf9ca5f19fb2fa7ee84192725768c7a
- Rule
- LiteralPermanentMemberHoldsSeat
- sourceAnchors
- —
- substitution
- v0
- Identifier
- UnitedKingdomState
- Type
- entity_ref
query_evaluation · urn:proof:query:same-vote#case/ProceduralNineFor/query/decision-adopted-procedural
- attributes
- —
- conclusion
- literal
- Arguments
- Identifier
- procedural
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- decision_adopted
- truthStatus
- Established
- evidence
- —
- Identifier
- case/ProceduralNineFor/query/decision-adopted-procedural
- Type
- query_evaluation
- Premises
- ecf3ae070b6fea45f81712b543c968f84457703d01a48e0ee9b6564f33a5f615
- sourceAnchors
- —
Calendar and proof identifiers
- Proof reference
- case/ProceduralNineFor/query/decision-adopted-procedural
Original reasoning · 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"
]
}SourcesExcerpts: 2
Article 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.
Original data · 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."
}
]
}Article 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.
Original data · 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."
}
]
}Packages in the snapshot
- un.charter
Technical dataFull response, parameters and checksums
- Calculation status
- COMPUTED
Full engine response
Complete machine result · 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"
]
}Execution · JSON
This block is too large for inline viewing. It is included in full in the document JSON, without truncation.
Download JSON ↓Display metadata
{
"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 · calculations, sources and exact data
{
"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
Original data · 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"
}