Проверка условия
Односторонние показания связывают судью
Результат расчёта
Установлено
Исходные параметры
Что определяем
раб присуждён названной стороне
Исходные факты
спор двух сторон о принадлежности раба
issue: issues: slaveвопрос является спорным в тяжбе
issue: issueпритязание стороны по этому вопросу
cl issue party claim-a issue plaintiff claim-b issue defendant два противостоящих притязания по этому вопросу
a: claim-ab: claim-bissue: issueпритязание, проверенное по данным показаниям
cl claim-a claim-b за это притязание свидетельствуют
cl: claim-aсвидетель свидетельствует по вопросу
witness: witnessissue: issue
Пакет: Гортинские законы (Крит, ок. 450 г. до н. э.; перевод H. J. Roby, 1886) — юрисдикция Gortyn, НЕ Республика Казахстан — исторический памятник
Дополнительные сведения
- Сохранить доказательство
- Да
Исходные данные · 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
}Почему такой результатПрименённые правила и условия
Путь вывода13 шагов
- 1происхождение не записано
для этого вида вопроса закон назвал связывающее судью средство
kind: Slave Possession One Sided
- 2факт дела
спор двух сторон о принадлежности раба
issue: urn:entity:gc:issue; s: urn:entity:gc:slave
- 3факт дела
вопрос является спорным в тяжбе
issue: urn:entity:gc:issue
- 4факт дела
притязание стороны по этому вопросу
cl: urn:entity:gc:claim-a; issue: urn:entity:gc:issue; party: urn:entity:gc:plaintiff
- 5факт дела
два противостоящих притязания по этому вопросу
a: urn:entity:gc:claim-a; b: urn:entity:gc:claim-b; issue: urn:entity:gc:issue
- 6факт дела
притязание, проверенное по данным показаниям
cl: urn:entity:gc:claim-b
- 7факт дела
за это притязание свидетельствуют
cl: urn:entity:gc:claim-a
- 8факт дела
свидетель свидетельствует по вопросу
witness: urn:entity:gc:witness; issue: urn:entity:gc:issue
- 9происхождение не записано
за это притязание свидетельствуют
не за это притязание свидетельствуют: cl: urn:entity:gc:claim-b
- 10правило
§ 1. Показание за одну сторону и не за другую — вопрос решается по свидетелю
спорный вопрос относится к этому виду: issue: urn:entity:gc:issue; kind: Slave Possession One Sided
ст. 1
Идентификатор
urn:grc:gortyn:clir:code#SlavePossessionOneSidedTestimony - 11правило
§ 16. Где закон назвал средство, судья связан им
судья обязан вынести решение, предписанное законом: issue: urn:entity:gc:issue
ст. 16
Идентификатор
urn:grc:gortyn:clir:code#JudgeBoundWhereModeIsWritten - 12правило
§ 1. По одностороннему показанию раб присуждается той стороне
раб присуждён названной стороне: claimant: urn:entity:gc:plaintiff; s: urn:entity:gc:slave
ст. 1
Идентификатор
urn:grc:gortyn:clir:code#SlaveAdjudgedOnWitness - 13запрос
Вычисление запроса
проверено движком: 4 · факт дела: 7 · происхождение не записано: 2 · Полный граф: 23 узлов
Шаги сохранённого доказательства от фактов дела к ответу. Формулы показаны как записаны в норме, с подставленными значениями; страница ничего не пересчитывает.
Основание этого ответа
Правила из сохранённой цепочки доказательства ответа.
Гортинские законы (Крит, ок. 450 г. до н. э.; перевод H. J. Roby, 1886) — юрисдикция Gortyn, НЕ Республика Казахстан — исторический памятник
§ 16. Где закон назвал средство, судья связан им
Идентификатор
urn:grc:gortyn:clir:code#JudgeBoundWhereModeIsWritten§ 1. По одностороннему показанию раб присуждается той стороне
Идентификатор
urn:grc:gortyn:clir:code#SlaveAdjudgedOnWitness§ 1. Показание за одну сторону и не за другую — вопрос решается по свидетелю
Идентификатор
urn:grc:gortyn:clir:code#SlavePossessionOneSidedTestimony
Другие правила расчёта1
Применены в общем расчёте, но не входят в цепочку доказательства этого ответа.
Гортинские законы (Крит, ок. 450 г. до н. э.; перевод H. J. Roby, 1886) — юрисдикция Gortyn, НЕ Республика Казахстан — исторический памятник
§ 16. Вопрос, по которому судья связан, разрешается написанным
Идентификатор
urn:grc:gortyn:clir:code#IssueResolvedAsWritten
Вывод по запросу
раб присуждён названной стороне
claimant: plaintiffs: slave
Другие выводы3
спорный вопрос
issue: issueОбщий субъект фактов ниже
спорный вопрос относится к этому виду
kind: Slave Possession One Sidedсудья обязан вынести решение, предписанное законом
спорный вопрос разрешён
| 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. В кратком ответе движок оставляет относящиеся к вопросу; полный перечень — в JSON расчёта ниже.
Граф доказательств
в перечне
- urn:entity:gc:claim-a
не в перечне (явный негатив по замыканию)
- urn:entity:gc:claim-b
Перечень закрыт объявлением §70: отсутствие записи в снимке даёт явный негатив с сертификатом анти-принадлежности (§231.1). Списки — узлы графа доказательства, как их записало исполнение.
в перечне
- Slave Possession One Sided
не в перечне (явный негатив по замыканию)
- 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
Перечень закрыт объявлением §70: отсутствие записи в снимке даёт явный негатив с сертификатом анти-принадлежности (§231.1). Списки — узлы графа доказательства, как их записало исполнение.
Узлы доказательств: 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
- Аргументы
- Идентификатор
- SlavePossessionOneSided
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- mode_written_for_kind
- evidence
- —
- Идентификатор
- assert-h0e3ad325711d0e1af49fdb445a1ad9c7d395936b217ee1f9c4515eec4de6be4f
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:mcp:case#fact-1
- attributes
- assertion
- fact-1
- conclusion
- Аргументы
- Идентификатор
- issue
- Тип
- entity_ref
- Идентификатор
- slave
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- slave_possession_issue
- evidence
- —
- Идентификатор
- fact-1
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:mcp:case#fact-2
- attributes
- assertion
- fact-2
- conclusion
- Аргументы
- Идентификатор
- issue
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- contested
- evidence
- —
- Идентификатор
- fact-2
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:mcp:case#fact-3
- attributes
- assertion
- fact-3
- conclusion
- Аргументы
- Идентификатор
- claim-a
- Тип
- entity_ref
- Идентификатор
- issue
- Тип
- entity_ref
- Идентификатор
- plaintiff
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- claim_in
- evidence
- —
- Идентификатор
- fact-3
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:mcp:case#fact-5
- attributes
- assertion
- fact-5
- conclusion
- Аргументы
- Идентификатор
- claim-a
- Тип
- entity_ref
- Идентификатор
- claim-b
- Тип
- entity_ref
- Идентификатор
- issue
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- opposing_claims
- evidence
- —
- Идентификатор
- fact-5
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:mcp:case#fact-7
- attributes
- assertion
- fact-7
- conclusion
- Аргументы
- Идентификатор
- claim-b
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- checked_claim
- evidence
- —
- Идентификатор
- fact-7
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:mcp:case#fact-8
- attributes
- assertion
- fact-8
- conclusion
- Аргументы
- Идентификатор
- claim-a
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- attested
- evidence
- —
- Идентификатор
- fact-8
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:mcp:case#fact-9
- attributes
- assertion
- fact-9
- conclusion
- Аргументы
- Идентификатор
- witness
- Тип
- entity_ref
- Идентификатор
- issue
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- witness_declares
- evidence
- —
- Идентификатор
- fact-9
- Тип
- assertion
- Посылки
- —
- 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
- Идентификатор
- claim-b
- Тип
- entity_ref
- Сохранённый разбор
- 0001-01-01
- conclusion
- Аргументы
- Идентификатор
- claim-b
- Тип
- entity_ref
- Тип
- literal
- Знак
- negative
- Условие
- attested
- evidence
- —
- Идентификатор
- ClaimAttestationClosure:0
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
rule_application · urn:proof:apply:SlavePossessionOneSidedTestimony:fb1bd9ead972175a514fd425a93b101b54939ac3d68081262ea8c926d1764a8f
- attributes
- —
- conclusion
- Аргументы
- Идентификатор
- issue
- Тип
- entity_ref
- Идентификатор
- SlavePossessionOneSided
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- issue_of_kind
- evidence
- —
- Идентификатор
- fb1bd9ead972175a514fd425a93b101b54939ac3d68081262ea8c926d1764a8f
- Тип
- rule_application
- Посылки
- fact-1
- fact-5
- fact-7
- fact-8
- ClaimAttestationClosure:0
- Правило
- SlavePossessionOneSidedTestimony
- sourceAnchors
- —
- substitution
- v0
- Идентификатор
- issue
- Тип
- entity_ref
- v1
- Идентификатор
- slave
- Тип
- entity_ref
- v2
- Идентификатор
- claim-a
- Тип
- entity_ref
- v3
- Идентификатор
- claim-b
- Тип
- entity_ref
rule_application · urn:proof:apply:JudgeBoundWhereModeIsWritten:caa657d0c25de9ae817c295d1dd9012ac021de9bb79d80a16efce9711d8ad26e
- attributes
- —
- conclusion
- Аргументы
- Идентификатор
- issue
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- judge_bound_by_writing
- evidence
- —
- Идентификатор
- caa657d0c25de9ae817c295d1dd9012ac021de9bb79d80a16efce9711d8ad26e
- Тип
- rule_application
- Посылки
- fb1bd9ead972175a514fd425a93b101b54939ac3d68081262ea8c926d1764a8f
- assert-h0e3ad325711d0e1af49fdb445a1ad9c7d395936b217ee1f9c4515eec4de6be4f
- fact-2
- Правило
- JudgeBoundWhereModeIsWritten
- sourceAnchors
- —
- substitution
- v0
- Идентификатор
- issue
- Тип
- entity_ref
- v1
- Идентификатор
- SlavePossessionOneSided
- Тип
- entity_ref
rule_application · urn:proof:apply:IssueResolvedAsWritten:ec49ea9eebb423864be1ae9478938943a2b40caafe65528ba48109a32fceb1ff
- attributes
- —
- conclusion
- Аргументы
- Идентификатор
- issue
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- issue_resolved
- evidence
- —
- Идентификатор
- ec49ea9eebb423864be1ae9478938943a2b40caafe65528ba48109a32fceb1ff
- Тип
- rule_application
- Посылки
- caa657d0c25de9ae817c295d1dd9012ac021de9bb79d80a16efce9711d8ad26e
- Правило
- IssueResolvedAsWritten
- sourceAnchors
- —
- substitution
- v0
- Идентификатор
- issue
- Тип
- entity_ref
rule_application · urn:proof:apply:SlaveAdjudgedOnWitness:9a41a9b3a300c305558c71c993c55d12f2d6a5808e80ae0705005e9f4ec31019
- attributes
- —
- conclusion
- Аргументы
- Идентификатор
- plaintiff
- Тип
- entity_ref
- Идентификатор
- slave
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- slave_adjudged_to
- evidence
- —
- Идентификатор
- 9a41a9b3a300c305558c71c993c55d12f2d6a5808e80ae0705005e9f4ec31019
- Тип
- rule_application
- Посылки
- caa657d0c25de9ae817c295d1dd9012ac021de9bb79d80a16efce9711d8ad26e
- fact-1
- fact-3
- fact-8
- fact-9
- Правило
- SlaveAdjudgedOnWitness
- sourceAnchors
- —
- substitution
- v0
- Идентификатор
- issue
- Тип
- entity_ref
- v1
- Идентификатор
- slave
- Тип
- entity_ref
- v2
- Идентификатор
- claim-a
- Тип
- entity_ref
- v3
- Идентификатор
- plaintiff
- Тип
- entity_ref
- v4
- Идентификатор
- witness
- Тип
- 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
- Идентификатор
- CauseOfDivorce
- Тип
- entity_ref
- Сохранённый разбор
- 0001-01-01
- conclusion
- Аргументы
- Идентификатор
- CauseOfDivorce
- Тип
- entity_ref
- Тип
- literal
- Знак
- negative
- Условие
- mode_written_for_kind
- evidence
- —
- Идентификатор
- WrittenModesClosure:0
- Тип
- assertion
- Посылки
- —
- 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
- Идентификатор
- DetentionTime
- Тип
- entity_ref
- Сохранённый разбор
- 0001-01-01
- conclusion
- Аргументы
- Идентификатор
- DetentionTime
- Тип
- entity_ref
- Тип
- literal
- Знак
- negative
- Условие
- mode_written_for_kind
- evidence
- —
- Идентификатор
- WrittenModesClosure:1
- Тип
- assertion
- Посылки
- —
- 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
- Идентификатор
- DivisionOfMovables
- Тип
- entity_ref
- Сохранённый разбор
- 0001-01-01
- conclusion
- Аргументы
- Идентификатор
- DivisionOfMovables
- Тип
- entity_ref
- Тип
- literal
- Знак
- negative
- Условие
- mode_written_for_kind
- evidence
- —
- Идентификатор
- WrittenModesClosure:2
- Тип
- assertion
- Посылки
- —
- 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
- Идентификатор
- GoodsClaimedFromHeiress
- Тип
- entity_ref
- Сохранённый разбор
- 0001-01-01
- conclusion
- Аргументы
- Идентификатор
- GoodsClaimedFromHeiress
- Тип
- entity_ref
- Тип
- literal
- Знак
- negative
- Условие
- mode_written_for_kind
- evidence
- —
- Идентификатор
- WrittenModesClosure:3
- Тип
- assertion
- Посылки
- —
- 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
- Идентификатор
- RansomTerms
- Тип
- entity_ref
- Сохранённый разбор
- 0001-01-01
- conclusion
- Аргументы
- Идентификатор
- RansomTerms
- Тип
- entity_ref
- Тип
- literal
- Знак
- negative
- Условие
- mode_written_for_kind
- evidence
- —
- Идентификатор
- WrittenModesClosure:4
- Тип
- assertion
- Посылки
- —
- 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
- Идентификатор
- SeizureDenialWithoutWitness
- Тип
- entity_ref
- Сохранённый разбор
- 0001-01-01
- conclusion
- Аргументы
- Идентификатор
- SeizureDenialWithoutWitness
- Тип
- entity_ref
- Тип
- literal
- Знак
- negative
- Условие
- mode_written_for_kind
- evidence
- —
- Идентификатор
- WrittenModesClosure:5
- Тип
- assertion
- Посылки
- —
- 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
- Идентификатор
- SlavePossessionForBoth
- Тип
- entity_ref
- Сохранённый разбор
- 0001-01-01
- conclusion
- Аргументы
- Идентификатор
- SlavePossessionForBoth
- Тип
- entity_ref
- Тип
- literal
- Знак
- negative
- Условие
- mode_written_for_kind
- evidence
- —
- Идентификатор
- WrittenModesClosure:6
- Тип
- assertion
- Посылки
- —
- 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
- Идентификатор
- SlavePossessionForNeither
- Тип
- entity_ref
- Сохранённый разбор
- 0001-01-01
- conclusion
- Аргументы
- Идентификатор
- SlavePossessionForNeither
- Тип
- entity_ref
- Тип
- literal
- Знак
- negative
- Условие
- mode_written_for_kind
- evidence
- —
- Идентификатор
- WrittenModesClosure:7
- Тип
- assertion
- Посылки
- —
- 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
- Идентификатор
- StrangerHelpedPacking
- Тип
- entity_ref
- Сохранённый разбор
- 0001-01-01
- conclusion
- Аргументы
- Идентификатор
- StrangerHelpedPacking
- Тип
- entity_ref
- Тип
- literal
- Знак
- negative
- Условие
- mode_written_for_kind
- evidence
- —
- Идентификатор
- WrittenModesClosure:8
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
query_evaluation · urn:proof:query:mcp
- attributes
- —
- conclusion
- literal
- Аргументы
- Идентификатор
- plaintiff
- Тип
- entity_ref
- Идентификатор
- slave
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- slave_adjudged_to
- truthStatus
- Установлено
- evidence
- —
- Идентификатор
- mcp
- Тип
- query_evaluation
- Посылки
- 9a41a9b3a300c305558c71c993c55d12f2d6a5808e80ae0705005e9f4ec31019
- sourceAnchors
- —
Идентификаторы календаря и доказательства
- Ссылка на доказательство
- mcp
Исходное обоснование · 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"
]
}ИсточникиФрагментов: 2
Статья 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.
Исходные данные · 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."
}
]
}Статья 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.
Исходные данные · 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."
}
]
}Пакеты в снимке
- Гортинские законы (Крит, ок. 450 г. до н. э.; перевод H. J. Roby, 1886) — юрисдикция Gortyn, НЕ Республика Казахстан — исторический памятник — EXECUTABLE 20 §33.1
Технические данныеПолный ответ, параметры и контрольные суммы
- Статус расчёта
- COMPUTED
Полный ответ движка
Полный машинный результат · 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": []
}Исполнение · JSON
Блок слишком большой для встроенного просмотра. Он целиком включён в JSON документа — без сокращений.
Скачать JSON ↓Метаданные отображения
Блок слишком большой для встроенного просмотра. Он целиком включён в JSON документа — без сокращений.
Скачать JSON ↓JSON · расчёты, источники и точные данные
{
"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
Исходные данные · 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
}