Condition
Односторонние показания связывают судью
Calculation result
Established
Input parameters
What we are finding
the judge shall decide according to the witness
Input facts
if they contend about a slave, saying each that it is his (slave)
issue: issues: slavethe matters in contention
issue: issuesaying each that it is his (slave)
cl issue party claim-a issue plaintiff claim-b issue defendant if they contend about a slave, saying each that it is his (slave)
a: claim-ab: claim-bissue: issuea cl examined against the declarations made
cl claim-a claim-b if a witness declare it
cl: claim-aa witness declares
witness: witnessissue: issue
Package: Гортинские законы (Крит, ок. 450 г. до н. э.; перевод H. J. Roby, 1886) — юрисдикция Gortyn, НЕ Республика Казахстан — исторический памятник
Additional details
- Include proof
- Yes
Original data · JSON
{
"args": [
"urn:entity:gc:plaintiff",
"urn:entity:gc:slave"
],
"facts": [
{
"args": [
"urn:entity:gc:issue",
"urn:entity:gc:slave"
],
"predicate": "slave_possession_issue"
},
{
"args": [
"urn:entity:gc:issue"
],
"predicate": "contested"
},
{
"args": [
"urn:entity:gc:claim-a",
"urn:entity:gc:issue",
"urn:entity:gc:plaintiff"
],
"predicate": "claim_in"
},
{
"args": [
"urn:entity:gc:claim-b",
"urn:entity:gc:issue",
"urn:entity:gc:defendant"
],
"predicate": "claim_in"
},
{
"args": [
"urn:entity:gc:claim-a",
"urn:entity:gc:claim-b",
"urn:entity:gc:issue"
],
"predicate": "opposing_claims"
},
{
"args": [
"urn:entity:gc:claim-a"
],
"predicate": "checked_claim"
},
{
"args": [
"urn:entity:gc:claim-b"
],
"predicate": "checked_claim"
},
{
"args": [
"urn:entity:gc:claim-a"
],
"predicate": "attested"
},
{
"args": [
"urn:entity:gc:witness",
"urn:entity:gc:issue"
],
"predicate": "witness_declares"
}
],
"kind": "truth",
"legalTime": "2026-09-06",
"package": "grc-gortyn-code",
"predicate": "slave_adjudged_to",
"proof": true
}Why this resultApplied rules and conditions
Derivation path13 steps
- 1origin not recorded
whatever it has been written he should judge according to witnesses or as denied on oath
kind: Slave Possession One Sided
- 2case fact
if they contend about a slave, saying each that it is his (slave)
issue: urn:entity:gc:issue; s: urn:entity:gc:slave
- 3case fact
the matters in contention
issue: urn:entity:gc:issue
- 4case fact
saying each that it is his (slave)
cl: urn:entity:gc:claim-a; issue: urn:entity:gc:issue; party: urn:entity:gc:plaintiff
- 5case fact
if they contend about a slave, saying each that it is his (slave)
a: urn:entity:gc:claim-a; b: urn:entity:gc:claim-b; issue: urn:entity:gc:issue
- 6case fact
a cl examined against the declarations made
cl: urn:entity:gc:claim-b
- 7case fact
if a witness declare it
cl: urn:entity:gc:claim-a
- 8case fact
a witness declares
witness: urn:entity:gc:witness; issue: urn:entity:gc:issue
- 9origin not recorded
if a witness declare it
not if a witness declare it: cl: urn:entity:gc:claim-b
- 10rule
if a witness declare it, the judge shall decide according to the witness
the matter in contention is of this kind: issue: urn:entity:gc:issue; kind: Slave Possession One Sided
art. 1
Identifier
urn:grc:gortyn:clir:code#SlavePossessionOneSidedTestimony - 11rule
whatever it has been written he should judge ... shall so judge as has been written
shall so judge as has been written: issue: urn:entity:gc:issue
art. 16
Identifier
urn:grc:gortyn:clir:code#JudgeBoundWhereModeIsWritten - 12rule
if a witness declare it, the judge shall decide according to the witness
the judge shall decide according to the witness: claimant: urn:entity:gc:plaintiff; s: urn:entity:gc:slave
art. 1
Identifier
urn:grc:gortyn:clir:code#SlaveAdjudgedOnWitness - 13query
Query evaluation
verified by the engine: 4 · case fact: 7 · origin not recorded: 2 · Full graph: 23 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.
Гортинские законы (Крит, ок. 450 г. до н. э.; перевод H. J. Roby, 1886) — юрисдикция Gortyn, НЕ Республика Казахстан — исторический памятник
whatever it has been written he should judge ... shall so judge as has been written
Identifier
urn:grc:gortyn:clir:code#JudgeBoundWhereModeIsWrittenif a witness declare it, the judge shall decide according to the witness
Identifier
urn:grc:gortyn:clir:code#SlaveAdjudgedOnWitnessif a witness declare it, the judge shall decide according to the witness
Identifier
urn:grc:gortyn:clir:code#SlavePossessionOneSidedTestimony
Other rules in the evaluation1
Applied in the overall evaluation, but not on the proof path for this answer.
Гортинские законы (Крит, ок. 450 г. до н. э.; перевод H. J. Roby, 1886) — юрисдикция Gortyn, НЕ Республика Казахстан — исторический памятник
shall so judge as has been written
Identifier
urn:grc:gortyn:clir:code#IssueResolvedAsWritten
Derived result for this query
the judge shall decide according to the witness
claimant: plaintiffs: slave
Other derived facts3
matter in contention
issue: issueSubject shared by the facts below
the matter in contention is of this kind
kind: Slave Possession One Sidedshall so judge as has been written
the matter in contention is decided
| issue | kind |
|---|---|
| urn:entity:gc:issue | Slave Possession One Sided |
| issue |
|---|
| urn:entity:gc:issue |
| issue |
|---|
| urn:entity:gc:issue |
| claimant | s |
|---|---|
| plaintiff | slave |
0 further derived facts are not shown: the engine keeps the ones relevant to the question in its compact answer. The full list is in the calculation JSON below.
Proof graph
in the list
- urn:entity:gc:claim-a
not in the list (explicit negative by closure)
- urn:entity:gc:claim-b
The list is closed by a §70 declaration: a missing record in the snapshot yields an explicit negative with an anti-membership certificate (§231.1). The lists are proof-graph nodes as recorded by the evaluation.
in the list
- Slave Possession One Sided
not in the list (explicit negative by closure)
- Cause Of Divorce
- Detention Time
- Division Of Movables
- Goods Claimed From Heiress
- Ransom Terms
- Seizure Denial Without Witness
- Slave Possession For Both
- Slave Possession For Neither
- Stranger Helped Packing
The list is closed by a §70 declaration: a missing record in the snapshot yields an explicit negative with an anti-membership certificate (§231.1). The lists are proof-graph nodes as recorded by the evaluation.
Proof nodes: 23 · assertion 18, rule_application 4, query_evaluation 1
assertion · urn:proof:assert:urn:grc:gortyn:clir:code#assert-h0e3ad325711d0e1af49fdb445a1ad9c7d395936b217ee1f9c4515eec4de6be4f
- attributes
- assertion
- assert-h0e3ad325711d0e1af49fdb445a1ad9c7d395936b217ee1f9c4515eec4de6be4f
- conclusion
- Arguments
- Identifier
- SlavePossessionOneSided
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- mode_written_for_kind
- evidence
- —
- Identifier
- assert-h0e3ad325711d0e1af49fdb445a1ad9c7d395936b217ee1f9c4515eec4de6be4f
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:mcp:case#fact-1
- attributes
- assertion
- fact-1
- conclusion
- Arguments
- Identifier
- issue
- Type
- entity_ref
- Identifier
- slave
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- slave_possession_issue
- evidence
- —
- Identifier
- fact-1
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:mcp:case#fact-2
- attributes
- assertion
- fact-2
- conclusion
- Arguments
- Identifier
- issue
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- contested
- evidence
- —
- Identifier
- fact-2
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:mcp:case#fact-3
- attributes
- assertion
- fact-3
- conclusion
- Arguments
- Identifier
- claim-a
- Type
- entity_ref
- Identifier
- issue
- Type
- entity_ref
- Identifier
- plaintiff
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- claim_in
- evidence
- —
- Identifier
- fact-3
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:mcp:case#fact-5
- attributes
- assertion
- fact-5
- conclusion
- Arguments
- Identifier
- claim-a
- Type
- entity_ref
- Identifier
- claim-b
- Type
- entity_ref
- Identifier
- issue
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- opposing_claims
- evidence
- —
- Identifier
- fact-5
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:mcp:case#fact-7
- attributes
- assertion
- fact-7
- conclusion
- Arguments
- Identifier
- claim-b
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- checked_claim
- evidence
- —
- Identifier
- fact-7
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:mcp:case#fact-8
- attributes
- assertion
- fact-8
- conclusion
- Arguments
- Identifier
- claim-a
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- attested
- evidence
- —
- Identifier
- fact-8
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:mcp:case#fact-9
- attributes
- assertion
- fact-9
- conclusion
- Arguments
- Identifier
- witness
- Type
- entity_ref
- Identifier
- issue
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- witness_declares
- evidence
- —
- Identifier
- fact-9
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
assertion · urn:proof:closure:urn:grc:gortyn:clir:code#ClaimAttestationClosure:0
- attributes
- certificate
- closure-anti-membership
- closurePolicy
- ClaimAttestationClosure
- completeAsOf
- 0001-01-01T00:00:00Z
- domainMember
- Identifier
- claim-b
- Type
- entity_ref
- Saved analysis
- 0001-01-01
- conclusion
- Arguments
- Identifier
- claim-b
- Type
- entity_ref
- Type
- literal
- Polarity
- negative
- Condition
- attested
- evidence
- —
- Identifier
- ClaimAttestationClosure:0
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
rule_application · urn:proof:apply:SlavePossessionOneSidedTestimony:fb1bd9ead972175a514fd425a93b101b54939ac3d68081262ea8c926d1764a8f
- attributes
- —
- conclusion
- Arguments
- Identifier
- issue
- Type
- entity_ref
- Identifier
- SlavePossessionOneSided
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- issue_of_kind
- evidence
- —
- Identifier
- fb1bd9ead972175a514fd425a93b101b54939ac3d68081262ea8c926d1764a8f
- Type
- rule_application
- Premises
- fact-1
- fact-5
- fact-7
- fact-8
- ClaimAttestationClosure:0
- Rule
- SlavePossessionOneSidedTestimony
- sourceAnchors
- —
- substitution
- v0
- Identifier
- issue
- Type
- entity_ref
- v1
- Identifier
- slave
- Type
- entity_ref
- v2
- Identifier
- claim-a
- Type
- entity_ref
- v3
- Identifier
- claim-b
- Type
- entity_ref
rule_application · urn:proof:apply:JudgeBoundWhereModeIsWritten:caa657d0c25de9ae817c295d1dd9012ac021de9bb79d80a16efce9711d8ad26e
- attributes
- —
- conclusion
- Arguments
- Identifier
- issue
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- judge_bound_by_writing
- evidence
- —
- Identifier
- caa657d0c25de9ae817c295d1dd9012ac021de9bb79d80a16efce9711d8ad26e
- Type
- rule_application
- Premises
- fb1bd9ead972175a514fd425a93b101b54939ac3d68081262ea8c926d1764a8f
- assert-h0e3ad325711d0e1af49fdb445a1ad9c7d395936b217ee1f9c4515eec4de6be4f
- fact-2
- Rule
- JudgeBoundWhereModeIsWritten
- sourceAnchors
- —
- substitution
- v0
- Identifier
- issue
- Type
- entity_ref
- v1
- Identifier
- SlavePossessionOneSided
- Type
- entity_ref
rule_application · urn:proof:apply:IssueResolvedAsWritten:ec49ea9eebb423864be1ae9478938943a2b40caafe65528ba48109a32fceb1ff
- attributes
- —
- conclusion
- Arguments
- Identifier
- issue
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- issue_resolved
- evidence
- —
- Identifier
- ec49ea9eebb423864be1ae9478938943a2b40caafe65528ba48109a32fceb1ff
- Type
- rule_application
- Premises
- caa657d0c25de9ae817c295d1dd9012ac021de9bb79d80a16efce9711d8ad26e
- Rule
- IssueResolvedAsWritten
- sourceAnchors
- —
- substitution
- v0
- Identifier
- issue
- Type
- entity_ref
rule_application · urn:proof:apply:SlaveAdjudgedOnWitness:9a41a9b3a300c305558c71c993c55d12f2d6a5808e80ae0705005e9f4ec31019
- attributes
- —
- conclusion
- Arguments
- Identifier
- plaintiff
- Type
- entity_ref
- Identifier
- slave
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- slave_adjudged_to
- evidence
- —
- Identifier
- 9a41a9b3a300c305558c71c993c55d12f2d6a5808e80ae0705005e9f4ec31019
- Type
- rule_application
- Premises
- caa657d0c25de9ae817c295d1dd9012ac021de9bb79d80a16efce9711d8ad26e
- fact-1
- fact-3
- fact-8
- fact-9
- Rule
- SlaveAdjudgedOnWitness
- sourceAnchors
- —
- substitution
- v0
- Identifier
- issue
- Type
- entity_ref
- v1
- Identifier
- slave
- Type
- entity_ref
- v2
- Identifier
- claim-a
- Type
- entity_ref
- v3
- Identifier
- plaintiff
- Type
- entity_ref
- v4
- Identifier
- witness
- Type
- entity_ref
assertion · urn:proof:closure:urn:grc:gortyn:clir:code#WrittenModesClosure:0
- attributes
- certificate
- closure-anti-membership
- closurePolicy
- WrittenModesClosure
- completeAsOf
- 0001-01-01T00:00:00Z
- domainMember
- Identifier
- CauseOfDivorce
- Type
- entity_ref
- Saved analysis
- 0001-01-01
- conclusion
- Arguments
- Identifier
- CauseOfDivorce
- Type
- entity_ref
- Type
- literal
- Polarity
- negative
- Condition
- mode_written_for_kind
- evidence
- —
- Identifier
- WrittenModesClosure:0
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
assertion · urn:proof:closure:urn:grc:gortyn:clir:code#WrittenModesClosure:1
- attributes
- certificate
- closure-anti-membership
- closurePolicy
- WrittenModesClosure
- completeAsOf
- 0001-01-01T00:00:00Z
- domainMember
- Identifier
- DetentionTime
- Type
- entity_ref
- Saved analysis
- 0001-01-01
- conclusion
- Arguments
- Identifier
- DetentionTime
- Type
- entity_ref
- Type
- literal
- Polarity
- negative
- Condition
- mode_written_for_kind
- evidence
- —
- Identifier
- WrittenModesClosure:1
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
assertion · urn:proof:closure:urn:grc:gortyn:clir:code#WrittenModesClosure:2
- attributes
- certificate
- closure-anti-membership
- closurePolicy
- WrittenModesClosure
- completeAsOf
- 0001-01-01T00:00:00Z
- domainMember
- Identifier
- DivisionOfMovables
- Type
- entity_ref
- Saved analysis
- 0001-01-01
- conclusion
- Arguments
- Identifier
- DivisionOfMovables
- Type
- entity_ref
- Type
- literal
- Polarity
- negative
- Condition
- mode_written_for_kind
- evidence
- —
- Identifier
- WrittenModesClosure:2
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
assertion · urn:proof:closure:urn:grc:gortyn:clir:code#WrittenModesClosure:3
- attributes
- certificate
- closure-anti-membership
- closurePolicy
- WrittenModesClosure
- completeAsOf
- 0001-01-01T00:00:00Z
- domainMember
- Identifier
- GoodsClaimedFromHeiress
- Type
- entity_ref
- Saved analysis
- 0001-01-01
- conclusion
- Arguments
- Identifier
- GoodsClaimedFromHeiress
- Type
- entity_ref
- Type
- literal
- Polarity
- negative
- Condition
- mode_written_for_kind
- evidence
- —
- Identifier
- WrittenModesClosure:3
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
assertion · urn:proof:closure:urn:grc:gortyn:clir:code#WrittenModesClosure:4
- attributes
- certificate
- closure-anti-membership
- closurePolicy
- WrittenModesClosure
- completeAsOf
- 0001-01-01T00:00:00Z
- domainMember
- Identifier
- RansomTerms
- Type
- entity_ref
- Saved analysis
- 0001-01-01
- conclusion
- Arguments
- Identifier
- RansomTerms
- Type
- entity_ref
- Type
- literal
- Polarity
- negative
- Condition
- mode_written_for_kind
- evidence
- —
- Identifier
- WrittenModesClosure:4
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
assertion · urn:proof:closure:urn:grc:gortyn:clir:code#WrittenModesClosure:5
- attributes
- certificate
- closure-anti-membership
- closurePolicy
- WrittenModesClosure
- completeAsOf
- 0001-01-01T00:00:00Z
- domainMember
- Identifier
- SeizureDenialWithoutWitness
- Type
- entity_ref
- Saved analysis
- 0001-01-01
- conclusion
- Arguments
- Identifier
- SeizureDenialWithoutWitness
- Type
- entity_ref
- Type
- literal
- Polarity
- negative
- Condition
- mode_written_for_kind
- evidence
- —
- Identifier
- WrittenModesClosure:5
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
assertion · urn:proof:closure:urn:grc:gortyn:clir:code#WrittenModesClosure:6
- attributes
- certificate
- closure-anti-membership
- closurePolicy
- WrittenModesClosure
- completeAsOf
- 0001-01-01T00:00:00Z
- domainMember
- Identifier
- SlavePossessionForBoth
- Type
- entity_ref
- Saved analysis
- 0001-01-01
- conclusion
- Arguments
- Identifier
- SlavePossessionForBoth
- Type
- entity_ref
- Type
- literal
- Polarity
- negative
- Condition
- mode_written_for_kind
- evidence
- —
- Identifier
- WrittenModesClosure:6
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
assertion · urn:proof:closure:urn:grc:gortyn:clir:code#WrittenModesClosure:7
- attributes
- certificate
- closure-anti-membership
- closurePolicy
- WrittenModesClosure
- completeAsOf
- 0001-01-01T00:00:00Z
- domainMember
- Identifier
- SlavePossessionForNeither
- Type
- entity_ref
- Saved analysis
- 0001-01-01
- conclusion
- Arguments
- Identifier
- SlavePossessionForNeither
- Type
- entity_ref
- Type
- literal
- Polarity
- negative
- Condition
- mode_written_for_kind
- evidence
- —
- Identifier
- WrittenModesClosure:7
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
assertion · urn:proof:closure:urn:grc:gortyn:clir:code#WrittenModesClosure:8
- attributes
- certificate
- closure-anti-membership
- closurePolicy
- WrittenModesClosure
- completeAsOf
- 0001-01-01T00:00:00Z
- domainMember
- Identifier
- StrangerHelpedPacking
- Type
- entity_ref
- Saved analysis
- 0001-01-01
- conclusion
- Arguments
- Identifier
- StrangerHelpedPacking
- Type
- entity_ref
- Type
- literal
- Polarity
- negative
- Condition
- mode_written_for_kind
- evidence
- —
- Identifier
- WrittenModesClosure:8
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
query_evaluation · urn:proof:query:mcp
- attributes
- —
- conclusion
- literal
- Arguments
- Identifier
- plaintiff
- Type
- entity_ref
- Identifier
- slave
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- slave_adjudged_to
- truthStatus
- Established
- evidence
- —
- Identifier
- mcp
- Type
- query_evaluation
- Premises
- 9a41a9b3a300c305558c71c993c55d12f2d6a5808e80ae0705005e9f4ec31019
- sourceAnchors
- —
Calendar and proof identifiers
- Proof reference
- mcp
Original reasoning · JSON
{
"derived": [
"issue_of_kind(urn:entity:gc:issue, SlavePossessionOneSided)",
"judge_bound_by_writing(urn:entity:gc:issue)",
"issue_resolved(urn:entity:gc:issue)",
"slave_adjudged_to(urn:entity:gc:plaintiff, urn:entity:gc:slave)"
],
"derivedOmitted": 0,
"evaluation": {
"proofGraph": {
"nodes": [
{
"attributes": {
"assertion": "urn:grc:gortyn:clir:code#assert-h0e3ad325711d0e1af49fdb445a1ad9c7d395936b217ee1f9c4515eec4de6be4f"
},
"conclusion": {
"args": [
{
"id": "urn:grc:gortyn:clir:code#SlavePossessionOneSided",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:gortyn:clir:code#mode_written_for_kind"
},
"evidence": [],
"id": "urn:proof:assert:urn:grc:gortyn:clir:code#assert-h0e3ad325711d0e1af49fdb445a1ad9c7d395936b217ee1f9c4515eec4de6be4f",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-1"
},
"conclusion": {
"args": [
{
"id": "urn:entity:gc:issue",
"kind": "entity_ref"
},
{
"id": "urn:entity:gc:slave",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:gortyn:clir:code#slave_possession_issue"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-1",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-2"
},
"conclusion": {
"args": [
{
"id": "urn:entity:gc:issue",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:gortyn:clir:code#contested"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-2",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-3"
},
"conclusion": {
"args": [
{
"id": "urn:entity:gc:claim-a",
"kind": "entity_ref"
},
{
"id": "urn:entity:gc:issue",
"kind": "entity_ref"
},
{
"id": "urn:entity:gc:plaintiff",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:gortyn:clir:code#claim_in"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-3",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-5"
},
"conclusion": {
"args": [
{
"id": "urn:entity:gc:claim-a",
"kind": "entity_ref"
},
{
"id": "urn:entity:gc:claim-b",
"kind": "entity_ref"
},
{
"id": "urn:entity:gc:issue",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:gortyn:clir:code#opposing_claims"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-5",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-7"
},
"conclusion": {
"args": [
{
"id": "urn:entity:gc:claim-b",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:gortyn:clir:code#checked_claim"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-7",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-8"
},
"conclusion": {
"args": [
{
"id": "urn:entity:gc:claim-a",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:gortyn:clir:code#attested"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-8",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-9"
},
"conclusion": {
"args": [
{
"id": "urn:entity:gc:witness",
"kind": "entity_ref"
},
{
"id": "urn:entity:gc:issue",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:gortyn:clir:code#witness_declares"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-9",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"certificate": "closure-anti-membership",
"closurePolicy": "urn:grc:gortyn:clir:code#ClaimAttestationClosure",
"completeAsOf": "0001-01-01T00:00:00Z",
"domainMember": {
"id": "urn:entity:gc:claim-b",
"kind": "entity_ref"
},
"snapshot": "urn:grc:gortyn:snapshot:cl-attestation:0001-01-01"
},
"conclusion": {
"args": [
{
"id": "urn:entity:gc:claim-b",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "negative",
"predicate": "urn:grc:gortyn:clir:code#attested"
},
"evidence": [],
"id": "urn:proof:closure:urn:grc:gortyn:clir:code#ClaimAttestationClosure:0",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:entity:gc:issue",
"kind": "entity_ref"
},
{
"id": "urn:grc:gortyn:clir:code#SlavePossessionOneSided",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:gortyn:clir:code#issue_of_kind"
},
"evidence": [],
"id": "urn:proof:apply:SlavePossessionOneSidedTestimony:fb1bd9ead972175a514fd425a93b101b54939ac3d68081262ea8c926d1764a8f",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:mcp:case#fact-1",
"urn:proof:assert:urn:mcp:case#fact-5",
"urn:proof:assert:urn:mcp:case#fact-7",
"urn:proof:assert:urn:mcp:case#fact-8",
"urn:proof:closure:urn:grc:gortyn:clir:code#ClaimAttestationClosure:0"
],
"rule": "urn:grc:gortyn:clir:code#SlavePossessionOneSidedTestimony",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:entity:gc:issue",
"kind": "entity_ref"
},
"v1": {
"id": "urn:entity:gc:slave",
"kind": "entity_ref"
},
"v2": {
"id": "urn:entity:gc:claim-a",
"kind": "entity_ref"
},
"v3": {
"id": "urn:entity:gc:claim-b",
"kind": "entity_ref"
}
}
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:entity:gc:issue",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:gortyn:clir:code#judge_bound_by_writing"
},
"evidence": [],
"id": "urn:proof:apply:JudgeBoundWhereModeIsWritten:caa657d0c25de9ae817c295d1dd9012ac021de9bb79d80a16efce9711d8ad26e",
"kind": "rule_application",
"premises": [
"urn:proof:apply:SlavePossessionOneSidedTestimony:fb1bd9ead972175a514fd425a93b101b54939ac3d68081262ea8c926d1764a8f",
"urn:proof:assert:urn:grc:gortyn:clir:code#assert-h0e3ad325711d0e1af49fdb445a1ad9c7d395936b217ee1f9c4515eec4de6be4f",
"urn:proof:assert:urn:mcp:case#fact-2"
],
"rule": "urn:grc:gortyn:clir:code#JudgeBoundWhereModeIsWritten",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:entity:gc:issue",
"kind": "entity_ref"
},
"v1": {
"id": "urn:grc:gortyn:clir:code#SlavePossessionOneSided",
"kind": "entity_ref"
}
}
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:entity:gc:issue",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:gortyn:clir:code#issue_resolved"
},
"evidence": [],
"id": "urn:proof:apply:IssueResolvedAsWritten:ec49ea9eebb423864be1ae9478938943a2b40caafe65528ba48109a32fceb1ff",
"kind": "rule_application",
"premises": [
"urn:proof:apply:JudgeBoundWhereModeIsWritten:caa657d0c25de9ae817c295d1dd9012ac021de9bb79d80a16efce9711d8ad26e"
],
"rule": "urn:grc:gortyn:clir:code#IssueResolvedAsWritten",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:entity:gc:issue",
"kind": "entity_ref"
}
}
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:entity:gc:plaintiff",
"kind": "entity_ref"
},
{
"id": "urn:entity:gc:slave",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:gortyn:clir:code#slave_adjudged_to"
},
"evidence": [],
"id": "urn:proof:apply:SlaveAdjudgedOnWitness:9a41a9b3a300c305558c71c993c55d12f2d6a5808e80ae0705005e9f4ec31019",
"kind": "rule_application",
"premises": [
"urn:proof:apply:JudgeBoundWhereModeIsWritten:caa657d0c25de9ae817c295d1dd9012ac021de9bb79d80a16efce9711d8ad26e",
"urn:proof:assert:urn:mcp:case#fact-1",
"urn:proof:assert:urn:mcp:case#fact-3",
"urn:proof:assert:urn:mcp:case#fact-8",
"urn:proof:assert:urn:mcp:case#fact-9"
],
"rule": "urn:grc:gortyn:clir:code#SlaveAdjudgedOnWitness",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:entity:gc:issue",
"kind": "entity_ref"
},
"v1": {
"id": "urn:entity:gc:slave",
"kind": "entity_ref"
},
"v2": {
"id": "urn:entity:gc:claim-a",
"kind": "entity_ref"
},
"v3": {
"id": "urn:entity:gc:plaintiff",
"kind": "entity_ref"
},
"v4": {
"id": "urn:entity:gc:witness",
"kind": "entity_ref"
}
}
},
{
"attributes": {
"certificate": "closure-anti-membership",
"closurePolicy": "urn:grc:gortyn:clir:code#WrittenModesClosure",
"completeAsOf": "0001-01-01T00:00:00Z",
"domainMember": {
"id": "urn:grc:gortyn:clir:code#CauseOfDivorce",
"kind": "entity_ref"
},
"snapshot": "urn:grc:gortyn:snapshot:written-modes:0001-01-01"
},
"conclusion": {
"args": [
{
"id": "urn:grc:gortyn:clir:code#CauseOfDivorce",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "negative",
"predicate": "urn:grc:gortyn:clir:code#mode_written_for_kind"
},
"evidence": [],
"id": "urn:proof:closure:urn:grc:gortyn:clir:code#WrittenModesClosure:0",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"certificate": "closure-anti-membership",
"closurePolicy": "urn:grc:gortyn:clir:code#WrittenModesClosure",
"completeAsOf": "0001-01-01T00:00:00Z",
"domainMember": {
"id": "urn:grc:gortyn:clir:code#DetentionTime",
"kind": "entity_ref"
},
"snapshot": "urn:grc:gortyn:snapshot:written-modes:0001-01-01"
},
"conclusion": {
"args": [
{
"id": "urn:grc:gortyn:clir:code#DetentionTime",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "negative",
"predicate": "urn:grc:gortyn:clir:code#mode_written_for_kind"
},
"evidence": [],
"id": "urn:proof:closure:urn:grc:gortyn:clir:code#WrittenModesClosure:1",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"certificate": "closure-anti-membership",
"closurePolicy": "urn:grc:gortyn:clir:code#WrittenModesClosure",
"completeAsOf": "0001-01-01T00:00:00Z",
"domainMember": {
"id": "urn:grc:gortyn:clir:code#DivisionOfMovables",
"kind": "entity_ref"
},
"snapshot": "urn:grc:gortyn:snapshot:written-modes:0001-01-01"
},
"conclusion": {
"args": [
{
"id": "urn:grc:gortyn:clir:code#DivisionOfMovables",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "negative",
"predicate": "urn:grc:gortyn:clir:code#mode_written_for_kind"
},
"evidence": [],
"id": "urn:proof:closure:urn:grc:gortyn:clir:code#WrittenModesClosure:2",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"certificate": "closure-anti-membership",
"closurePolicy": "urn:grc:gortyn:clir:code#WrittenModesClosure",
"completeAsOf": "0001-01-01T00:00:00Z",
"domainMember": {
"id": "urn:grc:gortyn:clir:code#GoodsClaimedFromHeiress",
"kind": "entity_ref"
},
"snapshot": "urn:grc:gortyn:snapshot:written-modes:0001-01-01"
},
"conclusion": {
"args": [
{
"id": "urn:grc:gortyn:clir:code#GoodsClaimedFromHeiress",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "negative",
"predicate": "urn:grc:gortyn:clir:code#mode_written_for_kind"
},
"evidence": [],
"id": "urn:proof:closure:urn:grc:gortyn:clir:code#WrittenModesClosure:3",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"certificate": "closure-anti-membership",
"closurePolicy": "urn:grc:gortyn:clir:code#WrittenModesClosure",
"completeAsOf": "0001-01-01T00:00:00Z",
"domainMember": {
"id": "urn:grc:gortyn:clir:code#RansomTerms",
"kind": "entity_ref"
},
"snapshot": "urn:grc:gortyn:snapshot:written-modes:0001-01-01"
},
"conclusion": {
"args": [
{
"id": "urn:grc:gortyn:clir:code#RansomTerms",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "negative",
"predicate": "urn:grc:gortyn:clir:code#mode_written_for_kind"
},
"evidence": [],
"id": "urn:proof:closure:urn:grc:gortyn:clir:code#WrittenModesClosure:4",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"certificate": "closure-anti-membership",
"closurePolicy": "urn:grc:gortyn:clir:code#WrittenModesClosure",
"completeAsOf": "0001-01-01T00:00:00Z",
"domainMember": {
"id": "urn:grc:gortyn:clir:code#SeizureDenialWithoutWitness",
"kind": "entity_ref"
},
"snapshot": "urn:grc:gortyn:snapshot:written-modes:0001-01-01"
},
"conclusion": {
"args": [
{
"id": "urn:grc:gortyn:clir:code#SeizureDenialWithoutWitness",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "negative",
"predicate": "urn:grc:gortyn:clir:code#mode_written_for_kind"
},
"evidence": [],
"id": "urn:proof:closure:urn:grc:gortyn:clir:code#WrittenModesClosure:5",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"certificate": "closure-anti-membership",
"closurePolicy": "urn:grc:gortyn:clir:code#WrittenModesClosure",
"completeAsOf": "0001-01-01T00:00:00Z",
"domainMember": {
"id": "urn:grc:gortyn:clir:code#SlavePossessionForBoth",
"kind": "entity_ref"
},
"snapshot": "urn:grc:gortyn:snapshot:written-modes:0001-01-01"
},
"conclusion": {
"args": [
{
"id": "urn:grc:gortyn:clir:code#SlavePossessionForBoth",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "negative",
"predicate": "urn:grc:gortyn:clir:code#mode_written_for_kind"
},
"evidence": [],
"id": "urn:proof:closure:urn:grc:gortyn:clir:code#WrittenModesClosure:6",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"certificate": "closure-anti-membership",
"closurePolicy": "urn:grc:gortyn:clir:code#WrittenModesClosure",
"completeAsOf": "0001-01-01T00:00:00Z",
"domainMember": {
"id": "urn:grc:gortyn:clir:code#SlavePossessionForNeither",
"kind": "entity_ref"
},
"snapshot": "urn:grc:gortyn:snapshot:written-modes:0001-01-01"
},
"conclusion": {
"args": [
{
"id": "urn:grc:gortyn:clir:code#SlavePossessionForNeither",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "negative",
"predicate": "urn:grc:gortyn:clir:code#mode_written_for_kind"
},
"evidence": [],
"id": "urn:proof:closure:urn:grc:gortyn:clir:code#WrittenModesClosure:7",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"certificate": "closure-anti-membership",
"closurePolicy": "urn:grc:gortyn:clir:code#WrittenModesClosure",
"completeAsOf": "0001-01-01T00:00:00Z",
"domainMember": {
"id": "urn:grc:gortyn:clir:code#StrangerHelpedPacking",
"kind": "entity_ref"
},
"snapshot": "urn:grc:gortyn:snapshot:written-modes:0001-01-01"
},
"conclusion": {
"args": [
{
"id": "urn:grc:gortyn:clir:code#StrangerHelpedPacking",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "negative",
"predicate": "urn:grc:gortyn:clir:code#mode_written_for_kind"
},
"evidence": [],
"id": "urn:proof:closure:urn:grc:gortyn:clir:code#WrittenModesClosure:8",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"literal": {
"args": [
{
"id": "urn:entity:gc:plaintiff",
"kind": "entity_ref"
},
{
"id": "urn:entity:gc:slave",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:gortyn:clir:code#slave_adjudged_to"
},
"truthStatus": "TRUE_ONLY"
},
"evidence": [],
"id": "urn:proof:query:mcp",
"kind": "query_evaluation",
"premises": [
"urn:proof:apply:SlaveAdjudgedOnWitness:9a41a9b3a300c305558c71c993c55d12f2d6a5808e80ae0705005e9f4ec31019"
],
"sourceAnchors": []
}
],
"proofHash": "sha256:f46495e31165c1eaf15e2e265c45da437a41193deb872807511da853eb6ec1c9",
"roots": [
"urn:proof:query:mcp"
]
},
"resultHash": "sha256:2f27e06692d7ac9ba8c53dc988746494b4de5afe42b94a9e75feab70438adf19",
"schemaVersion": "law.core.evaluation/0.2"
},
"proofRef": "urn:proof:query:mcp",
"rulesApplied": [
"urn:grc:gortyn:clir:code#IssueResolvedAsWritten",
"urn:grc:gortyn:clir:code#JudgeBoundWhereModeIsWritten",
"urn:grc:gortyn:clir:code#SlaveAdjudgedOnWitness",
"urn:grc:gortyn:clir:code#SlavePossessionOneSidedTestimony"
]
}SourcesExcerpts: 2
Article 1
Гортинские законы (Крит, ок. 450 г. до н. э.; перевод H. J. Roby, 1886) — юрисдикция Gortyn, НЕ Республика Казахстан — исторический памятник — EXECUTABLE 20 §33.1
I. Whoever is going to contend 1 about a freeman or a slave, shall not lead him away before trial. And if he lead him away (the judge) shall adjudge (a fine of) ten staters in case of a freeman, five in case of a slave for leading him away, and shall judge that he let him go within three days. And if he shall not let him go, he shall adjudge (a fine of) a stater in case of a freeman, a drachm 2 in case of a slave for each day until he let him go, and with respect to the time the judge shall decide on oath. And if he should deny leading him away, the judge shall decide on oath, unless a witness should declare. And if the one contend that he is free and the other that he is a slave, the stronger shall be they who declare him to be free. And if they contend about a slave, saying each that it is his (slave), if a witness declare it, the judge shall decide according to the witness, but if they either declare for both or for neither, the judge shall decide on oath. And if the possessor lose his suit, he shall let a freeman go within five days, but a slave he shall five back into hands (of his opponent). And if he let him not go or five him not back (the judge) shall adjudge him to win in case of a freeman fifty staters, and a stater for each day until he let him go, and in case of a slave ten staters and a drachm for each day until he give back into hands. And if the judge shall adjudge (a fine), there shall be exacted within a year a threefold 3 or less, not more, and with respect to the time the judge shall decide on oath. And if the slave, in whosesoever case he has lost his suit, take sanctuary, (the defendant) summoning him in the presence or two witnesses, runners 4, freemen shall point out (the fact) at the temple wherever 5 he be in sanctuary 6, either (the defendant) himself or another on his behalf; and if he summon not and point not out, he shall restore what has been written. And if he even give him not back in the year, he shall besides restore the single values 7, and if he die, while the suit is in contention, he shall restore the single value. And if (one when) Ruling 8 lead away (a slave), or another lead away (a slave) of one Ruling 1, if he leave office, he shall contend, and if he lose his suit he shall restore . . . what has been written. To one that leads away (a slave) won in a suit . . . .(or) pledged, there shall be no damage.
Original data · JSON
{
"contentHash": "sha256:bd9fc6db001a1517b53508f70e05922d54694d09493e507993186346cd6c0fa0",
"edition": "urn:grc:gortyn:clir:code#GORTYN_CODE_ROBY",
"fragmentKind": "section",
"id": "urn:grc:gortyn:clir:code#GC_S01",
"kind": "fragment",
"locator": "article/1",
"package": "urn:grc:gortyn:clir:code",
"texts": [
{
"contentHash": "sha256:a0f3fd714d47549a59175a6f26bb1577a731346a5024bc59f3fbb435302d4194",
"language": "en",
"status": "official",
"text": "I.\nWhoever is going to contend 1 about a freeman or a slave, shall not lead him away before trial. And if\nhe lead him away (the judge) shall adjudge (a fine of) ten staters in case of a freeman, five in case of a\nslave for leading him away, and shall judge that he let him go within three days. And if he shall not let\nhim go, he shall adjudge (a fine of) a stater in case of a freeman, a drachm 2 in case of a slave for each day\nuntil he let him go, and with respect to the time the judge shall decide on oath.\nAnd if he should deny leading him away, the judge shall decide on oath, unless a witness should\ndeclare.\nAnd if the one contend that he is free and the other that he is a slave, the stronger shall be they who\ndeclare him to be free. And if they contend about a slave, saying each that it is his (slave), if a witness\ndeclare it, the judge shall decide according to the witness, but if they either declare for both or for neither,\nthe judge shall decide on oath.\nAnd if the possessor lose his suit, he shall let a freeman go within five days, but a slave he shall five\nback into hands (of his opponent). And if he let him not go or five him not back (the judge) shall adjudge\nhim to win in case of a freeman fifty staters, and a stater for each day until he let him go, and in case of a\nslave ten staters and a drachm for each day until he give back into hands. And if the judge shall adjudge (a\nfine), there shall be exacted within a year a threefold 3 or less, not more, and with respect to the time the\njudge shall decide on oath.\nAnd if the slave, in whosesoever case he has lost his suit, take sanctuary, (the defendant) summoning\nhim in the presence or two witnesses, runners 4, freemen shall point out (the fact) at the temple wherever 5\nhe be in sanctuary 6, either (the defendant) himself or another on his behalf; and if he summon not and\npoint not out, he shall restore what has been written.\nAnd if he even give him not back in the year, he shall besides restore the single values 7, and if he die,\nwhile the suit is in contention, he shall restore the single value. And if (one when) Ruling 8 lead away (a\nslave), or another lead away (a slave) of one Ruling 1, if he leave office, he shall contend, and if he lose\nhis suit he shall restore . . . what has been written.\nTo one that leads away (a slave) won in a suit . . . .(or) pledged, there shall be no damage."
}
]
}Article 16
Гортинские законы (Крит, ок. 450 г. до н. э.; перевод H. J. Roby, 1886) — юрисдикция Gortyn, НЕ Республика Казахстан — исторический памятник — EXECUTABLE 20 §33.1
A judge, whatever it has been written he should judge according to witnesses or as denied on oath, shall so judge as has been written; and in respect of other matters he shall decide on oath in reference to the matters in contention.
Original data · JSON
{
"contentHash": "sha256:e8af8496a27058905b7a8cad36966a86bf88a6c69afbe213598512e3207ee0bb",
"edition": "urn:grc:gortyn:clir:code#GORTYN_CODE_ROBY",
"fragmentKind": "section",
"id": "urn:grc:gortyn:clir:code#GC_S16",
"kind": "fragment",
"locator": "article/16",
"package": "urn:grc:gortyn:clir:code",
"texts": [
{
"contentHash": "sha256:78530469a334f03a1b070cdd4b404b1d30aa7fee9ba3b4aaac18f184e510e4c8",
"language": "en",
"status": "official",
"text": "A judge, whatever it has been written he should judge according to witnesses or as denied on oath,\nshall so judge as has been written; and in respect of other matters he shall decide on oath in reference to\nthe matters in contention."
}
]
}Packages in the snapshot
- Гортинские законы (Крит, ок. 450 г. до н. э.; перевод H. J. Roby, 1886) — юрисдикция Gortyn, НЕ Республика Казахстан — исторический памятник — EXECUTABLE 20 §33.1
Technical dataFull response, parameters and checksums
- Calculation status
- COMPUTED
Full engine response
Complete machine result · JSON
{
"answer": {
"evaluationStatus": "COMPUTED",
"kind": "TRUTH",
"meaning": "установлено",
"missingInputs": [],
"truthStatus": "TRUE_ONLY"
},
"closedEditionRules": [],
"derived": [
"issue_of_kind(urn:entity:gc:issue, SlavePossessionOneSided)",
"judge_bound_by_writing(urn:entity:gc:issue)",
"issue_resolved(urn:entity:gc:issue)",
"slave_adjudged_to(urn:entity:gc:plaintiff, urn:entity:gc:slave)"
],
"derivedOmitted": 0,
"evaluation": {
"proofGraph": {
"nodes": [
{
"attributes": {
"assertion": "urn:grc:gortyn:clir:code#assert-h0e3ad325711d0e1af49fdb445a1ad9c7d395936b217ee1f9c4515eec4de6be4f"
},
"conclusion": {
"args": [
{
"id": "urn:grc:gortyn:clir:code#SlavePossessionOneSided",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:gortyn:clir:code#mode_written_for_kind"
},
"evidence": [],
"id": "urn:proof:assert:urn:grc:gortyn:clir:code#assert-h0e3ad325711d0e1af49fdb445a1ad9c7d395936b217ee1f9c4515eec4de6be4f",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-1"
},
"conclusion": {
"args": [
{
"id": "urn:entity:gc:issue",
"kind": "entity_ref"
},
{
"id": "urn:entity:gc:slave",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:gortyn:clir:code#slave_possession_issue"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-1",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-2"
},
"conclusion": {
"args": [
{
"id": "urn:entity:gc:issue",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:gortyn:clir:code#contested"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-2",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-3"
},
"conclusion": {
"args": [
{
"id": "urn:entity:gc:claim-a",
"kind": "entity_ref"
},
{
"id": "urn:entity:gc:issue",
"kind": "entity_ref"
},
{
"id": "urn:entity:gc:plaintiff",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:gortyn:clir:code#claim_in"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-3",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-5"
},
"conclusion": {
"args": [
{
"id": "urn:entity:gc:claim-a",
"kind": "entity_ref"
},
{
"id": "urn:entity:gc:claim-b",
"kind": "entity_ref"
},
{
"id": "urn:entity:gc:issue",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:gortyn:clir:code#opposing_claims"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-5",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-7"
},
"conclusion": {
"args": [
{
"id": "urn:entity:gc:claim-b",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:gortyn:clir:code#checked_claim"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-7",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-8"
},
"conclusion": {
"args": [
{
"id": "urn:entity:gc:claim-a",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:gortyn:clir:code#attested"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-8",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-9"
},
"conclusion": {
"args": [
{
"id": "urn:entity:gc:witness",
"kind": "entity_ref"
},
{
"id": "urn:entity:gc:issue",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:gortyn:clir:code#witness_declares"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-9",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"certificate": "closure-anti-membership",
"closurePolicy": "urn:grc:gortyn:clir:code#ClaimAttestationClosure",
"completeAsOf": "0001-01-01T00:00:00Z",
"domainMember": {
"id": "urn:entity:gc:claim-b",
"kind": "entity_ref"
},
"snapshot": "urn:grc:gortyn:snapshot:cl-attestation:0001-01-01"
},
"conclusion": {
"args": [
{
"id": "urn:entity:gc:claim-b",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "negative",
"predicate": "urn:grc:gortyn:clir:code#attested"
},
"evidence": [],
"id": "urn:proof:closure:urn:grc:gortyn:clir:code#ClaimAttestationClosure:0",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:entity:gc:issue",
"kind": "entity_ref"
},
{
"id": "urn:grc:gortyn:clir:code#SlavePossessionOneSided",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:gortyn:clir:code#issue_of_kind"
},
"evidence": [],
"id": "urn:proof:apply:SlavePossessionOneSidedTestimony:fb1bd9ead972175a514fd425a93b101b54939ac3d68081262ea8c926d1764a8f",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:mcp:case#fact-1",
"urn:proof:assert:urn:mcp:case#fact-5",
"urn:proof:assert:urn:mcp:case#fact-7",
"urn:proof:assert:urn:mcp:case#fact-8",
"urn:proof:closure:urn:grc:gortyn:clir:code#ClaimAttestationClosure:0"
],
"rule": "urn:grc:gortyn:clir:code#SlavePossessionOneSidedTestimony",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:entity:gc:issue",
"kind": "entity_ref"
},
"v1": {
"id": "urn:entity:gc:slave",
"kind": "entity_ref"
},
"v2": {
"id": "urn:entity:gc:claim-a",
"kind": "entity_ref"
},
"v3": {
"id": "urn:entity:gc:claim-b",
"kind": "entity_ref"
}
}
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:entity:gc:issue",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:gortyn:clir:code#judge_bound_by_writing"
},
"evidence": [],
"id": "urn:proof:apply:JudgeBoundWhereModeIsWritten:caa657d0c25de9ae817c295d1dd9012ac021de9bb79d80a16efce9711d8ad26e",
"kind": "rule_application",
"premises": [
"urn:proof:apply:SlavePossessionOneSidedTestimony:fb1bd9ead972175a514fd425a93b101b54939ac3d68081262ea8c926d1764a8f",
"urn:proof:assert:urn:grc:gortyn:clir:code#assert-h0e3ad325711d0e1af49fdb445a1ad9c7d395936b217ee1f9c4515eec4de6be4f",
"urn:proof:assert:urn:mcp:case#fact-2"
],
"rule": "urn:grc:gortyn:clir:code#JudgeBoundWhereModeIsWritten",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:entity:gc:issue",
"kind": "entity_ref"
},
"v1": {
"id": "urn:grc:gortyn:clir:code#SlavePossessionOneSided",
"kind": "entity_ref"
}
}
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:entity:gc:issue",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:gortyn:clir:code#issue_resolved"
},
"evidence": [],
"id": "urn:proof:apply:IssueResolvedAsWritten:ec49ea9eebb423864be1ae9478938943a2b40caafe65528ba48109a32fceb1ff",
"kind": "rule_application",
"premises": [
"urn:proof:apply:JudgeBoundWhereModeIsWritten:caa657d0c25de9ae817c295d1dd9012ac021de9bb79d80a16efce9711d8ad26e"
],
"rule": "urn:grc:gortyn:clir:code#IssueResolvedAsWritten",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:entity:gc:issue",
"kind": "entity_ref"
}
}
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:entity:gc:plaintiff",
"kind": "entity_ref"
},
{
"id": "urn:entity:gc:slave",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:gortyn:clir:code#slave_adjudged_to"
},
"evidence": [],
"id": "urn:proof:apply:SlaveAdjudgedOnWitness:9a41a9b3a300c305558c71c993c55d12f2d6a5808e80ae0705005e9f4ec31019",
"kind": "rule_application",
"premises": [
"urn:proof:apply:JudgeBoundWhereModeIsWritten:caa657d0c25de9ae817c295d1dd9012ac021de9bb79d80a16efce9711d8ad26e",
"urn:proof:assert:urn:mcp:case#fact-1",
"urn:proof:assert:urn:mcp:case#fact-3",
"urn:proof:assert:urn:mcp:case#fact-8",
"urn:proof:assert:urn:mcp:case#fact-9"
],
"rule": "urn:grc:gortyn:clir:code#SlaveAdjudgedOnWitness",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:entity:gc:issue",
"kind": "entity_ref"
},
"v1": {
"id": "urn:entity:gc:slave",
"kind": "entity_ref"
},
"v2": {
"id": "urn:entity:gc:claim-a",
"kind": "entity_ref"
},
"v3": {
"id": "urn:entity:gc:plaintiff",
"kind": "entity_ref"
},
"v4": {
"id": "urn:entity:gc:witness",
"kind": "entity_ref"
}
}
},
{
"attributes": {
"certificate": "closure-anti-membership",
"closurePolicy": "urn:grc:gortyn:clir:code#WrittenModesClosure",
"completeAsOf": "0001-01-01T00:00:00Z",
"domainMember": {
"id": "urn:grc:gortyn:clir:code#CauseOfDivorce",
"kind": "entity_ref"
},
"snapshot": "urn:grc:gortyn:snapshot:written-modes:0001-01-01"
},
"conclusion": {
"args": [
{
"id": "urn:grc:gortyn:clir:code#CauseOfDivorce",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "negative",
"predicate": "urn:grc:gortyn:clir:code#mode_written_for_kind"
},
"evidence": [],
"id": "urn:proof:closure:urn:grc:gortyn:clir:code#WrittenModesClosure:0",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"certificate": "closure-anti-membership",
"closurePolicy": "urn:grc:gortyn:clir:code#WrittenModesClosure",
"completeAsOf": "0001-01-01T00:00:00Z",
"domainMember": {
"id": "urn:grc:gortyn:clir:code#DetentionTime",
"kind": "entity_ref"
},
"snapshot": "urn:grc:gortyn:snapshot:written-modes:0001-01-01"
},
"conclusion": {
"args": [
{
"id": "urn:grc:gortyn:clir:code#DetentionTime",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "negative",
"predicate": "urn:grc:gortyn:clir:code#mode_written_for_kind"
},
"evidence": [],
"id": "urn:proof:closure:urn:grc:gortyn:clir:code#WrittenModesClosure:1",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"certificate": "closure-anti-membership",
"closurePolicy": "urn:grc:gortyn:clir:code#WrittenModesClosure",
"completeAsOf": "0001-01-01T00:00:00Z",
"domainMember": {
"id": "urn:grc:gortyn:clir:code#DivisionOfMovables",
"kind": "entity_ref"
},
"snapshot": "urn:grc:gortyn:snapshot:written-modes:0001-01-01"
},
"conclusion": {
"args": [
{
"id": "urn:grc:gortyn:clir:code#DivisionOfMovables",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "negative",
"predicate": "urn:grc:gortyn:clir:code#mode_written_for_kind"
},
"evidence": [],
"id": "urn:proof:closure:urn:grc:gortyn:clir:code#WrittenModesClosure:2",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"certificate": "closure-anti-membership",
"closurePolicy": "urn:grc:gortyn:clir:code#WrittenModesClosure",
"completeAsOf": "0001-01-01T00:00:00Z",
"domainMember": {
"id": "urn:grc:gortyn:clir:code#GoodsClaimedFromHeiress",
"kind": "entity_ref"
},
"snapshot": "urn:grc:gortyn:snapshot:written-modes:0001-01-01"
},
"conclusion": {
"args": [
{
"id": "urn:grc:gortyn:clir:code#GoodsClaimedFromHeiress",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "negative",
"predicate": "urn:grc:gortyn:clir:code#mode_written_for_kind"
},
"evidence": [],
"id": "urn:proof:closure:urn:grc:gortyn:clir:code#WrittenModesClosure:3",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"certificate": "closure-anti-membership",
"closurePolicy": "urn:grc:gortyn:clir:code#WrittenModesClosure",
"completeAsOf": "0001-01-01T00:00:00Z",
"domainMember": {
"id": "urn:grc:gortyn:clir:code#RansomTerms",
"kind": "entity_ref"
},
"snapshot": "urn:grc:gortyn:snapshot:written-modes:0001-01-01"
},
"conclusion": {
"args": [
{
"id": "urn:grc:gortyn:clir:code#RansomTerms",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "negative",
"predicate": "urn:grc:gortyn:clir:code#mode_written_for_kind"
},
"evidence": [],
"id": "urn:proof:closure:urn:grc:gortyn:clir:code#WrittenModesClosure:4",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"certificate": "closure-anti-membership",
"closurePolicy": "urn:grc:gortyn:clir:code#WrittenModesClosure",
"completeAsOf": "0001-01-01T00:00:00Z",
"domainMember": {
"id": "urn:grc:gortyn:clir:code#SeizureDenialWithoutWitness",
"kind": "entity_ref"
},
"snapshot": "urn:grc:gortyn:snapshot:written-modes:0001-01-01"
},
"conclusion": {
"args": [
{
"id": "urn:grc:gortyn:clir:code#SeizureDenialWithoutWitness",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "negative",
"predicate": "urn:grc:gortyn:clir:code#mode_written_for_kind"
},
"evidence": [],
"id": "urn:proof:closure:urn:grc:gortyn:clir:code#WrittenModesClosure:5",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"certificate": "closure-anti-membership",
"closurePolicy": "urn:grc:gortyn:clir:code#WrittenModesClosure",
"completeAsOf": "0001-01-01T00:00:00Z",
"domainMember": {
"id": "urn:grc:gortyn:clir:code#SlavePossessionForBoth",
"kind": "entity_ref"
},
"snapshot": "urn:grc:gortyn:snapshot:written-modes:0001-01-01"
},
"conclusion": {
"args": [
{
"id": "urn:grc:gortyn:clir:code#SlavePossessionForBoth",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "negative",
"predicate": "urn:grc:gortyn:clir:code#mode_written_for_kind"
},
"evidence": [],
"id": "urn:proof:closure:urn:grc:gortyn:clir:code#WrittenModesClosure:6",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"certificate": "closure-anti-membership",
"closurePolicy": "urn:grc:gortyn:clir:code#WrittenModesClosure",
"completeAsOf": "0001-01-01T00:00:00Z",
"domainMember": {
"id": "urn:grc:gortyn:clir:code#SlavePossessionForNeither",
"kind": "entity_ref"
},
"snapshot": "urn:grc:gortyn:snapshot:written-modes:0001-01-01"
},
"conclusion": {
"args": [
{
"id": "urn:grc:gortyn:clir:code#SlavePossessionForNeither",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "negative",
"predicate": "urn:grc:gortyn:clir:code#mode_written_for_kind"
},
"evidence": [],
"id": "urn:proof:closure:urn:grc:gortyn:clir:code#WrittenModesClosure:7",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"certificate": "closure-anti-membership",
"closurePolicy": "urn:grc:gortyn:clir:code#WrittenModesClosure",
"completeAsOf": "0001-01-01T00:00:00Z",
"domainMember": {
"id": "urn:grc:gortyn:clir:code#StrangerHelpedPacking",
"kind": "entity_ref"
},
"snapshot": "urn:grc:gortyn:snapshot:written-modes:0001-01-01"
},
"conclusion": {
"args": [
{
"id": "urn:grc:gortyn:clir:code#StrangerHelpedPacking",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "negative",
"predicate": "urn:grc:gortyn:clir:code#mode_written_for_kind"
},
"evidence": [],
"id": "urn:proof:closure:urn:grc:gortyn:clir:code#WrittenModesClosure:8",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"literal": {
"args": [
{
"id": "urn:entity:gc:plaintiff",
"kind": "entity_ref"
},
{
"id": "urn:entity:gc:slave",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:gortyn:clir:code#slave_adjudged_to"
},
"truthStatus": "TRUE_ONLY"
},
"evidence": [],
"id": "urn:proof:query:mcp",
"kind": "query_evaluation",
"premises": [
"urn:proof:apply:SlaveAdjudgedOnWitness:9a41a9b3a300c305558c71c993c55d12f2d6a5808e80ae0705005e9f4ec31019"
],
"sourceAnchors": []
}
],
"proofHash": "sha256:f46495e31165c1eaf15e2e265c45da437a41193deb872807511da853eb6ec1c9",
"roots": [
"urn:proof:query:mcp"
]
},
"resultHash": "sha256:2f27e06692d7ac9ba8c53dc988746494b4de5afe42b94a9e75feab70438adf19",
"schemaVersion": "law.core.evaluation/0.2"
},
"evaluationStatus": "COMPUTED",
"issues": [],
"judgmentRequests": [],
"proofRef": "urn:proof:query:mcp",
"provenance": {
"acts": [
{
"contributed": true,
"fragmentCount": 20,
"fragments": [
"urn:grc:gortyn:clir:code#GC_S01",
"urn:grc:gortyn:clir:code#GC_S16"
],
"jurisdiction": "Gortyn",
"namespace": "urn:grc:gortyn:clir:code",
"package": "grc-gortyn-code",
"title": "Гортинские законы (Крит, ок. 450 г. до н. э.; перевод H. J. Roby, 1886) — юрисдикция Gortyn, НЕ Республика Казахстан — исторический памятник — EXECUTABLE 20 §33.1"
}
],
"caseHash": "sha256:320d22e20ebb367092d8b6b61f066b0190e1bc5b9830e81315c4dd7033a85a62",
"codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
"jurisdiction": "Гортина (Крит)",
"legalTime": "2026-09-06",
"mode": "audit",
"programHash": "sha256:5920a8bbddf1051206fb1f241998af711177989672f1646e266d6e4bfd8d8d22",
"resultHash": "sha256:2f27e06692d7ac9ba8c53dc988746494b4de5afe42b94a9e75feab70438adf19",
"rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
"timezone": "Asia/Qyzylorda"
},
"rulesApplied": [
"urn:grc:gortyn:clir:code#IssueResolvedAsWritten",
"urn:grc:gortyn:clir:code#JudgeBoundWhereModeIsWritten",
"urn:grc:gortyn:clir:code#SlaveAdjudgedOnWitness",
"urn:grc:gortyn:clir:code#SlavePossessionOneSidedTestimony"
],
"signature": {
"constants": {},
"parameters": [
{
"labels": [],
"name": "claimant",
"type": {
"name": "urn:grc:gortyn:clir:code#Person"
}
},
{
"labels": [],
"name": "s",
"type": {
"name": "urn:grc:gortyn:clir:code#Person"
}
}
],
"predicate": "urn:grc:gortyn:clir:code#slave_adjudged_to",
"schemaVersion": "law.answers.signature/0.1",
"types": {
"urn:grc:gortyn:clir:code#Person": {
"kind": "entity",
"labels": [
{
"language": "en",
"status": "official",
"text": "person"
},
{
"language": "ru-KZ",
"status": "translation",
"text": "лицо"
}
],
"namespace": "urn:grc:gortyn:clir:code",
"package": "grc.gortyn.code"
}
},
"vocab": {}
},
"vulnerableTo": [],
"whyNot": []
}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
This block is too large for inline viewing. It is included in full in the document JSON, without truncation.
Download JSON ↓JSON · calculations, sources and exact data
{
"acts": [
{
"contributed": true,
"fragmentCount": 20,
"fragments": [
"urn:grc:gortyn:clir:code#GC_S01",
"urn:grc:gortyn:clir:code#GC_S16"
],
"jurisdiction": "Gortyn",
"namespace": "urn:grc:gortyn:clir:code",
"package": "grc-gortyn-code",
"title": "Гортинские законы (Крит, ок. 450 г. до н. э.; перевод H. J. Roby, 1886) — юрисдикция Gortyn, НЕ Республика Казахстан — исторический памятник — EXECUTABLE 20 §33.1"
}
],
"caseHash": "sha256:320d22e20ebb367092d8b6b61f066b0190e1bc5b9830e81315c4dd7033a85a62",
"codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
"jurisdiction": "Гортина (Крит)",
"legalTime": "2026-09-06",
"mode": "audit",
"programHash": "sha256:5920a8bbddf1051206fb1f241998af711177989672f1646e266d6e4bfd8d8d22",
"resultHash": "sha256:2f27e06692d7ac9ba8c53dc988746494b4de5afe42b94a9e75feab70438adf19",
"rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
"timezone": "Asia/Qyzylorda"
}- evaluation SHA-256
- sha256:203155e79cd371b38fdf31eb525fefb288feeeef7ac1d29067eb42efba47946d
Original data · JSON
{
"args": [
"urn:entity:gc:plaintiff",
"urn:entity:gc:slave"
],
"facts": [
{
"args": [
"urn:entity:gc:issue",
"urn:entity:gc:slave"
],
"predicate": "slave_possession_issue"
},
{
"args": [
"urn:entity:gc:issue"
],
"predicate": "contested"
},
{
"args": [
"urn:entity:gc:claim-a",
"urn:entity:gc:issue",
"urn:entity:gc:plaintiff"
],
"predicate": "claim_in"
},
{
"args": [
"urn:entity:gc:claim-b",
"urn:entity:gc:issue",
"urn:entity:gc:defendant"
],
"predicate": "claim_in"
},
{
"args": [
"urn:entity:gc:claim-a",
"urn:entity:gc:claim-b",
"urn:entity:gc:issue"
],
"predicate": "opposing_claims"
},
{
"args": [
"urn:entity:gc:claim-a"
],
"predicate": "checked_claim"
},
{
"args": [
"urn:entity:gc:claim-b"
],
"predicate": "checked_claim"
},
{
"args": [
"urn:entity:gc:claim-a"
],
"predicate": "attested"
},
{
"args": [
"urn:entity:gc:witness",
"urn:entity:gc:issue"
],
"predicate": "witness_declares"
}
],
"kind": "truth",
"legalTime": "2026-09-06",
"package": "grc-gortyn-code",
"predicate": "slave_adjudged_to",
"proof": true
}