У ребёнка генотип IᴬI по системе AB0: какая у него группа крови? Можно ли из группы O у матери заключить о её генотипе, и что меняет бомбейский фенотип?

Аллель Iᴬ доминирует над i, поэтому генотип Iᴬ/i даёт группу A. Группа O у матери лишь презюмирует генотип i/i: установленный бомбейский фенотип hh отменяет презумпцию, потому что при hh антигены AB0 не экспрессируются независимо от аллелей. Мать i/i и ребёнок AB исключают любого предполагаемого отца в модели AB0, но это вывод об исключении, а не установление отцовства в остальных случаях.

This is an assistant explanation, not a calculation result. Check the grounds and sources below.

At a glance

Select a result to explore its grounds

Группа крови ребёнка с генотипом Iᴬ/iCollectionгруппа AExecution: Computed Мать с группой O: презумпция генотипа i/iConditionEstablishedExecution: ComputedLogical result: Established Мать с группой O и генотипом hh: презумпция отмененаConditionNot establishedExecution: ComputedLogical result: Not established Мать i/i и ребёнок AB: отцовство исключено в модели AB0ConditionEstablishedExecution: ComputedLogical result: Established

Detailed analysis

Collection

Группа крови ребёнка с генотипом Iᴬ/i

Context date 2026-09-01

Calculation result

группа A

Elements
выводимый либо установленный фенотип ABO
группа A

Original data · JSON

[
  {
    "id": "urn:bio:clir:abo#GroupA",
    "kind": "entity_ref"
  }
]

Input parameters

What we are finding

выводимый либо установленный фенотип ABO

Ребёнок

Input facts

установленный генотип ABO
p: Ребёнокleft: аллель Iᴬright: аллель i

Package: ABO/Rh и X-сцепленная гемофилия: авторское учебное изложение — вне юрисдикции государства — доктрина

Additional details

Include proof: Yes

Original data · JSON

{
  "args": [
    "Ребёнок",
    {
      "kind": "var",
      "var": "v0"
    }
  ],
  "facts": [
    {
      "args": [
        "Ребёнок",
        "IA",
        "i"
      ],
      "predicate": "abo_genotype"
    }
  ],
  "kind": "collect",
  "legalTime": "2026-09-01",
  "package": "bio-abo",
  "predicate": "abo_phenotype",
  "proof": true
}

Why this resultApplied rules and conditions

Derivation path3 steps

1
установленный генотип ABO
p: Ребёнок; left: аллель Iᴬ; right: аллель i
case fact
2
Генотип I-A/i даёт группу A
выводимый либо установленный фенотип ABO: p: Ребёнок; group: группа A
art. 1
Identifier
urn:bio:clir:abo#IAiIsA
rule
3
Query evaluation
Records found: 1
query

verified by the engine: 2 · case fact: 1 · Full graph: 4 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.

ABO/Rh и X-сцепленная гемофилия: авторское учебное изложение — вне юрисдикции государства — доктрина

Генотип I-A/i даёт группу A
Identifier
urn:bio:clir:abo#IAiIsA

Derived result for this query

выводимый либо установленный фенотип ABO
p: Ребёнокgroup: группа A

Relationship graph

выводимый либо установленный фенотип ABO
p	group
Ребёнок	группа A

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

Proof graph · 3 layer

Proof nodes: 4 · assertion 1, rule_application 1, query_evaluation 1, source_resolution 1

assertion · urn:proof:assert:urn:mcp:case#fact-1

attributes

assertion: fact-1

conclusion

Arguments

Identifier
Ребёнок
Type
entity_ref
Identifier
IA
Type
entity_ref
Identifier
i
Type
entity_ref

Type

literal

Polarity

positive

Condition

abo_genotype

evidence

—

Identifier

fact-1

Type

assertion

Premises

—

sourceAnchors

—

rule_application · urn:proof:apply:IAiIsA:2d11b18bdd51f8514ec333627d952fd5e89bb1d29aa317d05dc301b2845b60bd

attributes

—

conclusion

Arguments

Identifier
Ребёнок
Type
entity_ref
Identifier
GroupA
Type
entity_ref

Type

literal

Polarity

positive

Condition

abo_phenotype

evidence

—

Identifier

2d11b18bdd51f8514ec333627d952fd5e89bb1d29aa317d05dc301b2845b60bd

Type

rule_application

Premises

fact-1

Rule

IAiIsA

sourceAnchors

—

substitution

Identifier: Ребёнок
Type: entity_ref

query_evaluation · urn:proof:query:mcp

attributes

—

conclusion

comprehension

distinct

Yes

element

Type: var
var: v0

generator

formula

Arguments

Identifier
Ребёнок
Type
entity_ref
Type
var
var
v0

Type

literal

Polarity

positive

Condition

abo_phenotype

Type

status

Calculation status

established

Type

comprehension

variable

Identifier: v0

count

evidence

—

Identifier

mcp

Type

query_evaluation

Premises

2d11b18bdd51f8514ec333627d952fd5e89bb1d29aa317d05dc301b2845b60bd

sourceAnchors

—

source_resolution · urn:proof:source-resolution:fe0f963adbd7fa34b53ddd0cbbe0e83810bebdde0dffb6b9c7c259baa39d54fb

attributes

contentHash: sha256:9d2132bad0c997905520b27294b4b887ca038bee1ff2b0a44f03eea844c3510c
Русский: en
Law as of: 2026-09-01
policy: legal_time
rejectedCandidates: —
work: ROGAEV_2009

conclusion

edition: ROGAEV_2009_EN
reference: ROGAEV_2009_STUDY

evidence

—

Identifier

fe0f963adbd7fa34b53ddd0cbbe0e83810bebdde0dffb6b9c7c259baa39d54fb

Type

source_resolution

Premises

—

sourceAnchors

ROGAEV_2009_STUDY

Calendar and proof identifiers

Proof reference: mcp

Original reasoning · JSON

{
  "derived": [
    "abo_phenotype(Ребёнок, GroupA)"
  ],
  "derivedOmitted": 0,
  "evaluation": {
    "proofGraph": {
      "nodes": [
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-1"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Ребёнок",
                "kind": "entity_ref"
              },
              {
                "id": "urn:bio:clir:abo#IA",
                "kind": "entity_ref"
              },
              {
                "id": "urn:bio:clir:abo#i",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:abo#abo_genotype"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-1",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Ребёнок",
                "kind": "entity_ref"
              },
              {
                "id": "urn:bio:clir:abo#GroupA",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:abo#abo_phenotype"
          },
          "evidence": [],
          "id": "urn:proof:apply:IAiIsA:2d11b18bdd51f8514ec333627d952fd5e89bb1d29aa317d05dc301b2845b60bd",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-1"
          ],
          "rule": "urn:bio:clir:abo#IAiIsA",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:mcp:entity:Ребёнок",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {},
          "conclusion": {
            "comprehension": {
              "distinct": true,
              "element": {
                "kind": "var",
                "var": "v0"
              },
              "generator": {
                "formula": {
                  "args": [
                    {
                      "id": "urn:mcp:entity:Ребёнок",
                      "kind": "entity_ref"
                    },
                    {
                      "kind": "var",
                      "var": "v0"
                    }
                  ],
                  "kind": "literal",
                  "polarity": "positive",
                  "predicate": "urn:bio:clir:abo#abo_phenotype"
                },
                "kind": "status",
                "status": "established"
              },
              "kind": "comprehension",
              "variable": {
                "id": "v0"
              }
            },
            "count": 1
          },
          "evidence": [],
          "id": "urn:proof:query:mcp",
          "kind": "query_evaluation",
          "premises": [
            "urn:proof:apply:IAiIsA:2d11b18bdd51f8514ec333627d952fd5e89bb1d29aa317d05dc301b2845b60bd"
          ],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "contentHash": "sha256:9d2132bad0c997905520b27294b4b887ca038bee1ff2b0a44f03eea844c3510c",
            "language": "en",
            "legalTime": "2026-09-01",
            "policy": "legal_time",
            "rejectedCandidates": [],
            "work": "urn:bio:clir:abo#ROGAEV_2009"
          },
          "conclusion": {
            "edition": "urn:bio:clir:abo#ROGAEV_2009_EN",
            "reference": "urn:bio:clir:abo#ROGAEV_2009_STUDY"
          },
          "evidence": [],
          "id": "urn:proof:source-resolution:fe0f963adbd7fa34b53ddd0cbbe0e83810bebdde0dffb6b9c7c259baa39d54fb",
          "kind": "source_resolution",
          "premises": [],
          "sourceAnchors": [
            "urn:bio:clir:abo#ROGAEV_2009_STUDY"
          ]
        }
      ],
      "proofHash": "sha256:39b42c887e974fc30f0cb4c86f9b51e25ae9da93d244e3605ccd4b3ca9adab58",
      "roots": [
        "urn:proof:query:mcp"
      ]
    },
    "resultHash": "sha256:4d563279177ceee6647619bdf342b9046c3e8e206ed0ed967d6b535ac4abb42a",
    "schemaVersion": "law.core.evaluation/0.2"
  },
  "proofRef": "urn:proof:query:mcp",
  "rulesApplied": [
    "urn:bio:clir:abo#IAiIsA"
  ]
}

SourcesExcerpts: 1

Article 1

ABO/Rh и X-сцепленная гемофилия: авторское учебное изложение — вне юрисдикции государства — доктрина

Аллели Iᴬ и Iᴮ кодоминантны: генотип Iᴬ/Iᴮ даёт фенотип AB. Аллель i рецессивен: i/i даёт фенотип O. Генотипы Iᴬ/Iᴬ и Iᴬ/i дают фенотип A; генотипы Iᴮ/Iᴮ и Iᴮ/i — фенотип B.

Original data · JSON

{
  "contentHash": "sha256:b54f172b79383f1268009a7a53c15f7578e1b162624a728dcbfbf8b1322f35c1",
  "edition": "urn:bio:clir:abo#ABO_RU",
  "fragmentKind": "article",
  "id": "urn:bio:clir:abo#ABO_ART1",
  "kind": "fragment",
  "locator": "article/1",
  "package": "urn:bio:clir:abo",
  "texts": [
    {
      "contentHash": "sha256:f931520d008e4ec784d9a7a5628ebec8c63abd822ea84eb239bf9b43b7583e8a",
      "language": "ru",
      "status": "official",
      "text": "Аллели Iᴬ и Iᴮ кодоминантны: генотип Iᴬ/Iᴮ даёт фенотип AB. Аллель i рецессивен: i/i даёт фенотип O. Генотипы Iᴬ/Iᴬ и Iᴬ/i дают фенотип A; генотипы Iᴮ/Iᴮ и Iᴮ/i — фенотип B."
    }
  ]
}

Packages in the snapshot

ABO/Rh и X-сцепленная гемофилия: авторское учебное изложение — вне юрисдикции государства — доктрина

Technical dataFull response, parameters and checksums

Calculation status: COMPUTED

Full engine response

Найдено записей: 1. Значения ?v0: GroupA Выведено правом: abo_phenotype(Ребёнок, GroupA) Применены правила: IAiIsA Право (вне юрисдикции государства): ABO/Rh и X-сцепленная гемофилия: авторское учебное изложение — доктрина (programHash sha256:fa7bc53564a6…) proof-граф: 4 узлов — поле evaluation готово для law_explain

Complete machine result · JSON

{
  "answer": {
    "count": 1,
    "elements": [
      {
        "id": "urn:bio:clir:abo#GroupA",
        "kind": "entity_ref"
      }
    ],
    "evaluationStatus": "COMPUTED",
    "kind": "COLLECTION",
    "missingInputs": [],
    "variable": "v0"
  },
  "closedEditionRules": [],
  "derived": [
    "abo_phenotype(Ребёнок, GroupA)"
  ],
  "derivedOmitted": 0,
  "evaluation": {
    "proofGraph": {
      "nodes": [
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-1"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Ребёнок",
                "kind": "entity_ref"
              },
              {
                "id": "urn:bio:clir:abo#IA",
                "kind": "entity_ref"
              },
              {
                "id": "urn:bio:clir:abo#i",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:abo#abo_genotype"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-1",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Ребёнок",
                "kind": "entity_ref"
              },
              {
                "id": "urn:bio:clir:abo#GroupA",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:abo#abo_phenotype"
          },
          "evidence": [],
          "id": "urn:proof:apply:IAiIsA:2d11b18bdd51f8514ec333627d952fd5e89bb1d29aa317d05dc301b2845b60bd",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-1"
          ],
          "rule": "urn:bio:clir:abo#IAiIsA",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:mcp:entity:Ребёнок",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {},
          "conclusion": {
            "comprehension": {
              "distinct": true,
              "element": {
                "kind": "var",
                "var": "v0"
              },
              "generator": {
                "formula": {
                  "args": [
                    {
                      "id": "urn:mcp:entity:Ребёнок",
                      "kind": "entity_ref"
                    },
                    {
                      "kind": "var",
                      "var": "v0"
                    }
                  ],
                  "kind": "literal",
                  "polarity": "positive",
                  "predicate": "urn:bio:clir:abo#abo_phenotype"
                },
                "kind": "status",
                "status": "established"
              },
              "kind": "comprehension",
              "variable": {
                "id": "v0"
              }
            },
            "count": 1
          },
          "evidence": [],
          "id": "urn:proof:query:mcp",
          "kind": "query_evaluation",
          "premises": [
            "urn:proof:apply:IAiIsA:2d11b18bdd51f8514ec333627d952fd5e89bb1d29aa317d05dc301b2845b60bd"
          ],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "contentHash": "sha256:9d2132bad0c997905520b27294b4b887ca038bee1ff2b0a44f03eea844c3510c",
            "language": "en",
            "legalTime": "2026-09-01",
            "policy": "legal_time",
            "rejectedCandidates": [],
            "work": "urn:bio:clir:abo#ROGAEV_2009"
          },
          "conclusion": {
            "edition": "urn:bio:clir:abo#ROGAEV_2009_EN",
            "reference": "urn:bio:clir:abo#ROGAEV_2009_STUDY"
          },
          "evidence": [],
          "id": "urn:proof:source-resolution:fe0f963adbd7fa34b53ddd0cbbe0e83810bebdde0dffb6b9c7c259baa39d54fb",
          "kind": "source_resolution",
          "premises": [],
          "sourceAnchors": [
            "urn:bio:clir:abo#ROGAEV_2009_STUDY"
          ]
        }
      ],
      "proofHash": "sha256:39b42c887e974fc30f0cb4c86f9b51e25ae9da93d244e3605ccd4b3ca9adab58",
      "roots": [
        "urn:proof:query:mcp"
      ]
    },
    "resultHash": "sha256:4d563279177ceee6647619bdf342b9046c3e8e206ed0ed967d6b535ac4abb42a",
    "schemaVersion": "law.core.evaluation/0.2"
  },
  "evaluationStatus": "COMPUTED",
  "issues": [],
  "judgmentRequests": [],
  "proofRef": "urn:proof:query:mcp",
  "provenance": {
    "acts": [
      {
        "contributed": true,
        "fragmentCount": 6,
        "fragments": [
          "urn:bio:clir:abo#ABO_ART1"
        ],
        "jurisdiction": "none",
        "namespace": "urn:bio:clir:abo",
        "package": "bio-abo",
        "title": "ABO/Rh и X-сцепленная гемофилия: авторское учебное изложение — вне юрисдикции государства — доктрина"
      }
    ],
    "caseHash": "sha256:8b19d550496a5adbfe53849bbbc7148f7e00a5c73c30685c86f854fa7589a09a",
    "codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
    "jurisdiction": "вне юрисдикции государства",
    "legalTime": "2026-09-01",
    "mode": "audit",
    "programHash": "sha256:fa7bc53564a6b5c48f5bf9966a11c9b1679bb3c5dc9ccb35ce11ea2cce030c42",
    "resultHash": "sha256:4d563279177ceee6647619bdf342b9046c3e8e206ed0ed967d6b535ac4abb42a",
    "rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
    "timezone": "Asia/Qyzylorda"
  },
  "rulesApplied": [
    "urn:bio:clir:abo#IAiIsA"
  ],
  "signature": {
    "constants": {
      "urn:bio:clir:abo#GroupA": {
        "labels": [
          {
            "language": "ru",
            "status": "unofficial",
            "text": "группа A"
          }
        ],
        "type": "urn:bio:clir:abo#ABOPhenotype",
        "value": {
          "id": "urn:bio:clir:abo#GroupA",
          "kind": "entity_ref"
        }
      }
    },
    "element": {
      "index": 1,
      "type": {
        "name": "urn:bio:clir:abo#ABOPhenotype"
      }
    },
    "parameters": [
      {
        "labels": [],
        "name": "p",
        "type": {
          "name": "urn:bio:clir:abo#Person"
        }
      },
      {
        "labels": [],
        "name": "group",
        "type": {
          "name": "urn:bio:clir:abo#ABOPhenotype"
        }
      }
    ],
    "predicate": "urn:bio:clir:abo#abo_phenotype",
    "schemaVersion": "law.answers.signature/0.1",
    "types": {
      "urn:bio:clir:abo#ABOPhenotype": {
        "kind": "entity",
        "labels": [
          {
            "language": "ru",
            "status": "unofficial",
            "text": "фенотип ABO"
          }
        ],
        "namespace": "urn:bio:clir:abo",
        "package": "bio.abo"
      },
      "urn:bio:clir:abo#Person": {
        "kind": "entity",
        "labels": [
          {
            "language": "ru",
            "status": "unofficial",
            "text": "лицо в деле"
          }
        ],
        "namespace": "urn:bio:clir:abo",
        "package": "bio.abo"
      }
    },
    "vocab": {}
  },
  "vulnerableTo": [],
  "whyNot": []
}

Execution · JSON

{
  "evaluationBytes": "{\"conflicts\":[],\"issues\":[],\"manifest\":{\"artifactHash\":\"sha256:f938d42fbcbda24192b2beeb31b90d111f566faa724c4e42b753023b694ec98e\",\"calendarSnapshot\":\"\",\"caseHash\":\"sha256:8b19d550496a5adbfe53849bbbc7148f7e00a5c73c30685c86f854fa7589a09a\",\"decisionTime\":\"2026-09-01T12:00:00+05:00\",\"evidenceSnapshotHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"externalSnapshots\":{},\"id\":\"urn:manifest:oracle-1\",\"interpretations\":[],\"knowledgeTime\":\"2026-09-01T12:00:00+05:00\",\"legalTime\":\"2026-09-01\",\"lockfileHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"mode\":\"audit\",\"policies\":{},\"programHash\":\"sha256:fa7bc53564a6b5c48f5bf9966a11c9b1679bb3c5dc9ccb35ce11ea2cce030c42\",\"resolvedEditions\":{\"urn:bio:clir:abo#ROGAEV_2009_STUDY\":\"urn:bio:clir:abo#ROGAEV_2009_EN\"},\"semanticHash\":\"sha256:b48e80093732dae1279e08f2918c7a6585eefcce7110b55a150c8fffb153e533\",\"semantics\":\"law.core/0.2\",\"theoryHash\":\"sha256:fa7bc53564a6b5c48f5bf9966a11c9b1679bb3c5dc9ccb35ce11ea2cce030c42\",\"timezone\":\"Asia/Qyzylorda\"},\"positions\":[],\"proofGraph\":{\"nodes\":[{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-1\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Ребёнок\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:abo#IA\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:abo#i\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:abo#abo_genotype\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-1\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Ребёнок\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:abo#GroupA\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:abo#abo_phenotype\"},\"evidence\":[],\"id\":\"urn:proof:apply:IAiIsA:2d11b18bdd51f8514ec333627d952fd5e89bb1d29aa317d05dc301b2845b60bd\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\"],\"rule\":\"urn:bio:clir:abo#IAiIsA\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Ребёнок\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"comprehension\":{\"distinct\":true,\"element\":{\"kind\":\"var\",\"var\":\"v0\"},\"generator\":{\"formula\":{\"args\":[{\"id\":\"urn:mcp:entity:Ребёнок\",\"kind\":\"entity_ref\"},{\"kind\":\"var\",\"var\":\"v0\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:abo#abo_phenotype\"},\"kind\":\"status\",\"status\":\"established\"},\"kind\":\"comprehension\",\"variable\":{\"id\":\"v0\"}},\"count\":1},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[\"urn:proof:apply:IAiIsA:2d11b18bdd51f8514ec333627d952fd5e89bb1d29aa317d05dc301b2845b60bd\"],\"sourceAnchors\":[]},{\"attributes\":{\"contentHash\":\"sha256:9d2132bad0c997905520b27294b4b887ca038bee1ff2b0a44f03eea844c3510c\",\"language\":\"en\",\"legalTime\":\"2026-09-01\",\"policy\":\"legal_time\",\"rejectedCandidates\":[],\"work\":\"urn:bio:clir:abo#ROGAEV_2009\"},\"conclusion\":{\"edition\":\"urn:bio:clir:abo#ROGAEV_2009_EN\",\"reference\":\"urn:bio:clir:abo#ROGAEV_2009_STUDY\"},\"evidence\":[],\"id\":\"urn:proof:source-resolution:fe0f963adbd7fa34b53ddd0cbbe0e83810bebdde0dffb6b9c7c259baa39d54fb\",\"kind\":\"source_resolution\",\"premises\":[],\"sourceAnchors\":[\"urn:bio:clir:abo#ROGAEV_2009_STUDY\"]}],\"proofHash\":\"sha256:39b42c887e974fc30f0cb4c86f9b51e25ae9da93d244e3605ccd4b3ca9adab58\",\"roots\":[\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:4d563279177ceee6647619bdf342b9046c3e8e206ed0ed967d6b535ac4abb42a\",\"results\":[{\"conflicts\":[],\"evaluationStatus\":\"COMPUTED\",\"evidence\":[],\"id\":\"urn:result:mcp\",\"judgmentRequests\":[],\"manifest\":\"urn:manifest:oracle-1\",\"missingInputs\":[],\"normativeStatusSupports\":[],\"proof\":\"urn:proof:query:mcp\",\"query\":\"urn:query:mcp\",\"resultKind\":\"COLLECTION\",\"sourceAnchors\":[],\"value\":[{\"id\":\"urn:bio:clir:abo#GroupA\",\"kind\":\"entity_ref\"}]}],\"schemaVersion\":\"law.core.evaluation/0.2\"}",
  "evaluationSha256": "sha256:71d7e583979f5556e5386d6ab00dfd4ad3e828b12e46254c78f26e1601f44777",
  "request": {
    "case": {
      "assertions": [
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-1",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:mcp:entity:Ребёнок",
                "kind": "entity_ref"
              },
              {
                "id": "urn:bio:clir:abo#IA",
                "kind": "const_ref"
              },
              {
                "id": "urn:bio:clir:abo#i",
                "kind": "const_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:abo#abo_genotype"
          },
          "origin": "case_input",
          "package": "urn:bio:clir:abo"
        }
      ],
      "context": {
        "decisionTime": "2026-09-01T12:00:00+05:00",
        "knowledgeTime": "2026-09-01T12:00:00+05:00",
        "legalTime": "2026-09-01",
        "timezone": "Asia/Qyzylorda"
      },
      "options": {
        "selectedInterpretations": []
      }
    },
    "ir": {
      "irSha256": "sha256:5314d134fa7c215201924a147faa9c1d705729997d894695ab729c38b2c0ecf5",
      "kind": "world_ref",
      "nodeCount": 63,
      "packages": [
        {
          "artifactHash": "sha256:f938d42fbcbda24192b2beeb31b90d111f566faa724c4e42b753023b694ec98e",
          "namespace": "urn:bio:clir:abo",
          "package": "bio-abo",
          "semanticHash": "sha256:ea51825b1342a29143389e8b78da6f1cbf26a62a793c8fd3da36f0b8260fe703"
        }
      ],
      "programHash": "sha256:fa7bc53564a6b5c48f5bf9966a11c9b1679bb3c5dc9ccb35ce11ea2cce030c42"
    },
    "query": {
      "comprehension": {
        "distinct": true,
        "element": {
          "kind": "var",
          "var": "v0"
        },
        "generator": {
          "formula": {
            "args": [
              {
                "id": "urn:mcp:entity:Ребёнок",
                "kind": "entity_ref"
              },
              {
                "kind": "var",
                "var": "v0"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:abo#abo_phenotype"
          },
          "kind": "status",
          "status": "established"
        },
        "kind": "comprehension",
        "variable": {
          "id": "v0"
        }
      },
      "kind": "collect",
      "queryId": "urn:query:mcp"
    },
    "schemaVersion": "law.core.evaluation-request/0.2",
    "semanticVersion": "0.2"
  },
  "requestCanonicalSha256": "sha256:8aa6a9f53f54e8d2b58adf72c153652e37bd10f00c675bacdd37196610600bcb"
}

Display metadata

{
  "schemaVersion": "law.answers.presentation/0.1",
  "source": {
    "requestCanonicalSha256": "sha256:8aa6a9f53f54e8d2b58adf72c153652e37bd10f00c675bacdd37196610600bcb"
  },
  "steps": [
    {
      "assertionOrigin": "case_input",
      "conclusion": {
        "args": [
          {
            "id": "urn:mcp:entity:Ребёнок",
            "kind": "entity_ref"
          },
          {
            "id": "urn:bio:clir:abo#IA",
            "kind": "entity_ref"
          },
          {
            "id": "urn:bio:clir:abo#i",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:bio:clir:abo#abo_genotype"
      },
      "id": "urn:proof:assert:urn:mcp:case#fact-1",
      "kind": "assertion",
      "originStatus": "available",
      "premises": [],
      "trust": "case"
    },
    {
      "conclusion": {
        "args": [
          {
            "id": "urn:mcp:entity:Ребёнок",
            "kind": "entity_ref"
          },
          {
            "id": "urn:bio:clir:abo#GroupA",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:bio:clir:abo#abo_phenotype"
      },
      "head": {
        "args": [
          {
            "kind": "var",
            "var": "v0"
          },
          {
            "id": "urn:bio:clir:abo#GroupA",
            "kind": "const_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:bio:clir:abo#abo_phenotype"
      },
      "id": "urn:proof:apply:IAiIsA:2d11b18bdd51f8514ec333627d952fd5e89bb1d29aa317d05dc301b2845b60bd",
      "kind": "rule_application",
      "originStatus": "available",
      "premises": [
        "urn:proof:assert:urn:mcp:case#fact-1"
      ],
      "rule": "urn:bio:clir:abo#IAiIsA",
      "sourceAnchors": [
        "urn:bio:clir:abo#ABO_ART1"
      ],
      "strength": "strict",
      "substitution": {
        "v0": {
          "id": "urn:mcp:entity:Ребёнок",
          "kind": "entity_ref"
        }
      },
      "trust": "engine",
      "variables": [
        {
          "id": "v0",
          "type": {
            "name": "urn:bio:clir:abo#Person"
          }
        }
      ]
    },
    {
      "conclusion": {
        "comprehension": {
          "distinct": true,
          "element": {
            "kind": "var",
            "var": "v0"
          },
          "generator": {
            "formula": {
              "args": [
                {
                  "id": "urn:mcp:entity:Ребёнок",
                  "kind": "entity_ref"
                },
                {
                  "kind": "var",
                  "var": "v0"
                }
              ],
              "kind": "literal",
              "polarity": "positive",
              "predicate": "urn:bio:clir:abo#abo_phenotype"
            },
            "kind": "status",
            "status": "established"
          },
          "kind": "comprehension",
          "variable": {
            "id": "v0"
          }
        },
        "count": 1
      },
      "id": "urn:proof:query:mcp",
      "kind": "query_evaluation",
      "originStatus": "available",
      "premises": [
        "urn:proof:apply:IAiIsA:2d11b18bdd51f8514ec333627d952fd5e89bb1d29aa317d05dc301b2845b60bd"
      ],
      "trust": "engine"
    }
  ],
  "symbols": [
    {
      "id": "urn:bio:clir:abo#ABOAllele",
      "kind": "type_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "аллель системы ABO"
        }
      ],
      "name": "ABOAllele",
      "package": "urn:bio:clir:abo"
    },
    {
      "id": "urn:bio:clir:abo#ABOPhenotype",
      "kind": "type_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "фенотип ABO"
        }
      ],
      "name": "ABOPhenotype",
      "package": "urn:bio:clir:abo"
    },
    {
      "id": "urn:bio:clir:abo#GroupA",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "группа A"
        }
      ],
      "name": "GroupA",
      "package": "urn:bio:clir:abo",
      "parameters": [],
      "symbolKind": "constant"
    },
    {
      "id": "urn:bio:clir:abo#IA",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "аллель Iᴬ"
        }
      ],
      "name": "IA",
      "package": "urn:bio:clir:abo",
      "parameters": [],
      "symbolKind": "constant"
    },
    {
      "id": "urn:bio:clir:abo#IAiIsA",
      "kind": "rule",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "Генотип I-A/i даёт группу A"
        }
      ],
      "package": "urn:bio:clir:abo",
      "strength": "strict"
    },
    {
      "id": "urn:bio:clir:abo#Person",
      "kind": "type_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "лицо в деле"
        }
      ],
      "name": "Person",
      "package": "urn:bio:clir:abo"
    },
    {
      "id": "urn:bio:clir:abo#ROGAEV_2009",
      "kind": "source_work",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "Genotype Analysis Identifies the Cause of the Royal Disease"
        }
      ],
      "package": "urn:bio:clir:abo"
    },
    {
      "id": "urn:bio:clir:abo#ROGAEV_2009_STUDY",
      "kind": "reference",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "Rogaev et al. (2009), F9 mutation in the Romanov remains"
        }
      ],
      "package": "urn:bio:clir:abo"
    },
    {
      "id": "urn:bio:clir:abo#abo_genotype",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "установленный генотип ABO"
        }
      ],
      "name": "abo_genotype",
      "package": "urn:bio:clir:abo",
      "parameters": [
        {
          "id": "urn:bio:clir:abo#abo_genotype/arg/p",
          "labels": [],
          "name": "p",
          "type": {
            "name": "urn:bio:clir:abo#Person"
          }
        },
        {
          "id": "urn:bio:clir:abo#abo_genotype/arg/left",
          "labels": [],
          "name": "left",
          "type": {
            "name": "urn:bio:clir:abo#ABOAllele"
          }
        },
        {
          "id": "urn:bio:clir:abo#abo_genotype/arg/right",
          "labels": [],
          "name": "right",
          "type": {
            "name": "urn:bio:clir:abo#ABOAllele"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:bio:clir:abo#abo_phenotype",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "выводимый либо установленный фенотип ABO"
        }
      ],
      "name": "abo_phenotype",
      "package": "urn:bio:clir:abo",
      "parameters": [
        {
          "id": "urn:bio:clir:abo#abo_phenotype/arg/p",
          "labels": [],
          "name": "p",
          "type": {
            "name": "urn:bio:clir:abo#Person"
          }
        },
        {
          "id": "urn:bio:clir:abo#abo_phenotype/arg/group",
          "labels": [],
          "name": "group",
          "type": {
            "name": "urn:bio:clir:abo#ABOPhenotype"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:bio:clir:abo#i",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "аллель i"
        }
      ],
      "name": "i",
      "package": "urn:bio:clir:abo",
      "parameters": [],
      "symbolKind": "constant"
    }
  ],
  "tables": []
}

JSON · calculations, sources and exact data

{
  "acts": [
    {
      "contributed": true,
      "fragmentCount": 6,
      "fragments": [
        "urn:bio:clir:abo#ABO_ART1"
      ],
      "jurisdiction": "none",
      "namespace": "urn:bio:clir:abo",
      "package": "bio-abo",
      "title": "ABO/Rh и X-сцепленная гемофилия: авторское учебное изложение — вне юрисдикции государства — доктрина"
    }
  ],
  "caseHash": "sha256:8b19d550496a5adbfe53849bbbc7148f7e00a5c73c30685c86f854fa7589a09a",
  "codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
  "jurisdiction": "вне юрисдикции государства",
  "legalTime": "2026-09-01",
  "mode": "audit",
  "programHash": "sha256:fa7bc53564a6b5c48f5bf9966a11c9b1679bb3c5dc9ccb35ce11ea2cce030c42",
  "resultHash": "sha256:4d563279177ceee6647619bdf342b9046c3e8e206ed0ed967d6b535ac4abb42a",
  "rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
  "timezone": "Asia/Qyzylorda"
}

evaluation SHA-256: sha256:71d7e583979f5556e5386d6ab00dfd4ad3e828b12e46254c78f26e1601f44777

Original data · JSON

{
  "args": [
    "Ребёнок",
    {
      "kind": "var",
      "var": "v0"
    }
  ],
  "facts": [
    {
      "args": [
        "Ребёнок",
        "IA",
        "i"
      ],
      "predicate": "abo_genotype"
    }
  ],
  "kind": "collect",
  "legalTime": "2026-09-01",
  "package": "bio-abo",
  "predicate": "abo_phenotype",
  "proof": true
}

Выборка фенотипа даёт единственное значение: группа A.

Condition

Мать с группой O: презумпция генотипа i/i

Context date 2026-09-01

Calculation result

Established

Input parameters

What we are finding

фенотип O презюмирует генотип i/i

Мать

Input facts

сообщённый фенотип ABO
p: Матьgroup: группа O

Package: ABO/Rh и X-сцепленная гемофилия: авторское учебное изложение — вне юрисдикции государства — доктрина

Additional details

Include proof: Yes

Original data · JSON

{
  "args": [
    "Мать"
  ],
  "facts": [
    {
      "args": [
        "Мать",
        "GroupO"
      ],
      "predicate": "phenotype_reported"
    }
  ],
  "kind": "truth",
  "legalTime": "2026-09-01",
  "package": "bio-abo",
  "predicate": "presumed_ii_from_o",
  "proof": true
}

Why this resultApplied rules and conditions

Derivation path3 steps

1
сообщённый фенотип ABO
p: Мать; group: группа O
case fact
2
Группа O презюмирует генотип i/i
фенотип O презюмирует генотип i/i: p: Мать
art. 3
Identifier
urn:bio:clir:abo#OPhenotypePresumesii/R1
rule
3
Query evaluation
query

verified by the engine: 2 · case fact: 1 · Full graph: 5 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.

ABO/Rh и X-сцепленная гемофилия: авторское учебное изложение — вне юрисдикции государства — доктрина

Группа O презюмирует генотип i/i
Identifier
urn:bio:clir:abo#OPhenotypePresumesii/R1

Derived result for this query

фенотип O презюмирует генотип i/i
p: Мать

фенотип O презюмирует генотип i/i
p
Мать

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

Proof graph · 3 layer

Proof nodes: 5 · assertion 1, rule_application 1, candidate_closure 1, query_evaluation 1, source_resolution 1

assertion · urn:proof:assert:urn:mcp:case#fact-1

attributes

assertion: fact-1

conclusion

Arguments

Identifier
Мать
Type
entity_ref
Identifier
GroupO
Type
entity_ref

Type

literal

Polarity

positive

Condition

phenotype_reported

evidence

—

Identifier

fact-1

Type

assertion

Premises

—

sourceAnchors

—

rule_application · urn:proof:apply:OPhenotypePresumesii/R1:165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b

attributes

strength: defeasible

conclusion

Arguments

Identifier
Мать
Type
entity_ref

Type

literal

Polarity

positive

Condition

presumed_ii_from_o

evidence

—

Identifier

165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b

Type

rule_application

Premises

fact-1

Rule

OPhenotypePresumesii/R1

sourceAnchors

—

substitution

Identifier: Мать
Type: entity_ref

candidate_closure · urn:proof:closure:282880e5bf1dc37cd66e21e713ad5e80c594aeb374be5f6202bbf973378c7f3a

attributes

allApplicableCandidateIds: 165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b
conflictKey: {"args":[{"id":"urn:mcp:entity:Мать","kind":"entity_ref"}],"predicate":"urn:bio:clir:abo#presumed_ii_from_o"}
evaluationInputSemanticHash: sha256:70877b405cbb74f92bc2ec2154f1e98318e6906a1e4d3c4f769a1852c10f3f2a
priorityGraphHash: sha256:055aa8b384c4f7b5f8397630ec50fdcbb4ae6245eeb46f1b885f1186230d9284
programSemanticHash: sha256:fa7bc53564a6b5c48f5bf9966a11c9b1679bb3c5dc9ccb35ce11ea2cce030c42
stratum: 0
survivingCandidateIds: 165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b

conclusion

Arguments

Identifier
Мать
Type
entity_ref

Type

literal

Polarity

positive

Condition

presumed_ii_from_o

evidence

—

Identifier

282880e5bf1dc37cd66e21e713ad5e80c594aeb374be5f6202bbf973378c7f3a

Type

candidate_closure

Premises

165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b

sourceAnchors

—

query_evaluation · urn:proof:query:mcp

attributes

—

conclusion

literal

Arguments

Identifier
Мать
Type
entity_ref

Type

literal

Polarity

positive

Condition

presumed_ii_from_o

truthStatus

Established

evidence

—

Identifier

mcp

Type

query_evaluation

Premises

165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b

sourceAnchors

—

source_resolution · urn:proof:source-resolution:fe0f963adbd7fa34b53ddd0cbbe0e83810bebdde0dffb6b9c7c259baa39d54fb

attributes

contentHash: sha256:9d2132bad0c997905520b27294b4b887ca038bee1ff2b0a44f03eea844c3510c
Русский: en
Law as of: 2026-09-01
policy: legal_time
rejectedCandidates: —
work: ROGAEV_2009

conclusion

edition: ROGAEV_2009_EN
reference: ROGAEV_2009_STUDY

evidence

—

Identifier

fe0f963adbd7fa34b53ddd0cbbe0e83810bebdde0dffb6b9c7c259baa39d54fb

Type

source_resolution

Premises

—

sourceAnchors

ROGAEV_2009_STUDY

Calendar and proof identifiers

Proof reference: mcp

Original reasoning · JSON

{
  "derived": [
    "presumed_ii_from_o(Мать)"
  ],
  "derivedOmitted": 0,
  "evaluation": {
    "proofGraph": {
      "nodes": [
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-1"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Мать",
                "kind": "entity_ref"
              },
              {
                "id": "urn:bio:clir:abo#GroupO",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:abo#phenotype_reported"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-1",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "strength": "defeasible"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Мать",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:abo#presumed_ii_from_o"
          },
          "evidence": [],
          "id": "urn:proof:apply:OPhenotypePresumesii/R1:165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-1"
          ],
          "rule": "urn:bio:clir:abo#OPhenotypePresumesii/R1",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:mcp:entity:Мать",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {
            "allApplicableCandidateIds": [
              "urn:proof:apply:OPhenotypePresumesii/R1:165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b"
            ],
            "conflictKey": "{\"args\":[{\"id\":\"urn:mcp:entity:Мать\",\"kind\":\"entity_ref\"}],\"predicate\":\"urn:bio:clir:abo#presumed_ii_from_o\"}",
            "evaluationInputSemanticHash": "sha256:70877b405cbb74f92bc2ec2154f1e98318e6906a1e4d3c4f769a1852c10f3f2a",
            "priorityGraphHash": "sha256:055aa8b384c4f7b5f8397630ec50fdcbb4ae6245eeb46f1b885f1186230d9284",
            "programSemanticHash": "sha256:fa7bc53564a6b5c48f5bf9966a11c9b1679bb3c5dc9ccb35ce11ea2cce030c42",
            "stratum": 0,
            "survivingCandidateIds": [
              "urn:proof:apply:OPhenotypePresumesii/R1:165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b"
            ]
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Мать",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:abo#presumed_ii_from_o"
          },
          "evidence": [],
          "id": "urn:proof:closure:282880e5bf1dc37cd66e21e713ad5e80c594aeb374be5f6202bbf973378c7f3a",
          "kind": "candidate_closure",
          "premises": [
            "urn:proof:apply:OPhenotypePresumesii/R1:165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b"
          ],
          "sourceAnchors": []
        },
        {
          "attributes": {},
          "conclusion": {
            "literal": {
              "args": [
                {
                  "id": "urn:mcp:entity:Мать",
                  "kind": "entity_ref"
                }
              ],
              "kind": "literal",
              "polarity": "positive",
              "predicate": "urn:bio:clir:abo#presumed_ii_from_o"
            },
            "truthStatus": "TRUE_ONLY"
          },
          "evidence": [],
          "id": "urn:proof:query:mcp",
          "kind": "query_evaluation",
          "premises": [
            "urn:proof:apply:OPhenotypePresumesii/R1:165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b"
          ],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "contentHash": "sha256:9d2132bad0c997905520b27294b4b887ca038bee1ff2b0a44f03eea844c3510c",
            "language": "en",
            "legalTime": "2026-09-01",
            "policy": "legal_time",
            "rejectedCandidates": [],
            "work": "urn:bio:clir:abo#ROGAEV_2009"
          },
          "conclusion": {
            "edition": "urn:bio:clir:abo#ROGAEV_2009_EN",
            "reference": "urn:bio:clir:abo#ROGAEV_2009_STUDY"
          },
          "evidence": [],
          "id": "urn:proof:source-resolution:fe0f963adbd7fa34b53ddd0cbbe0e83810bebdde0dffb6b9c7c259baa39d54fb",
          "kind": "source_resolution",
          "premises": [],
          "sourceAnchors": [
            "urn:bio:clir:abo#ROGAEV_2009_STUDY"
          ]
        }
      ],
      "proofHash": "sha256:f8cfe730f6646e65f0272c1efd4e7b2736bea143f62f86763558ab129bf7e8d0",
      "roots": [
        "urn:proof:query:mcp"
      ]
    },
    "resultHash": "sha256:2424646ccb273ad0e6decbffe1c69ee9b4c2432cba1e2fef9ae9595182dd1216",
    "schemaVersion": "law.core.evaluation/0.2"
  },
  "proofRef": "urn:proof:query:mcp",
  "rulesApplied": [
    "urn:bio:clir:abo#OPhenotypePresumesii/R1"
  ]
}

SourcesExcerpts: 1

Article 3

ABO/Rh и X-сцепленная гемофилия: авторское учебное изложение — вне юрисдикции государства — доктрина

При генотипе hh антигены ABO на эритроцитах не экспрессируются; фенотипически такое лицо может выглядеть как группа O независимо от аллелей ABO. Поэтому одного фенотипа O недостаточно для вывода о генотипе i/i: установленный hh отменяет презумпцию такого вывода.

Original data · JSON

{
  "contentHash": "sha256:3f8f840df95f83a69828765befcb08583a29f47485c42710353ef5100a820e30",
  "edition": "urn:bio:clir:abo#ABO_RU",
  "fragmentKind": "article",
  "id": "urn:bio:clir:abo#ABO_ART3",
  "kind": "fragment",
  "locator": "article/3",
  "package": "urn:bio:clir:abo",
  "texts": [
    {
      "contentHash": "sha256:994000b1e06200bf8f236c7c7a83d7f6a2fc13082a8d035910eafe644d4bb89b",
      "language": "ru",
      "status": "official",
      "text": "При генотипе hh антигены ABO на эритроцитах не экспрессируются; фенотипически такое лицо может выглядеть как группа O независимо от аллелей ABO. Поэтому одного фенотипа O недостаточно для вывода о генотипе i/i: установленный hh отменяет презумпцию такого вывода."
    }
  ]
}

Packages in the snapshot

ABO/Rh и X-сцепленная гемофилия: авторское учебное изложение — вне юрисдикции государства — доктрина

Technical dataFull response, parameters and checksums

Calculation status: COMPUTED

Full engine response

presumed_ii_from_o: TRUE_ONLY — установлено Выведено правом: presumed_ii_from_o(Мать) Применены правила: OPhenotypePresumesii/R1 Право (вне юрисдикции государства): ABO/Rh и X-сцепленная гемофилия: авторское учебное изложение — доктрина (programHash sha256:fa7bc53564a6…) proof-граф: 5 узлов — поле evaluation готово для law_explain

Complete machine result · JSON

{
  "answer": {
    "evaluationStatus": "COMPUTED",
    "kind": "TRUTH",
    "meaning": "установлено",
    "missingInputs": [],
    "truthStatus": "TRUE_ONLY"
  },
  "closedEditionRules": [],
  "derived": [
    "presumed_ii_from_o(Мать)"
  ],
  "derivedOmitted": 0,
  "evaluation": {
    "proofGraph": {
      "nodes": [
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-1"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Мать",
                "kind": "entity_ref"
              },
              {
                "id": "urn:bio:clir:abo#GroupO",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:abo#phenotype_reported"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-1",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "strength": "defeasible"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Мать",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:abo#presumed_ii_from_o"
          },
          "evidence": [],
          "id": "urn:proof:apply:OPhenotypePresumesii/R1:165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-1"
          ],
          "rule": "urn:bio:clir:abo#OPhenotypePresumesii/R1",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:mcp:entity:Мать",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {
            "allApplicableCandidateIds": [
              "urn:proof:apply:OPhenotypePresumesii/R1:165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b"
            ],
            "conflictKey": "{\"args\":[{\"id\":\"urn:mcp:entity:Мать\",\"kind\":\"entity_ref\"}],\"predicate\":\"urn:bio:clir:abo#presumed_ii_from_o\"}",
            "evaluationInputSemanticHash": "sha256:70877b405cbb74f92bc2ec2154f1e98318e6906a1e4d3c4f769a1852c10f3f2a",
            "priorityGraphHash": "sha256:055aa8b384c4f7b5f8397630ec50fdcbb4ae6245eeb46f1b885f1186230d9284",
            "programSemanticHash": "sha256:fa7bc53564a6b5c48f5bf9966a11c9b1679bb3c5dc9ccb35ce11ea2cce030c42",
            "stratum": 0,
            "survivingCandidateIds": [
              "urn:proof:apply:OPhenotypePresumesii/R1:165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b"
            ]
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Мать",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:abo#presumed_ii_from_o"
          },
          "evidence": [],
          "id": "urn:proof:closure:282880e5bf1dc37cd66e21e713ad5e80c594aeb374be5f6202bbf973378c7f3a",
          "kind": "candidate_closure",
          "premises": [
            "urn:proof:apply:OPhenotypePresumesii/R1:165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b"
          ],
          "sourceAnchors": []
        },
        {
          "attributes": {},
          "conclusion": {
            "literal": {
              "args": [
                {
                  "id": "urn:mcp:entity:Мать",
                  "kind": "entity_ref"
                }
              ],
              "kind": "literal",
              "polarity": "positive",
              "predicate": "urn:bio:clir:abo#presumed_ii_from_o"
            },
            "truthStatus": "TRUE_ONLY"
          },
          "evidence": [],
          "id": "urn:proof:query:mcp",
          "kind": "query_evaluation",
          "premises": [
            "urn:proof:apply:OPhenotypePresumesii/R1:165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b"
          ],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "contentHash": "sha256:9d2132bad0c997905520b27294b4b887ca038bee1ff2b0a44f03eea844c3510c",
            "language": "en",
            "legalTime": "2026-09-01",
            "policy": "legal_time",
            "rejectedCandidates": [],
            "work": "urn:bio:clir:abo#ROGAEV_2009"
          },
          "conclusion": {
            "edition": "urn:bio:clir:abo#ROGAEV_2009_EN",
            "reference": "urn:bio:clir:abo#ROGAEV_2009_STUDY"
          },
          "evidence": [],
          "id": "urn:proof:source-resolution:fe0f963adbd7fa34b53ddd0cbbe0e83810bebdde0dffb6b9c7c259baa39d54fb",
          "kind": "source_resolution",
          "premises": [],
          "sourceAnchors": [
            "urn:bio:clir:abo#ROGAEV_2009_STUDY"
          ]
        }
      ],
      "proofHash": "sha256:f8cfe730f6646e65f0272c1efd4e7b2736bea143f62f86763558ab129bf7e8d0",
      "roots": [
        "urn:proof:query:mcp"
      ]
    },
    "resultHash": "sha256:2424646ccb273ad0e6decbffe1c69ee9b4c2432cba1e2fef9ae9595182dd1216",
    "schemaVersion": "law.core.evaluation/0.2"
  },
  "evaluationStatus": "COMPUTED",
  "issues": [],
  "judgmentRequests": [],
  "proofRef": "urn:proof:query:mcp",
  "provenance": {
    "acts": [
      {
        "contributed": true,
        "fragmentCount": 6,
        "fragments": [
          "urn:bio:clir:abo#ABO_ART3"
        ],
        "jurisdiction": "none",
        "namespace": "urn:bio:clir:abo",
        "package": "bio-abo",
        "title": "ABO/Rh и X-сцепленная гемофилия: авторское учебное изложение — вне юрисдикции государства — доктрина"
      }
    ],
    "caseHash": "sha256:70877b405cbb74f92bc2ec2154f1e98318e6906a1e4d3c4f769a1852c10f3f2a",
    "codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
    "jurisdiction": "вне юрисдикции государства",
    "legalTime": "2026-09-01",
    "mode": "audit",
    "programHash": "sha256:fa7bc53564a6b5c48f5bf9966a11c9b1679bb3c5dc9ccb35ce11ea2cce030c42",
    "resultHash": "sha256:2424646ccb273ad0e6decbffe1c69ee9b4c2432cba1e2fef9ae9595182dd1216",
    "rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
    "timezone": "Asia/Qyzylorda"
  },
  "rulesApplied": [
    "urn:bio:clir:abo#OPhenotypePresumesii/R1"
  ],
  "signature": {
    "constants": {},
    "parameters": [
      {
        "labels": [],
        "name": "p",
        "type": {
          "name": "urn:bio:clir:abo#Person"
        }
      }
    ],
    "predicate": "urn:bio:clir:abo#presumed_ii_from_o",
    "schemaVersion": "law.answers.signature/0.1",
    "types": {
      "urn:bio:clir:abo#Person": {
        "kind": "entity",
        "labels": [
          {
            "language": "ru",
            "status": "unofficial",
            "text": "лицо в деле"
          }
        ],
        "namespace": "urn:bio:clir:abo",
        "package": "bio.abo"
      }
    },
    "vocab": {}
  },
  "vulnerableTo": [],
  "whyNot": []
}

Execution · JSON

{
  "evaluationBytes": "{\"conflicts\":[],\"issues\":[],\"manifest\":{\"artifactHash\":\"sha256:f938d42fbcbda24192b2beeb31b90d111f566faa724c4e42b753023b694ec98e\",\"calendarSnapshot\":\"\",\"caseHash\":\"sha256:70877b405cbb74f92bc2ec2154f1e98318e6906a1e4d3c4f769a1852c10f3f2a\",\"decisionTime\":\"2026-09-01T12:00:00+05:00\",\"evidenceSnapshotHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"externalSnapshots\":{},\"id\":\"urn:manifest:oracle-1\",\"interpretations\":[],\"knowledgeTime\":\"2026-09-01T12:00:00+05:00\",\"legalTime\":\"2026-09-01\",\"lockfileHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"mode\":\"audit\",\"policies\":{},\"programHash\":\"sha256:fa7bc53564a6b5c48f5bf9966a11c9b1679bb3c5dc9ccb35ce11ea2cce030c42\",\"resolvedEditions\":{\"urn:bio:clir:abo#ROGAEV_2009_STUDY\":\"urn:bio:clir:abo#ROGAEV_2009_EN\"},\"semanticHash\":\"sha256:1340a36502d9a8d05a534e186efb479c6203913a78b474ca0a6646f086e5197e\",\"semantics\":\"law.core/0.2\",\"theoryHash\":\"sha256:fa7bc53564a6b5c48f5bf9966a11c9b1679bb3c5dc9ccb35ce11ea2cce030c42\",\"timezone\":\"Asia/Qyzylorda\"},\"positions\":[],\"proofGraph\":{\"nodes\":[{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-1\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Мать\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:abo#GroupO\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:abo#phenotype_reported\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-1\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"strength\":\"defeasible\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Мать\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:abo#presumed_ii_from_o\"},\"evidence\":[],\"id\":\"urn:proof:apply:OPhenotypePresumesii/R1:165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\"],\"rule\":\"urn:bio:clir:abo#OPhenotypePresumesii/R1\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Мать\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"allApplicableCandidateIds\":[\"urn:proof:apply:OPhenotypePresumesii/R1:165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b\"],\"conflictKey\":\"{\\\"args\\\":[{\\\"id\\\":\\\"urn:mcp:entity:Мать\\\",\\\"kind\\\":\\\"entity_ref\\\"}],\\\"predicate\\\":\\\"urn:bio:clir:abo#presumed_ii_from_o\\\"}\",\"evaluationInputSemanticHash\":\"sha256:70877b405cbb74f92bc2ec2154f1e98318e6906a1e4d3c4f769a1852c10f3f2a\",\"priorityGraphHash\":\"sha256:055aa8b384c4f7b5f8397630ec50fdcbb4ae6245eeb46f1b885f1186230d9284\",\"programSemanticHash\":\"sha256:fa7bc53564a6b5c48f5bf9966a11c9b1679bb3c5dc9ccb35ce11ea2cce030c42\",\"stratum\":0,\"survivingCandidateIds\":[\"urn:proof:apply:OPhenotypePresumesii/R1:165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b\"]},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Мать\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:abo#presumed_ii_from_o\"},\"evidence\":[],\"id\":\"urn:proof:closure:282880e5bf1dc37cd66e21e713ad5e80c594aeb374be5f6202bbf973378c7f3a\",\"kind\":\"candidate_closure\",\"premises\":[\"urn:proof:apply:OPhenotypePresumesii/R1:165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b\"],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"literal\":{\"args\":[{\"id\":\"urn:mcp:entity:Мать\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:abo#presumed_ii_from_o\"},\"truthStatus\":\"TRUE_ONLY\"},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[\"urn:proof:apply:OPhenotypePresumesii/R1:165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b\"],\"sourceAnchors\":[]},{\"attributes\":{\"contentHash\":\"sha256:9d2132bad0c997905520b27294b4b887ca038bee1ff2b0a44f03eea844c3510c\",\"language\":\"en\",\"legalTime\":\"2026-09-01\",\"policy\":\"legal_time\",\"rejectedCandidates\":[],\"work\":\"urn:bio:clir:abo#ROGAEV_2009\"},\"conclusion\":{\"edition\":\"urn:bio:clir:abo#ROGAEV_2009_EN\",\"reference\":\"urn:bio:clir:abo#ROGAEV_2009_STUDY\"},\"evidence\":[],\"id\":\"urn:proof:source-resolution:fe0f963adbd7fa34b53ddd0cbbe0e83810bebdde0dffb6b9c7c259baa39d54fb\",\"kind\":\"source_resolution\",\"premises\":[],\"sourceAnchors\":[\"urn:bio:clir:abo#ROGAEV_2009_STUDY\"]}],\"proofHash\":\"sha256:f8cfe730f6646e65f0272c1efd4e7b2736bea143f62f86763558ab129bf7e8d0\",\"roots\":[\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:2424646ccb273ad0e6decbffe1c69ee9b4c2432cba1e2fef9ae9595182dd1216\",\"results\":[{\"conflicts\":[],\"evaluationStatus\":\"COMPUTED\",\"evidence\":[],\"id\":\"urn:result:mcp\",\"judgmentRequests\":[],\"manifest\":\"urn:manifest:oracle-1\",\"missingInputs\":[],\"normativeStatusSupports\":[],\"proof\":\"urn:proof:query:mcp\",\"query\":\"urn:query:mcp\",\"resultKind\":\"PROPOSITION\",\"sourceAnchors\":[],\"target\":\"urn:bio:clir:abo#presumed_ii_from_o\",\"truthStatus\":\"TRUE_ONLY\"}],\"schemaVersion\":\"law.core.evaluation/0.2\"}",
  "evaluationSha256": "sha256:5a4cefdac07dac3076e48b1dad23c49f04456fd036c03cd7b3795e03d4480bd4",
  "request": {
    "case": {
      "assertions": [
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-1",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:mcp:entity:Мать",
                "kind": "entity_ref"
              },
              {
                "id": "urn:bio:clir:abo#GroupO",
                "kind": "const_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:abo#phenotype_reported"
          },
          "origin": "case_input",
          "package": "urn:bio:clir:abo"
        }
      ],
      "context": {
        "decisionTime": "2026-09-01T12:00:00+05:00",
        "knowledgeTime": "2026-09-01T12:00:00+05:00",
        "legalTime": "2026-09-01",
        "timezone": "Asia/Qyzylorda"
      },
      "options": {
        "selectedInterpretations": []
      }
    },
    "ir": {
      "irSha256": "sha256:5314d134fa7c215201924a147faa9c1d705729997d894695ab729c38b2c0ecf5",
      "kind": "world_ref",
      "nodeCount": 63,
      "packages": [
        {
          "artifactHash": "sha256:f938d42fbcbda24192b2beeb31b90d111f566faa724c4e42b753023b694ec98e",
          "namespace": "urn:bio:clir:abo",
          "package": "bio-abo",
          "semanticHash": "sha256:ea51825b1342a29143389e8b78da6f1cbf26a62a793c8fd3da36f0b8260fe703"
        }
      ],
      "programHash": "sha256:fa7bc53564a6b5c48f5bf9966a11c9b1679bb3c5dc9ccb35ce11ea2cce030c42"
    },
    "query": {
      "kind": "truth",
      "literal": {
        "args": [
          {
            "id": "urn:mcp:entity:Мать",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:bio:clir:abo#presumed_ii_from_o"
      },
      "queryId": "urn:query:mcp"
    },
    "schemaVersion": "law.core.evaluation-request/0.2",
    "semanticVersion": "0.2"
  },
  "requestCanonicalSha256": "sha256:e87a8f121b588a4dd13f5e606e2586da63102471fe4cf13ab7709066571abc87"
}

Display metadata

{
  "schemaVersion": "law.answers.presentation/0.1",
  "source": {
    "requestCanonicalSha256": "sha256:e87a8f121b588a4dd13f5e606e2586da63102471fe4cf13ab7709066571abc87"
  },
  "steps": [
    {
      "assertionOrigin": "case_input",
      "conclusion": {
        "args": [
          {
            "id": "urn:mcp:entity:Мать",
            "kind": "entity_ref"
          },
          {
            "id": "urn:bio:clir:abo#GroupO",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:bio:clir:abo#phenotype_reported"
      },
      "id": "urn:proof:assert:urn:mcp:case#fact-1",
      "kind": "assertion",
      "originStatus": "available",
      "premises": [],
      "trust": "case"
    },
    {
      "conclusion": {
        "args": [
          {
            "id": "urn:mcp:entity:Мать",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:bio:clir:abo#presumed_ii_from_o"
      },
      "head": {
        "args": [
          {
            "kind": "var",
            "var": "v0"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:bio:clir:abo#presumed_ii_from_o"
      },
      "id": "urn:proof:apply:OPhenotypePresumesii/R1:165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b",
      "kind": "rule_application",
      "originStatus": "available",
      "premises": [
        "urn:proof:assert:urn:mcp:case#fact-1"
      ],
      "rule": "urn:bio:clir:abo#OPhenotypePresumesii/R1",
      "sourceAnchors": [
        "urn:bio:clir:abo#ABO_ART3"
      ],
      "strength": "defeasible",
      "substitution": {
        "v0": {
          "id": "urn:mcp:entity:Мать",
          "kind": "entity_ref"
        }
      },
      "trust": "engine",
      "variables": [
        {
          "id": "v0",
          "type": {
            "name": "urn:bio:clir:abo#Person"
          }
        }
      ]
    },
    {
      "conclusion": {
        "literal": {
          "args": [
            {
              "id": "urn:mcp:entity:Мать",
              "kind": "entity_ref"
            }
          ],
          "kind": "literal",
          "polarity": "positive",
          "predicate": "urn:bio:clir:abo#presumed_ii_from_o"
        },
        "truthStatus": "TRUE_ONLY"
      },
      "id": "urn:proof:query:mcp",
      "kind": "query_evaluation",
      "originStatus": "available",
      "premises": [
        "urn:proof:apply:OPhenotypePresumesii/R1:165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b"
      ],
      "trust": "engine"
    }
  ],
  "symbols": [
    {
      "id": "urn:bio:clir:abo#ABOPhenotype",
      "kind": "type_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "фенотип ABO"
        }
      ],
      "name": "ABOPhenotype",
      "package": "urn:bio:clir:abo"
    },
    {
      "id": "urn:bio:clir:abo#GroupO",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "группа O"
        }
      ],
      "name": "GroupO",
      "package": "urn:bio:clir:abo",
      "parameters": [],
      "symbolKind": "constant"
    },
    {
      "id": "urn:bio:clir:abo#OPhenotypePresumesii/R1",
      "kind": "rule",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "Группа O презюмирует генотип i/i"
        }
      ],
      "package": "urn:bio:clir:abo",
      "strength": "defeasible"
    },
    {
      "id": "urn:bio:clir:abo#Person",
      "kind": "type_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "лицо в деле"
        }
      ],
      "name": "Person",
      "package": "urn:bio:clir:abo"
    },
    {
      "id": "urn:bio:clir:abo#ROGAEV_2009",
      "kind": "source_work",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "Genotype Analysis Identifies the Cause of the Royal Disease"
        }
      ],
      "package": "urn:bio:clir:abo"
    },
    {
      "id": "urn:bio:clir:abo#ROGAEV_2009_STUDY",
      "kind": "reference",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "Rogaev et al. (2009), F9 mutation in the Romanov remains"
        }
      ],
      "package": "urn:bio:clir:abo"
    },
    {
      "id": "urn:bio:clir:abo#phenotype_reported",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "сообщённый фенотип ABO"
        }
      ],
      "name": "phenotype_reported",
      "package": "urn:bio:clir:abo",
      "parameters": [
        {
          "id": "urn:bio:clir:abo#phenotype_reported/arg/p",
          "labels": [],
          "name": "p",
          "type": {
            "name": "urn:bio:clir:abo#Person"
          }
        },
        {
          "id": "urn:bio:clir:abo#phenotype_reported/arg/group",
          "labels": [],
          "name": "group",
          "type": {
            "name": "urn:bio:clir:abo#ABOPhenotype"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:bio:clir:abo#presumed_ii_from_o",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "фенотип O презюмирует генотип i/i"
        }
      ],
      "name": "presumed_ii_from_o",
      "package": "urn:bio:clir:abo",
      "parameters": [
        {
          "id": "urn:bio:clir:abo#presumed_ii_from_o/arg/p",
          "labels": [],
          "name": "p",
          "type": {
            "name": "urn:bio:clir:abo#Person"
          }
        }
      ],
      "symbolKind": "relation"
    }
  ],
  "tables": []
}

JSON · calculations, sources and exact data

{
  "acts": [
    {
      "contributed": true,
      "fragmentCount": 6,
      "fragments": [
        "urn:bio:clir:abo#ABO_ART3"
      ],
      "jurisdiction": "none",
      "namespace": "urn:bio:clir:abo",
      "package": "bio-abo",
      "title": "ABO/Rh и X-сцепленная гемофилия: авторское учебное изложение — вне юрисдикции государства — доктрина"
    }
  ],
  "caseHash": "sha256:70877b405cbb74f92bc2ec2154f1e98318e6906a1e4d3c4f769a1852c10f3f2a",
  "codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
  "jurisdiction": "вне юрисдикции государства",
  "legalTime": "2026-09-01",
  "mode": "audit",
  "programHash": "sha256:fa7bc53564a6b5c48f5bf9966a11c9b1679bb3c5dc9ccb35ce11ea2cce030c42",
  "resultHash": "sha256:2424646ccb273ad0e6decbffe1c69ee9b4c2432cba1e2fef9ae9595182dd1216",
  "rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
  "timezone": "Asia/Qyzylorda"
}

evaluation SHA-256: sha256:5a4cefdac07dac3076e48b1dad23c49f04456fd036c03cd7b3795e03d4480bd4

Original data · JSON

{
  "args": [
    "Мать"
  ],
  "facts": [
    {
      "args": [
        "Мать",
        "GroupO"
      ],
      "predicate": "phenotype_reported"
    }
  ],
  "kind": "truth",
  "legalTime": "2026-09-01",
  "package": "bio-abo",
  "predicate": "presumed_ii_from_o",
  "proof": true
}

Презумпция сработала: по сообщённой группе O генотип i/i считается установленным, пока не опровергнут.

Condition

Мать с группой O и генотипом hh: презумпция отменена

Context date 2026-09-01

Calculation result

Not established

Rule premises

Rule: Бомбейский фенотип отменяет презумпцию i/i из группы O
- установлен генотип hh (бомбейский фенотип)Матьestablished
- сообщённый фенотип ABOМать, GroupOestablished
Rule: Группа O презюмирует генотип i/i
- сообщённый фенотип ABOМать, GroupOestablished

Input parameters

What we are finding

фенотип O презюмирует генотип i/i

Мать

Input facts

лицо в деле
p: Мать
Subject shared by the facts below
сообщённый фенотип ABO
group: группа O
установлен генотип hh (бомбейский фенотип)

Package: ABO/Rh и X-сцепленная гемофилия: авторское учебное изложение — вне юрисдикции государства — доктрина

Additional details

Include proof: Yes

Original data · JSON

{
  "args": [
    "Мать"
  ],
  "facts": [
    {
      "args": [
        "Мать",
        "GroupO"
      ],
      "predicate": "phenotype_reported"
    },
    {
      "args": [
        "Мать"
      ],
      "predicate": "has_hh"
    }
  ],
  "kind": "truth",
  "legalTime": "2026-09-01",
  "package": "bio-abo",
  "predicate": "presumed_ii_from_o",
  "proof": true
}

Why this resultApplied rules and conditions

Derivation path1 steps

1
Query evaluation
query

verified by the engine: 1 · case fact: 0 · Full graph: 7 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.

Applied rules2

ABO/Rh и X-сцепленная гемофилия: авторское учебное изложение — вне юрисдикции государства — доктрина

Бомбейский фенотип отменяет презумпцию i/i из группы O
Identifier
urn:bio:clir:abo#BombayDefeatsOInference
Группа O презюмирует генотип i/i
Identifier
urn:bio:clir:abo#OPhenotypePresumesii/R1

Derived result for this query

фенотип O презюмирует генотип i/i
p: Мать

фенотип O презюмирует генотип i/i
p
Мать

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.

Why the conclusion was not reached2 rules

1
Бомбейский фенотип отменяет презумпцию i/i из группы O
What is missing
- установлен генотип hh (бомбейский фенотип)МатьEstablished
- сообщённый фенотип ABOМать, Group OEstablished
Source: art. 3
Identifier
urn:bio:clir:abo#BombayDefeatsOInference
rule
2
Группа O презюмирует генотип i/i
What is missing
- сообщённый фенотип ABOМать, Group OEstablished
Source: art. 3
Identifier
urn:bio:clir:abo#OPhenotypePresumesii/R1
rule

These are the rules whose head answers the question, with their unmet premises. A missing fact is not a refuted one.

Proof graph

Who defeated whom

Defeated Группа O презюмирует генотип i/i фенотип O презюмирует генотип i/i(Мать)
Defeated by Бомбейский фенотип отменяет презумпцию i/i из группы O фенотип O презюмирует генотип i/i(Мать) (ground: defeater §107.3)
conclusion фенотип O презюмирует генотип i/i(Мать)

Defeats are the defeat nodes of the proof graph (§181): the application, its winner and the priority path as recorded by the evaluation; no ordering is recomputed.

Proof graph · 1 layer

Proof nodes: 7 · assertion 2, rule_application 2, defeat 1, query_evaluation 1, source_resolution 1

assertion · urn:proof:assert:urn:mcp:case#fact-1

attributes

assertion: fact-1

conclusion

Arguments

Identifier
Мать
Type
entity_ref
Identifier
GroupO
Type
entity_ref

Type

literal

Polarity

positive

Condition

phenotype_reported

evidence

—

Identifier

fact-1

Type

assertion

Premises

—

sourceAnchors

—

rule_application · urn:proof:apply:OPhenotypePresumesii/R1:165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b

attributes

strength: defeasible

conclusion

Arguments

Identifier
Мать
Type
entity_ref

Type

literal

Polarity

positive

Condition

presumed_ii_from_o

evidence

—

Identifier

165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b

Type

rule_application

Premises

fact-1

Rule

OPhenotypePresumesii/R1

sourceAnchors

—

substitution

Identifier: Мать
Type: entity_ref

assertion · urn:proof:assert:urn:mcp:case#fact-2

attributes

assertion: fact-2

conclusion

Arguments

Identifier
Мать
Type
entity_ref

Type

literal

Polarity

positive

Condition

has_hh

evidence

—

Identifier

fact-2

Type

assertion

Premises

—

sourceAnchors

—

rule_application · urn:proof:apply:BombayDefeatsOInference:80326478e568a5664ce377591336e35ca14a1cfc917ecddf0346298a2519ab78

attributes

strength: defeater

conclusion

Arguments

Identifier
Мать
Type
entity_ref

Type

literal

Polarity

positive

Condition

presumed_ii_from_o

evidence

—

Identifier

80326478e568a5664ce377591336e35ca14a1cfc917ecddf0346298a2519ab78

Type

rule_application

Premises

fact-1
fact-2

Rule

BombayDefeatsOInference

sourceAnchors

—

substitution

Identifier: Мать
Type: entity_ref

defeat · urn:proof:defeat:73e3b69b1b91c2f739d07d75f5e36a89642ecb64e8c6057aecd837cc0851f044

attributes

defeated: 165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b
Reason: defeater

conclusion

Arguments

Identifier
Мать
Type
entity_ref

Type

literal

Polarity

positive

Condition

presumed_ii_from_o

evidence

—

Identifier

73e3b69b1b91c2f739d07d75f5e36a89642ecb64e8c6057aecd837cc0851f044

Type

defeat

outcome

DEFEATED

Premises

80326478e568a5664ce377591336e35ca14a1cfc917ecddf0346298a2519ab78
165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b

priorityPath

—

sourceAnchors

—

query_evaluation · urn:proof:query:mcp

attributes

—

conclusion

literal

Arguments

Identifier
Мать
Type
entity_ref

Type

literal

Polarity

positive

Condition

presumed_ii_from_o

truthStatus

Not established

evidence

—

Identifier

mcp

Type

query_evaluation

Premises

—

sourceAnchors

—

source_resolution · urn:proof:source-resolution:fe0f963adbd7fa34b53ddd0cbbe0e83810bebdde0dffb6b9c7c259baa39d54fb

attributes

contentHash: sha256:9d2132bad0c997905520b27294b4b887ca038bee1ff2b0a44f03eea844c3510c
Русский: en
Law as of: 2026-09-01
policy: legal_time
rejectedCandidates: —
work: ROGAEV_2009

conclusion

edition: ROGAEV_2009_EN
reference: ROGAEV_2009_STUDY

evidence

—

Identifier

fe0f963adbd7fa34b53ddd0cbbe0e83810bebdde0dffb6b9c7c259baa39d54fb

Type

source_resolution

Premises

—

sourceAnchors

ROGAEV_2009_STUDY

Calendar and proof identifiers

Proof reference: mcp

Original reasoning · JSON

{
  "derived": [
    "presumed_ii_from_o(Мать)"
  ],
  "derivedOmitted": 0,
  "evaluation": {
    "proofGraph": {
      "nodes": [
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-1"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Мать",
                "kind": "entity_ref"
              },
              {
                "id": "urn:bio:clir:abo#GroupO",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:abo#phenotype_reported"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-1",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "strength": "defeasible"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Мать",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:abo#presumed_ii_from_o"
          },
          "evidence": [],
          "id": "urn:proof:apply:OPhenotypePresumesii/R1:165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-1"
          ],
          "rule": "urn:bio:clir:abo#OPhenotypePresumesii/R1",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:mcp:entity:Мать",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-2"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Мать",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:abo#has_hh"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-2",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "strength": "defeater"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Мать",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:abo#presumed_ii_from_o"
          },
          "evidence": [],
          "id": "urn:proof:apply:BombayDefeatsOInference:80326478e568a5664ce377591336e35ca14a1cfc917ecddf0346298a2519ab78",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-1",
            "urn:proof:assert:urn:mcp:case#fact-2"
          ],
          "rule": "urn:bio:clir:abo#BombayDefeatsOInference",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:mcp:entity:Мать",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {
            "defeated": "urn:proof:apply:OPhenotypePresumesii/R1:165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b",
            "reason": "defeater"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Мать",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:abo#presumed_ii_from_o"
          },
          "evidence": [],
          "id": "urn:proof:defeat:73e3b69b1b91c2f739d07d75f5e36a89642ecb64e8c6057aecd837cc0851f044",
          "kind": "defeat",
          "outcome": "DEFEATED",
          "premises": [
            "urn:proof:apply:BombayDefeatsOInference:80326478e568a5664ce377591336e35ca14a1cfc917ecddf0346298a2519ab78",
            "urn:proof:apply:OPhenotypePresumesii/R1:165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b"
          ],
          "priorityPath": [],
          "sourceAnchors": []
        },
        {
          "attributes": {},
          "conclusion": {
            "literal": {
              "args": [
                {
                  "id": "urn:mcp:entity:Мать",
                  "kind": "entity_ref"
                }
              ],
              "kind": "literal",
              "polarity": "positive",
              "predicate": "urn:bio:clir:abo#presumed_ii_from_o"
            },
            "truthStatus": "NEITHER"
          },
          "evidence": [],
          "id": "urn:proof:query:mcp",
          "kind": "query_evaluation",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "contentHash": "sha256:9d2132bad0c997905520b27294b4b887ca038bee1ff2b0a44f03eea844c3510c",
            "language": "en",
            "legalTime": "2026-09-01",
            "policy": "legal_time",
            "rejectedCandidates": [],
            "work": "urn:bio:clir:abo#ROGAEV_2009"
          },
          "conclusion": {
            "edition": "urn:bio:clir:abo#ROGAEV_2009_EN",
            "reference": "urn:bio:clir:abo#ROGAEV_2009_STUDY"
          },
          "evidence": [],
          "id": "urn:proof:source-resolution:fe0f963adbd7fa34b53ddd0cbbe0e83810bebdde0dffb6b9c7c259baa39d54fb",
          "kind": "source_resolution",
          "premises": [],
          "sourceAnchors": [
            "urn:bio:clir:abo#ROGAEV_2009_STUDY"
          ]
        }
      ],
      "proofHash": "sha256:fd689b4f0ff89d091307ae39dc6aa295c87e3fd10356d2d138cd73066594c939",
      "roots": [
        "urn:proof:query:mcp"
      ]
    },
    "resultHash": "sha256:61c5830e3421c327d5884a848e96962ac11ef3954198577e087e1e745ccf598b",
    "schemaVersion": "law.core.evaluation/0.2"
  },
  "proofRef": "urn:proof:query:mcp",
  "rulesApplied": [
    "urn:bio:clir:abo#BombayDefeatsOInference",
    "urn:bio:clir:abo#OPhenotypePresumesii/R1"
  ],
  "whyNot": [
    {
      "anchors": [
        "urn:bio:clir:abo#ABO_ART3"
      ],
      "computedHead": false,
      "label": "Бомбейский фенотип отменяет презумпцию i/i из группы O",
      "premises": [
        {
          "premise": "has_hh(Мать)",
          "status": "TRUE_ONLY"
        },
        {
          "premise": "phenotype_reported(Мать, GroupO)",
          "status": "TRUE_ONLY"
        }
      ],
      "rule": "BombayDefeatsOInference"
    },
    {
      "anchors": [
        "urn:bio:clir:abo#ABO_ART3"
      ],
      "computedHead": false,
      "label": "Группа O презюмирует генотип i/i",
      "premises": [
        {
          "premise": "phenotype_reported(Мать, GroupO)",
          "status": "TRUE_ONLY"
        }
      ],
      "rule": "OPhenotypePresumesii/R1"
    }
  ]
}

SourcesExcerpts: 1

Article 3

ABO/Rh и X-сцепленная гемофилия: авторское учебное изложение — вне юрисдикции государства — доктрина

При генотипе hh антигены ABO на эритроцитах не экспрессируются; фенотипически такое лицо может выглядеть как группа O независимо от аллелей ABO. Поэтому одного фенотипа O недостаточно для вывода о генотипе i/i: установленный hh отменяет презумпцию такого вывода.

Original data · JSON

{
  "contentHash": "sha256:3f8f840df95f83a69828765befcb08583a29f47485c42710353ef5100a820e30",
  "edition": "urn:bio:clir:abo#ABO_RU",
  "fragmentKind": "article",
  "id": "urn:bio:clir:abo#ABO_ART3",
  "kind": "fragment",
  "locator": "article/3",
  "package": "urn:bio:clir:abo",
  "texts": [
    {
      "contentHash": "sha256:994000b1e06200bf8f236c7c7a83d7f6a2fc13082a8d035910eafe644d4bb89b",
      "language": "ru",
      "status": "official",
      "text": "При генотипе hh антигены ABO на эритроцитах не экспрессируются; фенотипически такое лицо может выглядеть как группа O независимо от аллелей ABO. Поэтому одного фенотипа O недостаточно для вывода о генотипе i/i: установленный hh отменяет презумпцию такого вывода."
    }
  ]
}

Packages in the snapshot

ABO/Rh и X-сцепленная гемофилия: авторское учебное изложение — вне юрисдикции государства — доктрина

Technical dataFull response, parameters and checksums

Calculation status: COMPUTED

Full engine response

presumed_ii_from_o: NEITHER — НЕ УСТАНОВЛЕНО: в формализованном праве нет ни подтверждения, ни опровержения (открытый мир §69) — это не «нет» Выведено правом: presumed_ii_from_o(Мать) Применены правила: BombayDefeatsOInference, OPhenotypePresumesii/R1 Правило «Бомбейский фенотип отменяет презумпцию i/i из группы O» вывело бы это при посылках: ✓ has_hh(Мать) — TRUE_ONLY ✓ phenotype_reported(Мать, GroupO) — TRUE_ONLY Правило «Группа O презюмирует генотип i/i» вывело бы это при посылках: ✓ phenotype_reported(Мать, GroupO) — TRUE_ONLY (? — факт не подан и не выведен; ✗ — установлено обратное) Полные правила с посылками: law_rules({"predicate": "presumed_ii_from_o"}) Право (вне юрисдикции государства): ABO/Rh и X-сцепленная гемофилия: авторское учебное изложение — доктрина (programHash sha256:fa7bc53564a6…) proof-граф: 7 узлов — поле evaluation готово для law_explain

Complete machine result · JSON

{
  "answer": {
    "evaluationStatus": "COMPUTED",
    "kind": "TRUTH",
    "meaning": "НЕ УСТАНОВЛЕНО: в формализованном праве нет ни подтверждения, ни опровержения (открытый мир §69) — это не «нет»",
    "missingInputs": [],
    "truthStatus": "NEITHER"
  },
  "closedEditionRules": [],
  "derived": [
    "presumed_ii_from_o(Мать)"
  ],
  "derivedOmitted": 0,
  "evaluation": {
    "proofGraph": {
      "nodes": [
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-1"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Мать",
                "kind": "entity_ref"
              },
              {
                "id": "urn:bio:clir:abo#GroupO",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:abo#phenotype_reported"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-1",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "strength": "defeasible"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Мать",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:abo#presumed_ii_from_o"
          },
          "evidence": [],
          "id": "urn:proof:apply:OPhenotypePresumesii/R1:165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-1"
          ],
          "rule": "urn:bio:clir:abo#OPhenotypePresumesii/R1",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:mcp:entity:Мать",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-2"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Мать",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:abo#has_hh"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-2",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "strength": "defeater"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Мать",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:abo#presumed_ii_from_o"
          },
          "evidence": [],
          "id": "urn:proof:apply:BombayDefeatsOInference:80326478e568a5664ce377591336e35ca14a1cfc917ecddf0346298a2519ab78",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-1",
            "urn:proof:assert:urn:mcp:case#fact-2"
          ],
          "rule": "urn:bio:clir:abo#BombayDefeatsOInference",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:mcp:entity:Мать",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {
            "defeated": "urn:proof:apply:OPhenotypePresumesii/R1:165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b",
            "reason": "defeater"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Мать",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:abo#presumed_ii_from_o"
          },
          "evidence": [],
          "id": "urn:proof:defeat:73e3b69b1b91c2f739d07d75f5e36a89642ecb64e8c6057aecd837cc0851f044",
          "kind": "defeat",
          "outcome": "DEFEATED",
          "premises": [
            "urn:proof:apply:BombayDefeatsOInference:80326478e568a5664ce377591336e35ca14a1cfc917ecddf0346298a2519ab78",
            "urn:proof:apply:OPhenotypePresumesii/R1:165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b"
          ],
          "priorityPath": [],
          "sourceAnchors": []
        },
        {
          "attributes": {},
          "conclusion": {
            "literal": {
              "args": [
                {
                  "id": "urn:mcp:entity:Мать",
                  "kind": "entity_ref"
                }
              ],
              "kind": "literal",
              "polarity": "positive",
              "predicate": "urn:bio:clir:abo#presumed_ii_from_o"
            },
            "truthStatus": "NEITHER"
          },
          "evidence": [],
          "id": "urn:proof:query:mcp",
          "kind": "query_evaluation",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "contentHash": "sha256:9d2132bad0c997905520b27294b4b887ca038bee1ff2b0a44f03eea844c3510c",
            "language": "en",
            "legalTime": "2026-09-01",
            "policy": "legal_time",
            "rejectedCandidates": [],
            "work": "urn:bio:clir:abo#ROGAEV_2009"
          },
          "conclusion": {
            "edition": "urn:bio:clir:abo#ROGAEV_2009_EN",
            "reference": "urn:bio:clir:abo#ROGAEV_2009_STUDY"
          },
          "evidence": [],
          "id": "urn:proof:source-resolution:fe0f963adbd7fa34b53ddd0cbbe0e83810bebdde0dffb6b9c7c259baa39d54fb",
          "kind": "source_resolution",
          "premises": [],
          "sourceAnchors": [
            "urn:bio:clir:abo#ROGAEV_2009_STUDY"
          ]
        }
      ],
      "proofHash": "sha256:fd689b4f0ff89d091307ae39dc6aa295c87e3fd10356d2d138cd73066594c939",
      "roots": [
        "urn:proof:query:mcp"
      ]
    },
    "resultHash": "sha256:61c5830e3421c327d5884a848e96962ac11ef3954198577e087e1e745ccf598b",
    "schemaVersion": "law.core.evaluation/0.2"
  },
  "evaluationStatus": "COMPUTED",
  "issues": [],
  "judgmentRequests": [],
  "proofRef": "urn:proof:query:mcp",
  "provenance": {
    "acts": [
      {
        "contributed": true,
        "fragmentCount": 6,
        "fragments": [
          "urn:bio:clir:abo#ABO_ART3"
        ],
        "jurisdiction": "none",
        "namespace": "urn:bio:clir:abo",
        "package": "bio-abo",
        "title": "ABO/Rh и X-сцепленная гемофилия: авторское учебное изложение — вне юрисдикции государства — доктрина"
      }
    ],
    "caseHash": "sha256:7e74c29290bc3e6ff7598b46e41cbf1102c6cef9ae5c5538d112499ef10c11c2",
    "codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
    "jurisdiction": "вне юрисдикции государства",
    "legalTime": "2026-09-01",
    "mode": "audit",
    "programHash": "sha256:fa7bc53564a6b5c48f5bf9966a11c9b1679bb3c5dc9ccb35ce11ea2cce030c42",
    "resultHash": "sha256:61c5830e3421c327d5884a848e96962ac11ef3954198577e087e1e745ccf598b",
    "rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
    "timezone": "Asia/Qyzylorda"
  },
  "rulesApplied": [
    "urn:bio:clir:abo#BombayDefeatsOInference",
    "urn:bio:clir:abo#OPhenotypePresumesii/R1"
  ],
  "signature": {
    "constants": {},
    "parameters": [
      {
        "labels": [],
        "name": "p",
        "type": {
          "name": "urn:bio:clir:abo#Person"
        }
      }
    ],
    "predicate": "urn:bio:clir:abo#presumed_ii_from_o",
    "schemaVersion": "law.answers.signature/0.1",
    "types": {
      "urn:bio:clir:abo#Person": {
        "kind": "entity",
        "labels": [
          {
            "language": "ru",
            "status": "unofficial",
            "text": "лицо в деле"
          }
        ],
        "namespace": "urn:bio:clir:abo",
        "package": "bio.abo"
      }
    },
    "vocab": {}
  },
  "vulnerableTo": [],
  "whyNot": [
    {
      "anchors": [
        "urn:bio:clir:abo#ABO_ART3"
      ],
      "computedHead": false,
      "label": "Бомбейский фенотип отменяет презумпцию i/i из группы O",
      "premises": [
        {
          "premise": "has_hh(Мать)",
          "status": "TRUE_ONLY"
        },
        {
          "premise": "phenotype_reported(Мать, GroupO)",
          "status": "TRUE_ONLY"
        }
      ],
      "rule": "BombayDefeatsOInference"
    },
    {
      "anchors": [
        "urn:bio:clir:abo#ABO_ART3"
      ],
      "computedHead": false,
      "label": "Группа O презюмирует генотип i/i",
      "premises": [
        {
          "premise": "phenotype_reported(Мать, GroupO)",
          "status": "TRUE_ONLY"
        }
      ],
      "rule": "OPhenotypePresumesii/R1"
    }
  ]
}

Execution · JSON

{
  "evaluationBytes": "{\"conflicts\":[],\"issues\":[],\"manifest\":{\"artifactHash\":\"sha256:f938d42fbcbda24192b2beeb31b90d111f566faa724c4e42b753023b694ec98e\",\"calendarSnapshot\":\"\",\"caseHash\":\"sha256:7e74c29290bc3e6ff7598b46e41cbf1102c6cef9ae5c5538d112499ef10c11c2\",\"decisionTime\":\"2026-09-01T12:00:00+05:00\",\"evidenceSnapshotHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"externalSnapshots\":{},\"id\":\"urn:manifest:oracle-1\",\"interpretations\":[],\"knowledgeTime\":\"2026-09-01T12:00:00+05:00\",\"legalTime\":\"2026-09-01\",\"lockfileHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"mode\":\"audit\",\"policies\":{},\"programHash\":\"sha256:fa7bc53564a6b5c48f5bf9966a11c9b1679bb3c5dc9ccb35ce11ea2cce030c42\",\"resolvedEditions\":{\"urn:bio:clir:abo#ROGAEV_2009_STUDY\":\"urn:bio:clir:abo#ROGAEV_2009_EN\"},\"semanticHash\":\"sha256:f94058be40a088007bdda7a0a8c4eec01c63e710f13d749963c8bbd8808c8443\",\"semantics\":\"law.core/0.2\",\"theoryHash\":\"sha256:fa7bc53564a6b5c48f5bf9966a11c9b1679bb3c5dc9ccb35ce11ea2cce030c42\",\"timezone\":\"Asia/Qyzylorda\"},\"positions\":[],\"proofGraph\":{\"nodes\":[{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-1\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Мать\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:abo#GroupO\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:abo#phenotype_reported\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-1\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"strength\":\"defeasible\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Мать\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:abo#presumed_ii_from_o\"},\"evidence\":[],\"id\":\"urn:proof:apply:OPhenotypePresumesii/R1:165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\"],\"rule\":\"urn:bio:clir:abo#OPhenotypePresumesii/R1\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Мать\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-2\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Мать\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:abo#has_hh\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-2\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"strength\":\"defeater\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Мать\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:abo#presumed_ii_from_o\"},\"evidence\":[],\"id\":\"urn:proof:apply:BombayDefeatsOInference:80326478e568a5664ce377591336e35ca14a1cfc917ecddf0346298a2519ab78\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\",\"urn:proof:assert:urn:mcp:case#fact-2\"],\"rule\":\"urn:bio:clir:abo#BombayDefeatsOInference\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Мать\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"defeated\":\"urn:proof:apply:OPhenotypePresumesii/R1:165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b\",\"reason\":\"defeater\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Мать\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:abo#presumed_ii_from_o\"},\"evidence\":[],\"id\":\"urn:proof:defeat:73e3b69b1b91c2f739d07d75f5e36a89642ecb64e8c6057aecd837cc0851f044\",\"kind\":\"defeat\",\"outcome\":\"DEFEATED\",\"premises\":[\"urn:proof:apply:BombayDefeatsOInference:80326478e568a5664ce377591336e35ca14a1cfc917ecddf0346298a2519ab78\",\"urn:proof:apply:OPhenotypePresumesii/R1:165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b\"],\"priorityPath\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"literal\":{\"args\":[{\"id\":\"urn:mcp:entity:Мать\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:abo#presumed_ii_from_o\"},\"truthStatus\":\"NEITHER\"},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"contentHash\":\"sha256:9d2132bad0c997905520b27294b4b887ca038bee1ff2b0a44f03eea844c3510c\",\"language\":\"en\",\"legalTime\":\"2026-09-01\",\"policy\":\"legal_time\",\"rejectedCandidates\":[],\"work\":\"urn:bio:clir:abo#ROGAEV_2009\"},\"conclusion\":{\"edition\":\"urn:bio:clir:abo#ROGAEV_2009_EN\",\"reference\":\"urn:bio:clir:abo#ROGAEV_2009_STUDY\"},\"evidence\":[],\"id\":\"urn:proof:source-resolution:fe0f963adbd7fa34b53ddd0cbbe0e83810bebdde0dffb6b9c7c259baa39d54fb\",\"kind\":\"source_resolution\",\"premises\":[],\"sourceAnchors\":[\"urn:bio:clir:abo#ROGAEV_2009_STUDY\"]}],\"proofHash\":\"sha256:fd689b4f0ff89d091307ae39dc6aa295c87e3fd10356d2d138cd73066594c939\",\"roots\":[\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:61c5830e3421c327d5884a848e96962ac11ef3954198577e087e1e745ccf598b\",\"results\":[{\"conflicts\":[],\"evaluationStatus\":\"COMPUTED\",\"evidence\":[],\"id\":\"urn:result:mcp\",\"judgmentRequests\":[],\"manifest\":\"urn:manifest:oracle-1\",\"missingInputs\":[],\"normativeStatusSupports\":[],\"proof\":\"urn:proof:query:mcp\",\"query\":\"urn:query:mcp\",\"resultKind\":\"PROPOSITION\",\"sourceAnchors\":[],\"target\":\"urn:bio:clir:abo#presumed_ii_from_o\",\"truthStatus\":\"NEITHER\"}],\"schemaVersion\":\"law.core.evaluation/0.2\"}",
  "evaluationSha256": "sha256:b77ebf3708b52d2ccf7b14294b41fa944312afd4c72af48a8070b9103856faf1",
  "request": {
    "case": {
      "assertions": [
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-1",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:mcp:entity:Мать",
                "kind": "entity_ref"
              },
              {
                "id": "urn:bio:clir:abo#GroupO",
                "kind": "const_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:abo#phenotype_reported"
          },
          "origin": "case_input",
          "package": "urn:bio:clir:abo"
        },
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-2",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:mcp:entity:Мать",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:abo#has_hh"
          },
          "origin": "case_input",
          "package": "urn:bio:clir:abo"
        }
      ],
      "context": {
        "decisionTime": "2026-09-01T12:00:00+05:00",
        "knowledgeTime": "2026-09-01T12:00:00+05:00",
        "legalTime": "2026-09-01",
        "timezone": "Asia/Qyzylorda"
      },
      "options": {
        "selectedInterpretations": []
      }
    },
    "ir": {
      "irSha256": "sha256:5314d134fa7c215201924a147faa9c1d705729997d894695ab729c38b2c0ecf5",
      "kind": "world_ref",
      "nodeCount": 63,
      "packages": [
        {
          "artifactHash": "sha256:f938d42fbcbda24192b2beeb31b90d111f566faa724c4e42b753023b694ec98e",
          "namespace": "urn:bio:clir:abo",
          "package": "bio-abo",
          "semanticHash": "sha256:ea51825b1342a29143389e8b78da6f1cbf26a62a793c8fd3da36f0b8260fe703"
        }
      ],
      "programHash": "sha256:fa7bc53564a6b5c48f5bf9966a11c9b1679bb3c5dc9ccb35ce11ea2cce030c42"
    },
    "query": {
      "kind": "truth",
      "literal": {
        "args": [
          {
            "id": "urn:mcp:entity:Мать",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:bio:clir:abo#presumed_ii_from_o"
      },
      "queryId": "urn:query:mcp"
    },
    "schemaVersion": "law.core.evaluation-request/0.2",
    "semanticVersion": "0.2"
  },
  "requestCanonicalSha256": "sha256:3eaa53c0dcfdf735d7e4f0dced1b240942e3f449b22fea2928fd482c613efa1f"
}

Display metadata

{
  "blockers": {
    "whyNot": [
      {
        "anchors": [
          "urn:bio:clir:abo#ABO_ART3"
        ],
        "label": "Бомбейский фенотип отменяет презумпцию i/i из группы O",
        "premises": [
          {
            "args": [
              "Мать"
            ],
            "predicate": "has_hh",
            "predicateId": "urn:bio:clir:abo#has_hh",
            "status": "TRUE_ONLY",
            "text": "has_hh(Мать)"
          },
          {
            "args": [
              "Мать",
              "GroupO"
            ],
            "predicate": "phenotype_reported",
            "predicateId": "urn:bio:clir:abo#phenotype_reported",
            "status": "TRUE_ONLY",
            "text": "phenotype_reported(Мать, GroupO)"
          }
        ],
        "rule": "BombayDefeatsOInference",
        "ruleId": "urn:bio:clir:abo#BombayDefeatsOInference"
      },
      {
        "anchors": [
          "urn:bio:clir:abo#ABO_ART3"
        ],
        "label": "Группа O презюмирует генотип i/i",
        "premises": [
          {
            "args": [
              "Мать",
              "GroupO"
            ],
            "predicate": "phenotype_reported",
            "predicateId": "urn:bio:clir:abo#phenotype_reported",
            "status": "TRUE_ONLY",
            "text": "phenotype_reported(Мать, GroupO)"
          }
        ],
        "rule": "OPhenotypePresumesii/R1",
        "ruleId": "urn:bio:clir:abo#OPhenotypePresumesii/R1"
      }
    ]
  },
  "schemaVersion": "law.answers.presentation/0.1",
  "source": {
    "requestCanonicalSha256": "sha256:3eaa53c0dcfdf735d7e4f0dced1b240942e3f449b22fea2928fd482c613efa1f"
  },
  "steps": [
    {
      "conclusion": {
        "literal": {
          "args": [
            {
              "id": "urn:mcp:entity:Мать",
              "kind": "entity_ref"
            }
          ],
          "kind": "literal",
          "polarity": "positive",
          "predicate": "urn:bio:clir:abo#presumed_ii_from_o"
        },
        "truthStatus": "NEITHER"
      },
      "id": "urn:proof:query:mcp",
      "kind": "query_evaluation",
      "originStatus": "available",
      "premises": [],
      "trust": "engine"
    }
  ],
  "symbols": [
    {
      "id": "urn:bio:clir:abo#ABOPhenotype",
      "kind": "type_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "фенотип ABO"
        }
      ],
      "name": "ABOPhenotype",
      "package": "urn:bio:clir:abo"
    },
    {
      "id": "urn:bio:clir:abo#BombayDefeatsOInference",
      "kind": "rule",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "Бомбейский фенотип отменяет презумпцию i/i из группы O"
        }
      ],
      "package": "urn:bio:clir:abo",
      "strength": "defeater"
    },
    {
      "id": "urn:bio:clir:abo#GroupO",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "группа O"
        }
      ],
      "name": "GroupO",
      "package": "urn:bio:clir:abo",
      "parameters": [],
      "symbolKind": "constant"
    },
    {
      "id": "urn:bio:clir:abo#OPhenotypePresumesii/R1",
      "kind": "rule",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "Группа O презюмирует генотип i/i"
        }
      ],
      "package": "urn:bio:clir:abo",
      "strength": "defeasible"
    },
    {
      "id": "urn:bio:clir:abo#Person",
      "kind": "type_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "лицо в деле"
        }
      ],
      "name": "Person",
      "package": "urn:bio:clir:abo"
    },
    {
      "id": "urn:bio:clir:abo#ROGAEV_2009",
      "kind": "source_work",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "Genotype Analysis Identifies the Cause of the Royal Disease"
        }
      ],
      "package": "urn:bio:clir:abo"
    },
    {
      "id": "urn:bio:clir:abo#ROGAEV_2009_STUDY",
      "kind": "reference",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "Rogaev et al. (2009), F9 mutation in the Romanov remains"
        }
      ],
      "package": "urn:bio:clir:abo"
    },
    {
      "id": "urn:bio:clir:abo#has_hh",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "установлен генотип hh (бомбейский фенотип)"
        }
      ],
      "name": "has_hh",
      "package": "urn:bio:clir:abo",
      "parameters": [
        {
          "id": "urn:bio:clir:abo#has_hh/arg/p",
          "labels": [],
          "name": "p",
          "type": {
            "name": "urn:bio:clir:abo#Person"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:bio:clir:abo#phenotype_reported",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "сообщённый фенотип ABO"
        }
      ],
      "name": "phenotype_reported",
      "package": "urn:bio:clir:abo",
      "parameters": [
        {
          "id": "urn:bio:clir:abo#phenotype_reported/arg/p",
          "labels": [],
          "name": "p",
          "type": {
            "name": "urn:bio:clir:abo#Person"
          }
        },
        {
          "id": "urn:bio:clir:abo#phenotype_reported/arg/group",
          "labels": [],
          "name": "group",
          "type": {
            "name": "urn:bio:clir:abo#ABOPhenotype"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:bio:clir:abo#presumed_ii_from_o",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "фенотип O презюмирует генотип i/i"
        }
      ],
      "name": "presumed_ii_from_o",
      "package": "urn:bio:clir:abo",
      "parameters": [
        {
          "id": "urn:bio:clir:abo#presumed_ii_from_o/arg/p",
          "labels": [],
          "name": "p",
          "type": {
            "name": "urn:bio:clir:abo#Person"
          }
        }
      ],
      "symbolKind": "relation"
    }
  ],
  "tables": []
}

JSON · calculations, sources and exact data

{
  "acts": [
    {
      "contributed": true,
      "fragmentCount": 6,
      "fragments": [
        "urn:bio:clir:abo#ABO_ART3"
      ],
      "jurisdiction": "none",
      "namespace": "urn:bio:clir:abo",
      "package": "bio-abo",
      "title": "ABO/Rh и X-сцепленная гемофилия: авторское учебное изложение — вне юрисдикции государства — доктрина"
    }
  ],
  "caseHash": "sha256:7e74c29290bc3e6ff7598b46e41cbf1102c6cef9ae5c5538d112499ef10c11c2",
  "codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
  "jurisdiction": "вне юрисдикции государства",
  "legalTime": "2026-09-01",
  "mode": "audit",
  "programHash": "sha256:fa7bc53564a6b5c48f5bf9966a11c9b1679bb3c5dc9ccb35ce11ea2cce030c42",
  "resultHash": "sha256:61c5830e3421c327d5884a848e96962ac11ef3954198577e087e1e745ccf598b",
  "rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
  "timezone": "Asia/Qyzylorda"
}

evaluation SHA-256: sha256:b77ebf3708b52d2ccf7b14294b41fa944312afd4c72af48a8070b9103856faf1

Original data · JSON

{
  "args": [
    "Мать"
  ],
  "facts": [
    {
      "args": [
        "Мать",
        "GroupO"
      ],
      "predicate": "phenotype_reported"
    },
    {
      "args": [
        "Мать"
      ],
      "predicate": "has_hh"
    }
  ],
  "kind": "truth",
  "legalTime": "2026-09-01",
  "package": "bio-abo",
  "predicate": "presumed_ii_from_o",
  "proof": true
}

Дефитер о бомбейском фенотипе отменяет презумпцию, и вывод о генотипе становится неустановленным. Это не «генотип другой», а «по фенотипу судить нельзя».

Condition

Мать i/i и ребёнок AB: отцовство исключено в модели AB0

Context date 2026-09-01

Calculation result

Established

Input parameters

What we are finding

отцовство любого предполагаемого отца исключено в модели ABO

МатьРебёнок

Input facts

мать в родословной дела
mother: Матьchild: Ребёнок
установленный генотип ABO
p left right
Мать аллель i аллель i
Ребёнок аллель Iᴬ аллель Iᴮ

p	left	right
Мать	аллель i	аллель i
Ребёнок	аллель Iᴬ	аллель Iᴮ

Package: ABO/Rh и X-сцепленная гемофилия: авторское учебное изложение — вне юрисдикции государства — доктрина

Additional details

Include proof: Yes

Original data · JSON

{
  "args": [
    "Мать",
    "Ребёнок"
  ],
  "facts": [
    {
      "args": [
        "Мать",
        "Ребёнок"
      ],
      "predicate": "mother_of"
    },
    {
      "args": [
        "Мать",
        "i",
        "i"
      ],
      "predicate": "abo_genotype"
    },
    {
      "args": [
        "Ребёнок",
        "IA",
        "IB"
      ],
      "predicate": "abo_genotype"
    }
  ],
  "kind": "truth",
  "legalTime": "2026-09-01",
  "package": "bio-abo",
  "predicate": "paternity_excluded",
  "proof": true
}

Why this resultApplied rules and conditions

Derivation path6 steps

1
мать в родословной дела
mother: Мать; child: Ребёнок
case fact
2
установленный генотип ABO
p: Мать; left: аллель i; right: аллель i
case fact
3
установленный генотип ABO
p: Ребёнок; left: аллель Iᴬ; right: аллель Iᴮ
case fact
4
Генотип I-A/I-B даёт группу AB
выводимый либо установленный фенотип ABO: p: Ребёнок; group: группа AB
art. 1
Identifier
urn:bio:clir:abo#IAIBIsAB
rule
5
Группа O у матери и AB у ребёнка исключают отцовство в модели
отцовство любого предполагаемого отца исключено в модели ABO: mother: Мать; child: Ребёнок
art. 2
Identifier
urn:bio:clir:abo#OMotherAndABChildExcludePaternity
rule
6
Query evaluation
query

verified by the engine: 3 · case fact: 3 · Full graph: 9 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.

ABO/Rh и X-сцепленная гемофилия: авторское учебное изложение — вне юрисдикции государства — доктрина

Генотип I-A/I-B даёт группу AB
Identifier
urn:bio:clir:abo#IAIBIsAB
Группа O у матери и AB у ребёнка исключают отцовство в модели
Identifier
urn:bio:clir:abo#OMotherAndABChildExcludePaternity

Other rules in the evaluation2

Applied in the overall evaluation, but not on the proof path for this answer.

ABO/Rh и X-сцепленная гемофилия: авторское учебное изложение — вне юрисдикции государства — доктрина

Непосредственная мать является материнским предком
Identifier
urn:bio:clir:abo#DirectMaternalAncestor
Генотип i/i даёт группу O
Identifier
urn:bio:clir:abo#iiIsO

Derived result for this query

отцовство любого предполагаемого отца исключено в модели ABO
mother: Матьchild: Ребёнок

Other derived facts3

предок по материнской линии
ancestor: Матьdescendant: Ребёнок
выводимый либо установленный фенотип ABO
p group
Мать группа O
Ребёнок группа AB

Relationship graph

предок по материнской линии
ancestor	descendant
Мать	Ребёнок

выводимый либо установленный фенотип ABO
p	group
Мать	группа O
Ребёнок	группа AB

Relationship graph

отцовство любого предполагаемого отца исключено в модели ABO
mother	child
Мать	Ребёнок

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

Proof graph · 4 layer

Proof nodes: 9 · assertion 3, rule_application 4, query_evaluation 1, source_resolution 1

assertion · urn:proof:assert:urn:mcp:case#fact-1

attributes

assertion: fact-1

conclusion

Arguments

Identifier
Мать
Type
entity_ref
Identifier
Ребёнок
Type
entity_ref

Type

literal

Polarity

positive

Condition

mother_of

evidence

—

Identifier

fact-1

Type

assertion

Premises

—

sourceAnchors

—

rule_application · urn:proof:apply:DirectMaternalAncestor:4f7ae35393ed14a150b5d48640b042d1606bdd3718d72bc1284912d6d7304956

attributes

—

conclusion

Arguments

Identifier
Мать
Type
entity_ref
Identifier
Ребёнок
Type
entity_ref

Type

literal

Polarity

positive

Condition

maternal_ancestor

evidence

—

Identifier

4f7ae35393ed14a150b5d48640b042d1606bdd3718d72bc1284912d6d7304956

Type

rule_application

Premises

fact-1

Rule

DirectMaternalAncestor

sourceAnchors

—

substitution

Identifier: Мать
Type: entity_ref

Identifier: Ребёнок
Type: entity_ref

assertion · urn:proof:assert:urn:mcp:case#fact-2

attributes

assertion: fact-2

conclusion

Arguments

Identifier
Мать
Type
entity_ref
Identifier
i
Type
entity_ref
Identifier
i
Type
entity_ref

Type

literal

Polarity

positive

Condition

abo_genotype

evidence

—

Identifier

fact-2

Type

assertion

Premises

—

sourceAnchors

—

rule_application · urn:proof:apply:iiIsO:4e7277a71396325b6e888a507d6590ad3f3051b21b24b43bfb57134dfef2c404

attributes

—

conclusion

Arguments

Identifier
Мать
Type
entity_ref
Identifier
GroupO
Type
entity_ref

Type

literal

Polarity

positive

Condition

abo_phenotype

evidence

—

Identifier

4e7277a71396325b6e888a507d6590ad3f3051b21b24b43bfb57134dfef2c404

Type

rule_application

Premises

fact-2

Rule

iiIsO

sourceAnchors

—

substitution

Identifier: Мать
Type: entity_ref

assertion · urn:proof:assert:urn:mcp:case#fact-3

attributes

assertion: fact-3

conclusion

Arguments

Identifier
Ребёнок
Type
entity_ref
Identifier
IA
Type
entity_ref
Identifier
IB
Type
entity_ref

Type

literal

Polarity

positive

Condition

abo_genotype

evidence

—

Identifier

fact-3

Type

assertion

Premises

—

sourceAnchors

—

rule_application · urn:proof:apply:IAIBIsAB:512b6fab2f5e2c2a56972da7e3d0b915632d89fb4854d9eb82fe2dd357f0523c

attributes

—

conclusion

Arguments

Identifier
Ребёнок
Type
entity_ref
Identifier
GroupAB
Type
entity_ref

Type

literal

Polarity

positive

Condition

abo_phenotype

evidence

—

Identifier

512b6fab2f5e2c2a56972da7e3d0b915632d89fb4854d9eb82fe2dd357f0523c

Type

rule_application

Premises

fact-3

Rule

IAIBIsAB

sourceAnchors

—

substitution

Identifier: Ребёнок
Type: entity_ref

rule_application · urn:proof:apply:OMotherAndABChildExcludePaternity:73e939e07665890b5eede44f74af78cb2d9b26f9cb6dd212687d70d3a33f216c

attributes

—

conclusion

Arguments

Identifier
Мать
Type
entity_ref
Identifier
Ребёнок
Type
entity_ref

Type

literal

Polarity

positive

Condition

paternity_excluded

evidence

—

Identifier

73e939e07665890b5eede44f74af78cb2d9b26f9cb6dd212687d70d3a33f216c

Type

rule_application

Premises

512b6fab2f5e2c2a56972da7e3d0b915632d89fb4854d9eb82fe2dd357f0523c
fact-1
fact-2

Rule

OMotherAndABChildExcludePaternity

sourceAnchors

—

substitution

Identifier: Мать
Type: entity_ref

Identifier: Ребёнок
Type: entity_ref

query_evaluation · urn:proof:query:mcp

attributes

—

conclusion

literal

Arguments

Identifier
Мать
Type
entity_ref
Identifier
Ребёнок
Type
entity_ref

Type

literal

Polarity

positive

Condition

paternity_excluded

truthStatus

Established

evidence

—

Identifier

mcp

Type

query_evaluation

Premises

73e939e07665890b5eede44f74af78cb2d9b26f9cb6dd212687d70d3a33f216c

sourceAnchors

—

source_resolution · urn:proof:source-resolution:fe0f963adbd7fa34b53ddd0cbbe0e83810bebdde0dffb6b9c7c259baa39d54fb

attributes

contentHash: sha256:9d2132bad0c997905520b27294b4b887ca038bee1ff2b0a44f03eea844c3510c
Русский: en
Law as of: 2026-09-01
policy: legal_time
rejectedCandidates: —
work: ROGAEV_2009

conclusion

edition: ROGAEV_2009_EN
reference: ROGAEV_2009_STUDY

evidence

—

Identifier

fe0f963adbd7fa34b53ddd0cbbe0e83810bebdde0dffb6b9c7c259baa39d54fb

Type

source_resolution

Premises

—

sourceAnchors

ROGAEV_2009_STUDY

Calendar and proof identifiers

Proof reference: mcp

Original reasoning · JSON

{
  "derived": [
    "maternal_ancestor(Мать, Ребёнок)",
    "abo_phenotype(Мать, GroupO)",
    "abo_phenotype(Ребёнок, GroupAB)",
    "paternity_excluded(Мать, Ребёнок)"
  ],
  "derivedOmitted": 0,
  "evaluation": {
    "proofGraph": {
      "nodes": [
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-1"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Мать",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Ребёнок",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:abo#mother_of"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-1",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Мать",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Ребёнок",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:abo#maternal_ancestor"
          },
          "evidence": [],
          "id": "urn:proof:apply:DirectMaternalAncestor:4f7ae35393ed14a150b5d48640b042d1606bdd3718d72bc1284912d6d7304956",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-1"
          ],
          "rule": "urn:bio:clir:abo#DirectMaternalAncestor",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:mcp:entity:Мать",
              "kind": "entity_ref"
            },
            "v1": {
              "id": "urn:mcp:entity:Ребёнок",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-2"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Мать",
                "kind": "entity_ref"
              },
              {
                "id": "urn:bio:clir:abo#i",
                "kind": "entity_ref"
              },
              {
                "id": "urn:bio:clir:abo#i",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:abo#abo_genotype"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-2",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Мать",
                "kind": "entity_ref"
              },
              {
                "id": "urn:bio:clir:abo#GroupO",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:abo#abo_phenotype"
          },
          "evidence": [],
          "id": "urn:proof:apply:iiIsO:4e7277a71396325b6e888a507d6590ad3f3051b21b24b43bfb57134dfef2c404",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-2"
          ],
          "rule": "urn:bio:clir:abo#iiIsO",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:mcp:entity:Мать",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-3"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Ребёнок",
                "kind": "entity_ref"
              },
              {
                "id": "urn:bio:clir:abo#IA",
                "kind": "entity_ref"
              },
              {
                "id": "urn:bio:clir:abo#IB",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:abo#abo_genotype"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-3",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Ребёнок",
                "kind": "entity_ref"
              },
              {
                "id": "urn:bio:clir:abo#GroupAB",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:abo#abo_phenotype"
          },
          "evidence": [],
          "id": "urn:proof:apply:IAIBIsAB:512b6fab2f5e2c2a56972da7e3d0b915632d89fb4854d9eb82fe2dd357f0523c",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-3"
          ],
          "rule": "urn:bio:clir:abo#IAIBIsAB",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:mcp:entity:Ребёнок",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Мать",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Ребёнок",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:abo#paternity_excluded"
          },
          "evidence": [],
          "id": "urn:proof:apply:OMotherAndABChildExcludePaternity:73e939e07665890b5eede44f74af78cb2d9b26f9cb6dd212687d70d3a33f216c",
          "kind": "rule_application",
          "premises": [
            "urn:proof:apply:IAIBIsAB:512b6fab2f5e2c2a56972da7e3d0b915632d89fb4854d9eb82fe2dd357f0523c",
            "urn:proof:assert:urn:mcp:case#fact-1",
            "urn:proof:assert:urn:mcp:case#fact-2"
          ],
          "rule": "urn:bio:clir:abo#OMotherAndABChildExcludePaternity",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:mcp:entity:Мать",
              "kind": "entity_ref"
            },
            "v1": {
              "id": "urn:mcp:entity:Ребёнок",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {},
          "conclusion": {
            "literal": {
              "args": [
                {
                  "id": "urn:mcp:entity:Мать",
                  "kind": "entity_ref"
                },
                {
                  "id": "urn:mcp:entity:Ребёнок",
                  "kind": "entity_ref"
                }
              ],
              "kind": "literal",
              "polarity": "positive",
              "predicate": "urn:bio:clir:abo#paternity_excluded"
            },
            "truthStatus": "TRUE_ONLY"
          },
          "evidence": [],
          "id": "urn:proof:query:mcp",
          "kind": "query_evaluation",
          "premises": [
            "urn:proof:apply:OMotherAndABChildExcludePaternity:73e939e07665890b5eede44f74af78cb2d9b26f9cb6dd212687d70d3a33f216c"
          ],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "contentHash": "sha256:9d2132bad0c997905520b27294b4b887ca038bee1ff2b0a44f03eea844c3510c",
            "language": "en",
            "legalTime": "2026-09-01",
            "policy": "legal_time",
            "rejectedCandidates": [],
            "work": "urn:bio:clir:abo#ROGAEV_2009"
          },
          "conclusion": {
            "edition": "urn:bio:clir:abo#ROGAEV_2009_EN",
            "reference": "urn:bio:clir:abo#ROGAEV_2009_STUDY"
          },
          "evidence": [],
          "id": "urn:proof:source-resolution:fe0f963adbd7fa34b53ddd0cbbe0e83810bebdde0dffb6b9c7c259baa39d54fb",
          "kind": "source_resolution",
          "premises": [],
          "sourceAnchors": [
            "urn:bio:clir:abo#ROGAEV_2009_STUDY"
          ]
        }
      ],
      "proofHash": "sha256:18e8d6fa243c9ef5f5319ec2d7d823ca9b180eca92e3774172b8d9d73c3302b6",
      "roots": [
        "urn:proof:query:mcp"
      ]
    },
    "resultHash": "sha256:8f4de24005bf8aae5e7be6a292536ec1aab27ac508d8356e9270ceef0456f1d3",
    "schemaVersion": "law.core.evaluation/0.2"
  },
  "proofRef": "urn:proof:query:mcp",
  "rulesApplied": [
    "urn:bio:clir:abo#DirectMaternalAncestor",
    "urn:bio:clir:abo#IAIBIsAB",
    "urn:bio:clir:abo#OMotherAndABChildExcludePaternity",
    "urn:bio:clir:abo#iiIsO"
  ]
}

SourcesExcerpts: 3

Article 1

ABO/Rh и X-сцепленная гемофилия: авторское учебное изложение — вне юрисдикции государства — доктрина

Аллели Iᴬ и Iᴮ кодоминантны: генотип Iᴬ/Iᴮ даёт фенотип AB. Аллель i рецессивен: i/i даёт фенотип O. Генотипы Iᴬ/Iᴬ и Iᴬ/i дают фенотип A; генотипы Iᴮ/Iᴮ и Iᴮ/i — фенотип B.

Original data · JSON

{
  "contentHash": "sha256:b54f172b79383f1268009a7a53c15f7578e1b162624a728dcbfbf8b1322f35c1",
  "edition": "urn:bio:clir:abo#ABO_RU",
  "fragmentKind": "article",
  "id": "urn:bio:clir:abo#ABO_ART1",
  "kind": "fragment",
  "locator": "article/1",
  "package": "urn:bio:clir:abo",
  "texts": [
    {
      "contentHash": "sha256:f931520d008e4ec784d9a7a5628ebec8c63abd822ea84eb239bf9b43b7583e8a",
      "language": "ru",
      "status": "official",
      "text": "Аллели Iᴬ и Iᴮ кодоминантны: генотип Iᴬ/Iᴮ даёт фенотип AB. Аллель i рецессивен: i/i даёт фенотип O. Генотипы Iᴬ/Iᴬ и Iᴬ/i дают фенотип A; генотипы Iᴮ/Iᴮ и Iᴮ/i — фенотип B."
    }
  ]
}

Article 2

ABO/Rh и X-сцепленная гемофилия: авторское учебное изложение — вне юрисдикции государства — доктрина

Если у матери генотип i/i, а у ребёнка установлен фенотип AB, предполагаемый отец не может быть биологическим отцом в модели ABO: мать не передаёт Iᴬ или Iᴮ. Это вывод об исключении, а не установление отцовства в остальных случаях.

Original data · JSON

{
  "contentHash": "sha256:cb8a799b25e2eef7192aeaaa12ac1893f27709b872c4a53c27d9f0e1faeb7edd",
  "edition": "urn:bio:clir:abo#ABO_RU",
  "fragmentKind": "article",
  "id": "urn:bio:clir:abo#ABO_ART2",
  "kind": "fragment",
  "locator": "article/2",
  "package": "urn:bio:clir:abo",
  "texts": [
    {
      "contentHash": "sha256:84122d6ac942fd18557144a5b2b92fa937965ad11717277c5240629f158eee07",
      "language": "ru",
      "status": "official",
      "text": "Если у матери генотип i/i, а у ребёнка установлен фенотип AB, предполагаемый отец не может быть биологическим отцом в модели ABO: мать не передаёт Iᴬ или Iᴮ. Это вывод об исключении, а не установление отцовства в остальных случаях."
    }
  ]
}

Article 5

ABO/Rh и X-сцепленная гемофилия: авторское учебное изложение — вне юрисдикции государства — доктрина

Гемофилия в этом срезе рецессивна и сцеплена с X-хромосомой. Дочь больного мужчины получает его X и является облигатной носительницей. Сын не получает X от отца, поэтому болезнь отца сама по себе не делает сына носителем. Здоровая дочь больного мужчины передаёт аллель следующему поколению с неопределённостью; её дочь без дополнительных фактов остаётся возможной, но не установленной носительницей.

Original data · JSON

{
  "contentHash": "sha256:f9c46f09f14bc8fcbe1e57240972e2aaccca0ff9bff5f256da8a96a4c147fb8f",
  "edition": "urn:bio:clir:abo#ABO_RU",
  "fragmentKind": "article",
  "id": "urn:bio:clir:abo#ABO_ART5",
  "kind": "fragment",
  "locator": "article/5",
  "package": "urn:bio:clir:abo",
  "texts": [
    {
      "contentHash": "sha256:77ff1dbd66abc7f3c39aaabd8edc44863f44f0451cd7375a15a313bd16ef4716",
      "language": "ru",
      "status": "official",
      "text": "Гемофилия в этом срезе рецессивна и сцеплена с X-хромосомой. Дочь больного мужчины получает его X и является облигатной носительницей. Сын не получает X от отца, поэтому болезнь отца сама по себе не делает сына носителем. Здоровая дочь больного мужчины передаёт аллель следующему поколению с неопределённостью; её дочь без дополнительных фактов остаётся возможной, но не установленной носительницей."
    }
  ]
}

Packages in the snapshot

ABO/Rh и X-сцепленная гемофилия: авторское учебное изложение — вне юрисдикции государства — доктрина

Technical dataFull response, parameters and checksums

Calculation status: COMPUTED

Full engine response

paternity_excluded: TRUE_ONLY — установлено Выведено правом: maternal_ancestor(Мать, Ребёнок); abo_phenotype(Мать, GroupO); abo_phenotype(Ребёнок, GroupAB); paternity_excluded(Мать, Ребёнок) Применены правила: DirectMaternalAncestor, IAIBIsAB, OMotherAndABChildExcludePaternity, iiIsO Право (вне юрисдикции государства): ABO/Rh и X-сцепленная гемофилия: авторское учебное изложение — доктрина (programHash sha256:fa7bc53564a6…) proof-граф: 9 узлов — поле evaluation готово для law_explain

Complete machine result · JSON

{
  "answer": {
    "evaluationStatus": "COMPUTED",
    "kind": "TRUTH",
    "meaning": "установлено",
    "missingInputs": [],
    "truthStatus": "TRUE_ONLY"
  },
  "closedEditionRules": [],
  "derived": [
    "maternal_ancestor(Мать, Ребёнок)",
    "abo_phenotype(Мать, GroupO)",
    "abo_phenotype(Ребёнок, GroupAB)",
    "paternity_excluded(Мать, Ребёнок)"
  ],
  "derivedOmitted": 0,
  "evaluation": {
    "proofGraph": {
      "nodes": [
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-1"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Мать",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Ребёнок",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:abo#mother_of"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-1",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Мать",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Ребёнок",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:abo#maternal_ancestor"
          },
          "evidence": [],
          "id": "urn:proof:apply:DirectMaternalAncestor:4f7ae35393ed14a150b5d48640b042d1606bdd3718d72bc1284912d6d7304956",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-1"
          ],
          "rule": "urn:bio:clir:abo#DirectMaternalAncestor",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:mcp:entity:Мать",
              "kind": "entity_ref"
            },
            "v1": {
              "id": "urn:mcp:entity:Ребёнок",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-2"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Мать",
                "kind": "entity_ref"
              },
              {
                "id": "urn:bio:clir:abo#i",
                "kind": "entity_ref"
              },
              {
                "id": "urn:bio:clir:abo#i",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:abo#abo_genotype"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-2",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Мать",
                "kind": "entity_ref"
              },
              {
                "id": "urn:bio:clir:abo#GroupO",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:abo#abo_phenotype"
          },
          "evidence": [],
          "id": "urn:proof:apply:iiIsO:4e7277a71396325b6e888a507d6590ad3f3051b21b24b43bfb57134dfef2c404",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-2"
          ],
          "rule": "urn:bio:clir:abo#iiIsO",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:mcp:entity:Мать",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-3"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Ребёнок",
                "kind": "entity_ref"
              },
              {
                "id": "urn:bio:clir:abo#IA",
                "kind": "entity_ref"
              },
              {
                "id": "urn:bio:clir:abo#IB",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:abo#abo_genotype"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-3",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Ребёнок",
                "kind": "entity_ref"
              },
              {
                "id": "urn:bio:clir:abo#GroupAB",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:abo#abo_phenotype"
          },
          "evidence": [],
          "id": "urn:proof:apply:IAIBIsAB:512b6fab2f5e2c2a56972da7e3d0b915632d89fb4854d9eb82fe2dd357f0523c",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-3"
          ],
          "rule": "urn:bio:clir:abo#IAIBIsAB",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:mcp:entity:Ребёнок",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Мать",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Ребёнок",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:abo#paternity_excluded"
          },
          "evidence": [],
          "id": "urn:proof:apply:OMotherAndABChildExcludePaternity:73e939e07665890b5eede44f74af78cb2d9b26f9cb6dd212687d70d3a33f216c",
          "kind": "rule_application",
          "premises": [
            "urn:proof:apply:IAIBIsAB:512b6fab2f5e2c2a56972da7e3d0b915632d89fb4854d9eb82fe2dd357f0523c",
            "urn:proof:assert:urn:mcp:case#fact-1",
            "urn:proof:assert:urn:mcp:case#fact-2"
          ],
          "rule": "urn:bio:clir:abo#OMotherAndABChildExcludePaternity",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:mcp:entity:Мать",
              "kind": "entity_ref"
            },
            "v1": {
              "id": "urn:mcp:entity:Ребёнок",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {},
          "conclusion": {
            "literal": {
              "args": [
                {
                  "id": "urn:mcp:entity:Мать",
                  "kind": "entity_ref"
                },
                {
                  "id": "urn:mcp:entity:Ребёнок",
                  "kind": "entity_ref"
                }
              ],
              "kind": "literal",
              "polarity": "positive",
              "predicate": "urn:bio:clir:abo#paternity_excluded"
            },
            "truthStatus": "TRUE_ONLY"
          },
          "evidence": [],
          "id": "urn:proof:query:mcp",
          "kind": "query_evaluation",
          "premises": [
            "urn:proof:apply:OMotherAndABChildExcludePaternity:73e939e07665890b5eede44f74af78cb2d9b26f9cb6dd212687d70d3a33f216c"
          ],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "contentHash": "sha256:9d2132bad0c997905520b27294b4b887ca038bee1ff2b0a44f03eea844c3510c",
            "language": "en",
            "legalTime": "2026-09-01",
            "policy": "legal_time",
            "rejectedCandidates": [],
            "work": "urn:bio:clir:abo#ROGAEV_2009"
          },
          "conclusion": {
            "edition": "urn:bio:clir:abo#ROGAEV_2009_EN",
            "reference": "urn:bio:clir:abo#ROGAEV_2009_STUDY"
          },
          "evidence": [],
          "id": "urn:proof:source-resolution:fe0f963adbd7fa34b53ddd0cbbe0e83810bebdde0dffb6b9c7c259baa39d54fb",
          "kind": "source_resolution",
          "premises": [],
          "sourceAnchors": [
            "urn:bio:clir:abo#ROGAEV_2009_STUDY"
          ]
        }
      ],
      "proofHash": "sha256:18e8d6fa243c9ef5f5319ec2d7d823ca9b180eca92e3774172b8d9d73c3302b6",
      "roots": [
        "urn:proof:query:mcp"
      ]
    },
    "resultHash": "sha256:8f4de24005bf8aae5e7be6a292536ec1aab27ac508d8356e9270ceef0456f1d3",
    "schemaVersion": "law.core.evaluation/0.2"
  },
  "evaluationStatus": "COMPUTED",
  "issues": [],
  "judgmentRequests": [],
  "proofRef": "urn:proof:query:mcp",
  "provenance": {
    "acts": [
      {
        "contributed": true,
        "fragmentCount": 6,
        "fragments": [
          "urn:bio:clir:abo#ABO_ART1",
          "urn:bio:clir:abo#ABO_ART2",
          "urn:bio:clir:abo#ABO_ART5"
        ],
        "jurisdiction": "none",
        "namespace": "urn:bio:clir:abo",
        "package": "bio-abo",
        "title": "ABO/Rh и X-сцепленная гемофилия: авторское учебное изложение — вне юрисдикции государства — доктрина"
      }
    ],
    "caseHash": "sha256:d41b9be06dfb91d10d2693a39236472e536098c3d3284a6c7d40bb2d20904c31",
    "codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
    "jurisdiction": "вне юрисдикции государства",
    "legalTime": "2026-09-01",
    "mode": "audit",
    "programHash": "sha256:fa7bc53564a6b5c48f5bf9966a11c9b1679bb3c5dc9ccb35ce11ea2cce030c42",
    "resultHash": "sha256:8f4de24005bf8aae5e7be6a292536ec1aab27ac508d8356e9270ceef0456f1d3",
    "rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
    "timezone": "Asia/Qyzylorda"
  },
  "rulesApplied": [
    "urn:bio:clir:abo#DirectMaternalAncestor",
    "urn:bio:clir:abo#IAIBIsAB",
    "urn:bio:clir:abo#OMotherAndABChildExcludePaternity",
    "urn:bio:clir:abo#iiIsO"
  ],
  "signature": {
    "constants": {},
    "parameters": [
      {
        "labels": [],
        "name": "mother",
        "type": {
          "name": "urn:bio:clir:abo#Person"
        }
      },
      {
        "labels": [],
        "name": "child",
        "type": {
          "name": "urn:bio:clir:abo#Person"
        }
      }
    ],
    "predicate": "urn:bio:clir:abo#paternity_excluded",
    "schemaVersion": "law.answers.signature/0.1",
    "types": {
      "urn:bio:clir:abo#Person": {
        "kind": "entity",
        "labels": [
          {
            "language": "ru",
            "status": "unofficial",
            "text": "лицо в деле"
          }
        ],
        "namespace": "urn:bio:clir:abo",
        "package": "bio.abo"
      }
    },
    "vocab": {}
  },
  "vulnerableTo": [],
  "whyNot": []
}

Execution · JSON

{
  "evaluationBytes": "{\"conflicts\":[],\"issues\":[],\"manifest\":{\"artifactHash\":\"sha256:f938d42fbcbda24192b2beeb31b90d111f566faa724c4e42b753023b694ec98e\",\"calendarSnapshot\":\"\",\"caseHash\":\"sha256:d41b9be06dfb91d10d2693a39236472e536098c3d3284a6c7d40bb2d20904c31\",\"decisionTime\":\"2026-09-01T12:00:00+05:00\",\"evidenceSnapshotHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"externalSnapshots\":{},\"id\":\"urn:manifest:oracle-1\",\"interpretations\":[],\"knowledgeTime\":\"2026-09-01T12:00:00+05:00\",\"legalTime\":\"2026-09-01\",\"lockfileHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"mode\":\"audit\",\"policies\":{},\"programHash\":\"sha256:fa7bc53564a6b5c48f5bf9966a11c9b1679bb3c5dc9ccb35ce11ea2cce030c42\",\"resolvedEditions\":{\"urn:bio:clir:abo#ROGAEV_2009_STUDY\":\"urn:bio:clir:abo#ROGAEV_2009_EN\"},\"semanticHash\":\"sha256:8f09aaf7b4ed598642144ac67530d48dfdfd118812dc849d18971091ab2960a5\",\"semantics\":\"law.core/0.2\",\"theoryHash\":\"sha256:fa7bc53564a6b5c48f5bf9966a11c9b1679bb3c5dc9ccb35ce11ea2cce030c42\",\"timezone\":\"Asia/Qyzylorda\"},\"positions\":[],\"proofGraph\":{\"nodes\":[{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-1\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Мать\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Ребёнок\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:abo#mother_of\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-1\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Мать\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Ребёнок\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:abo#maternal_ancestor\"},\"evidence\":[],\"id\":\"urn:proof:apply:DirectMaternalAncestor:4f7ae35393ed14a150b5d48640b042d1606bdd3718d72bc1284912d6d7304956\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\"],\"rule\":\"urn:bio:clir:abo#DirectMaternalAncestor\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Мать\",\"kind\":\"entity_ref\"},\"v1\":{\"id\":\"urn:mcp:entity:Ребёнок\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-2\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Мать\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:abo#i\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:abo#i\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:abo#abo_genotype\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-2\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Мать\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:abo#GroupO\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:abo#abo_phenotype\"},\"evidence\":[],\"id\":\"urn:proof:apply:iiIsO:4e7277a71396325b6e888a507d6590ad3f3051b21b24b43bfb57134dfef2c404\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-2\"],\"rule\":\"urn:bio:clir:abo#iiIsO\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Мать\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-3\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Ребёнок\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:abo#IA\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:abo#IB\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:abo#abo_genotype\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-3\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Ребёнок\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:abo#GroupAB\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:abo#abo_phenotype\"},\"evidence\":[],\"id\":\"urn:proof:apply:IAIBIsAB:512b6fab2f5e2c2a56972da7e3d0b915632d89fb4854d9eb82fe2dd357f0523c\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-3\"],\"rule\":\"urn:bio:clir:abo#IAIBIsAB\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Ребёнок\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Мать\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Ребёнок\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:abo#paternity_excluded\"},\"evidence\":[],\"id\":\"urn:proof:apply:OMotherAndABChildExcludePaternity:73e939e07665890b5eede44f74af78cb2d9b26f9cb6dd212687d70d3a33f216c\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:apply:IAIBIsAB:512b6fab2f5e2c2a56972da7e3d0b915632d89fb4854d9eb82fe2dd357f0523c\",\"urn:proof:assert:urn:mcp:case#fact-1\",\"urn:proof:assert:urn:mcp:case#fact-2\"],\"rule\":\"urn:bio:clir:abo#OMotherAndABChildExcludePaternity\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Мать\",\"kind\":\"entity_ref\"},\"v1\":{\"id\":\"urn:mcp:entity:Ребёнок\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"literal\":{\"args\":[{\"id\":\"urn:mcp:entity:Мать\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Ребёнок\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:abo#paternity_excluded\"},\"truthStatus\":\"TRUE_ONLY\"},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[\"urn:proof:apply:OMotherAndABChildExcludePaternity:73e939e07665890b5eede44f74af78cb2d9b26f9cb6dd212687d70d3a33f216c\"],\"sourceAnchors\":[]},{\"attributes\":{\"contentHash\":\"sha256:9d2132bad0c997905520b27294b4b887ca038bee1ff2b0a44f03eea844c3510c\",\"language\":\"en\",\"legalTime\":\"2026-09-01\",\"policy\":\"legal_time\",\"rejectedCandidates\":[],\"work\":\"urn:bio:clir:abo#ROGAEV_2009\"},\"conclusion\":{\"edition\":\"urn:bio:clir:abo#ROGAEV_2009_EN\",\"reference\":\"urn:bio:clir:abo#ROGAEV_2009_STUDY\"},\"evidence\":[],\"id\":\"urn:proof:source-resolution:fe0f963adbd7fa34b53ddd0cbbe0e83810bebdde0dffb6b9c7c259baa39d54fb\",\"kind\":\"source_resolution\",\"premises\":[],\"sourceAnchors\":[\"urn:bio:clir:abo#ROGAEV_2009_STUDY\"]}],\"proofHash\":\"sha256:18e8d6fa243c9ef5f5319ec2d7d823ca9b180eca92e3774172b8d9d73c3302b6\",\"roots\":[\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:8f4de24005bf8aae5e7be6a292536ec1aab27ac508d8356e9270ceef0456f1d3\",\"results\":[{\"conflicts\":[],\"evaluationStatus\":\"COMPUTED\",\"evidence\":[],\"id\":\"urn:result:mcp\",\"judgmentRequests\":[],\"manifest\":\"urn:manifest:oracle-1\",\"missingInputs\":[],\"normativeStatusSupports\":[],\"proof\":\"urn:proof:query:mcp\",\"query\":\"urn:query:mcp\",\"resultKind\":\"PROPOSITION\",\"sourceAnchors\":[],\"target\":\"urn:bio:clir:abo#paternity_excluded\",\"truthStatus\":\"TRUE_ONLY\"}],\"schemaVersion\":\"law.core.evaluation/0.2\"}",
  "evaluationSha256": "sha256:a684b6d69a7e84dfd37fb123f0f7648387e93a000f2b742df97dd5b68898be4a",
  "request": {
    "case": {
      "assertions": [
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-1",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:mcp:entity:Мать",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Ребёнок",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:abo#mother_of"
          },
          "origin": "case_input",
          "package": "urn:bio:clir:abo"
        },
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-2",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:mcp:entity:Мать",
                "kind": "entity_ref"
              },
              {
                "id": "urn:bio:clir:abo#i",
                "kind": "const_ref"
              },
              {
                "id": "urn:bio:clir:abo#i",
                "kind": "const_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:abo#abo_genotype"
          },
          "origin": "case_input",
          "package": "urn:bio:clir:abo"
        },
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-3",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:mcp:entity:Ребёнок",
                "kind": "entity_ref"
              },
              {
                "id": "urn:bio:clir:abo#IA",
                "kind": "const_ref"
              },
              {
                "id": "urn:bio:clir:abo#IB",
                "kind": "const_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:abo#abo_genotype"
          },
          "origin": "case_input",
          "package": "urn:bio:clir:abo"
        }
      ],
      "context": {
        "decisionTime": "2026-09-01T12:00:00+05:00",
        "knowledgeTime": "2026-09-01T12:00:00+05:00",
        "legalTime": "2026-09-01",
        "timezone": "Asia/Qyzylorda"
      },
      "options": {
        "selectedInterpretations": []
      }
    },
    "ir": {
      "irSha256": "sha256:5314d134fa7c215201924a147faa9c1d705729997d894695ab729c38b2c0ecf5",
      "kind": "world_ref",
      "nodeCount": 63,
      "packages": [
        {
          "artifactHash": "sha256:f938d42fbcbda24192b2beeb31b90d111f566faa724c4e42b753023b694ec98e",
          "namespace": "urn:bio:clir:abo",
          "package": "bio-abo",
          "semanticHash": "sha256:ea51825b1342a29143389e8b78da6f1cbf26a62a793c8fd3da36f0b8260fe703"
        }
      ],
      "programHash": "sha256:fa7bc53564a6b5c48f5bf9966a11c9b1679bb3c5dc9ccb35ce11ea2cce030c42"
    },
    "query": {
      "kind": "truth",
      "literal": {
        "args": [
          {
            "id": "urn:mcp:entity:Мать",
            "kind": "entity_ref"
          },
          {
            "id": "urn:mcp:entity:Ребёнок",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:bio:clir:abo#paternity_excluded"
      },
      "queryId": "urn:query:mcp"
    },
    "schemaVersion": "law.core.evaluation-request/0.2",
    "semanticVersion": "0.2"
  },
  "requestCanonicalSha256": "sha256:f0b449449d1db9157a6a3c5b276d3a6fd1f88ef983ba464b11b16caffffa8aeb"
}

Display metadata

{
  "schemaVersion": "law.answers.presentation/0.1",
  "source": {
    "requestCanonicalSha256": "sha256:f0b449449d1db9157a6a3c5b276d3a6fd1f88ef983ba464b11b16caffffa8aeb"
  },
  "steps": [
    {
      "assertionOrigin": "case_input",
      "conclusion": {
        "args": [
          {
            "id": "urn:mcp:entity:Мать",
            "kind": "entity_ref"
          },
          {
            "id": "urn:mcp:entity:Ребёнок",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:bio:clir:abo#mother_of"
      },
      "id": "urn:proof:assert:urn:mcp:case#fact-1",
      "kind": "assertion",
      "originStatus": "available",
      "premises": [],
      "trust": "case"
    },
    {
      "assertionOrigin": "case_input",
      "conclusion": {
        "args": [
          {
            "id": "urn:mcp:entity:Мать",
            "kind": "entity_ref"
          },
          {
            "id": "urn:bio:clir:abo#i",
            "kind": "entity_ref"
          },
          {
            "id": "urn:bio:clir:abo#i",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:bio:clir:abo#abo_genotype"
      },
      "id": "urn:proof:assert:urn:mcp:case#fact-2",
      "kind": "assertion",
      "originStatus": "available",
      "premises": [],
      "trust": "case"
    },
    {
      "assertionOrigin": "case_input",
      "conclusion": {
        "args": [
          {
            "id": "urn:mcp:entity:Ребёнок",
            "kind": "entity_ref"
          },
          {
            "id": "urn:bio:clir:abo#IA",
            "kind": "entity_ref"
          },
          {
            "id": "urn:bio:clir:abo#IB",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:bio:clir:abo#abo_genotype"
      },
      "id": "urn:proof:assert:urn:mcp:case#fact-3",
      "kind": "assertion",
      "originStatus": "available",
      "premises": [],
      "trust": "case"
    },
    {
      "conclusion": {
        "args": [
          {
            "id": "urn:mcp:entity:Ребёнок",
            "kind": "entity_ref"
          },
          {
            "id": "urn:bio:clir:abo#GroupAB",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:bio:clir:abo#abo_phenotype"
      },
      "head": {
        "args": [
          {
            "kind": "var",
            "var": "v0"
          },
          {
            "id": "urn:bio:clir:abo#GroupAB",
            "kind": "const_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:bio:clir:abo#abo_phenotype"
      },
      "id": "urn:proof:apply:IAIBIsAB:512b6fab2f5e2c2a56972da7e3d0b915632d89fb4854d9eb82fe2dd357f0523c",
      "kind": "rule_application",
      "originStatus": "available",
      "premises": [
        "urn:proof:assert:urn:mcp:case#fact-3"
      ],
      "rule": "urn:bio:clir:abo#IAIBIsAB",
      "sourceAnchors": [
        "urn:bio:clir:abo#ABO_ART1"
      ],
      "strength": "strict",
      "substitution": {
        "v0": {
          "id": "urn:mcp:entity:Ребёнок",
          "kind": "entity_ref"
        }
      },
      "trust": "engine",
      "variables": [
        {
          "id": "v0",
          "type": {
            "name": "urn:bio:clir:abo#Person"
          }
        }
      ]
    },
    {
      "conclusion": {
        "args": [
          {
            "id": "urn:mcp:entity:Мать",
            "kind": "entity_ref"
          },
          {
            "id": "urn:mcp:entity:Ребёнок",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:bio:clir:abo#paternity_excluded"
      },
      "head": {
        "args": [
          {
            "kind": "var",
            "var": "v0"
          },
          {
            "kind": "var",
            "var": "v1"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:bio:clir:abo#paternity_excluded"
      },
      "id": "urn:proof:apply:OMotherAndABChildExcludePaternity:73e939e07665890b5eede44f74af78cb2d9b26f9cb6dd212687d70d3a33f216c",
      "kind": "rule_application",
      "originStatus": "available",
      "premises": [
        "urn:proof:apply:IAIBIsAB:512b6fab2f5e2c2a56972da7e3d0b915632d89fb4854d9eb82fe2dd357f0523c",
        "urn:proof:assert:urn:mcp:case#fact-1",
        "urn:proof:assert:urn:mcp:case#fact-2"
      ],
      "rule": "urn:bio:clir:abo#OMotherAndABChildExcludePaternity",
      "sourceAnchors": [
        "urn:bio:clir:abo#ABO_ART2"
      ],
      "strength": "strict",
      "substitution": {
        "v0": {
          "id": "urn:mcp:entity:Мать",
          "kind": "entity_ref"
        },
        "v1": {
          "id": "urn:mcp:entity:Ребёнок",
          "kind": "entity_ref"
        }
      },
      "trust": "engine",
      "variables": [
        {
          "id": "v0",
          "type": {
            "name": "urn:bio:clir:abo#Person"
          }
        },
        {
          "id": "v1",
          "type": {
            "name": "urn:bio:clir:abo#Person"
          }
        }
      ]
    },
    {
      "conclusion": {
        "literal": {
          "args": [
            {
              "id": "urn:mcp:entity:Мать",
              "kind": "entity_ref"
            },
            {
              "id": "urn:mcp:entity:Ребёнок",
              "kind": "entity_ref"
            }
          ],
          "kind": "literal",
          "polarity": "positive",
          "predicate": "urn:bio:clir:abo#paternity_excluded"
        },
        "truthStatus": "TRUE_ONLY"
      },
      "id": "urn:proof:query:mcp",
      "kind": "query_evaluation",
      "originStatus": "available",
      "premises": [
        "urn:proof:apply:OMotherAndABChildExcludePaternity:73e939e07665890b5eede44f74af78cb2d9b26f9cb6dd212687d70d3a33f216c"
      ],
      "trust": "engine"
    }
  ],
  "symbols": [
    {
      "id": "urn:bio:clir:abo#ABOAllele",
      "kind": "type_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "аллель системы ABO"
        }
      ],
      "name": "ABOAllele",
      "package": "urn:bio:clir:abo"
    },
    {
      "id": "urn:bio:clir:abo#ABOPhenotype",
      "kind": "type_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "фенотип ABO"
        }
      ],
      "name": "ABOPhenotype",
      "package": "urn:bio:clir:abo"
    },
    {
      "id": "urn:bio:clir:abo#DirectMaternalAncestor",
      "kind": "rule",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "Непосредственная мать является материнским предком"
        }
      ],
      "package": "urn:bio:clir:abo",
      "strength": "strict"
    },
    {
      "id": "urn:bio:clir:abo#GroupAB",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "группа AB"
        }
      ],
      "name": "GroupAB",
      "package": "urn:bio:clir:abo",
      "parameters": [],
      "symbolKind": "constant"
    },
    {
      "id": "urn:bio:clir:abo#GroupO",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "группа O"
        }
      ],
      "name": "GroupO",
      "package": "urn:bio:clir:abo",
      "parameters": [],
      "symbolKind": "constant"
    },
    {
      "id": "urn:bio:clir:abo#IA",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "аллель Iᴬ"
        }
      ],
      "name": "IA",
      "package": "urn:bio:clir:abo",
      "parameters": [],
      "symbolKind": "constant"
    },
    {
      "id": "urn:bio:clir:abo#IAIBIsAB",
      "kind": "rule",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "Генотип I-A/I-B даёт группу AB"
        }
      ],
      "package": "urn:bio:clir:abo",
      "strength": "strict"
    },
    {
      "id": "urn:bio:clir:abo#IB",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "аллель Iᴮ"
        }
      ],
      "name": "IB",
      "package": "urn:bio:clir:abo",
      "parameters": [],
      "symbolKind": "constant"
    },
    {
      "id": "urn:bio:clir:abo#OMotherAndABChildExcludePaternity",
      "kind": "rule",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "Группа O у матери и AB у ребёнка исключают отцовство в модели"
        }
      ],
      "package": "urn:bio:clir:abo",
      "strength": "strict"
    },
    {
      "id": "urn:bio:clir:abo#Person",
      "kind": "type_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "лицо в деле"
        }
      ],
      "name": "Person",
      "package": "urn:bio:clir:abo"
    },
    {
      "id": "urn:bio:clir:abo#ROGAEV_2009",
      "kind": "source_work",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "Genotype Analysis Identifies the Cause of the Royal Disease"
        }
      ],
      "package": "urn:bio:clir:abo"
    },
    {
      "id": "urn:bio:clir:abo#ROGAEV_2009_STUDY",
      "kind": "reference",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "Rogaev et al. (2009), F9 mutation in the Romanov remains"
        }
      ],
      "package": "urn:bio:clir:abo"
    },
    {
      "id": "urn:bio:clir:abo#abo_genotype",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "установленный генотип ABO"
        }
      ],
      "name": "abo_genotype",
      "package": "urn:bio:clir:abo",
      "parameters": [
        {
          "id": "urn:bio:clir:abo#abo_genotype/arg/p",
          "labels": [],
          "name": "p",
          "type": {
            "name": "urn:bio:clir:abo#Person"
          }
        },
        {
          "id": "urn:bio:clir:abo#abo_genotype/arg/left",
          "labels": [],
          "name": "left",
          "type": {
            "name": "urn:bio:clir:abo#ABOAllele"
          }
        },
        {
          "id": "urn:bio:clir:abo#abo_genotype/arg/right",
          "labels": [],
          "name": "right",
          "type": {
            "name": "urn:bio:clir:abo#ABOAllele"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:bio:clir:abo#abo_phenotype",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "выводимый либо установленный фенотип ABO"
        }
      ],
      "name": "abo_phenotype",
      "package": "urn:bio:clir:abo",
      "parameters": [
        {
          "id": "urn:bio:clir:abo#abo_phenotype/arg/p",
          "labels": [],
          "name": "p",
          "type": {
            "name": "urn:bio:clir:abo#Person"
          }
        },
        {
          "id": "urn:bio:clir:abo#abo_phenotype/arg/group",
          "labels": [],
          "name": "group",
          "type": {
            "name": "urn:bio:clir:abo#ABOPhenotype"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:bio:clir:abo#i",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "аллель i"
        }
      ],
      "name": "i",
      "package": "urn:bio:clir:abo",
      "parameters": [],
      "symbolKind": "constant"
    },
    {
      "id": "urn:bio:clir:abo#iiIsO",
      "kind": "rule",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "Генотип i/i даёт группу O"
        }
      ],
      "package": "urn:bio:clir:abo",
      "strength": "strict"
    },
    {
      "id": "urn:bio:clir:abo#maternal_ancestor",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "предок по материнской линии"
        }
      ],
      "name": "maternal_ancestor",
      "package": "urn:bio:clir:abo",
      "parameters": [
        {
          "id": "urn:bio:clir:abo#maternal_ancestor/arg/ancestor",
          "labels": [],
          "name": "ancestor",
          "type": {
            "name": "urn:bio:clir:abo#Person"
          }
        },
        {
          "id": "urn:bio:clir:abo#maternal_ancestor/arg/descendant",
          "labels": [],
          "name": "descendant",
          "type": {
            "name": "urn:bio:clir:abo#Person"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:bio:clir:abo#mother_of",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "мать в родословной дела"
        }
      ],
      "name": "mother_of",
      "package": "urn:bio:clir:abo",
      "parameters": [
        {
          "id": "urn:bio:clir:abo#mother_of/arg/mother",
          "labels": [],
          "name": "mother",
          "type": {
            "name": "urn:bio:clir:abo#Person"
          }
        },
        {
          "id": "urn:bio:clir:abo#mother_of/arg/child",
          "labels": [],
          "name": "child",
          "type": {
            "name": "urn:bio:clir:abo#Person"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:bio:clir:abo#paternity_excluded",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "отцовство любого предполагаемого отца исключено в модели ABO"
        }
      ],
      "name": "paternity_excluded",
      "package": "urn:bio:clir:abo",
      "parameters": [
        {
          "id": "urn:bio:clir:abo#paternity_excluded/arg/mother",
          "labels": [],
          "name": "mother",
          "type": {
            "name": "urn:bio:clir:abo#Person"
          }
        },
        {
          "id": "urn:bio:clir:abo#paternity_excluded/arg/child",
          "labels": [],
          "name": "child",
          "type": {
            "name": "urn:bio:clir:abo#Person"
          }
        }
      ],
      "symbolKind": "relation"
    }
  ],
  "tables": []
}

JSON · calculations, sources and exact data

{
  "acts": [
    {
      "contributed": true,
      "fragmentCount": 6,
      "fragments": [
        "urn:bio:clir:abo#ABO_ART1",
        "urn:bio:clir:abo#ABO_ART2",
        "urn:bio:clir:abo#ABO_ART5"
      ],
      "jurisdiction": "none",
      "namespace": "urn:bio:clir:abo",
      "package": "bio-abo",
      "title": "ABO/Rh и X-сцепленная гемофилия: авторское учебное изложение — вне юрисдикции государства — доктрина"
    }
  ],
  "caseHash": "sha256:d41b9be06dfb91d10d2693a39236472e536098c3d3284a6c7d40bb2d20904c31",
  "codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
  "jurisdiction": "вне юрисдикции государства",
  "legalTime": "2026-09-01",
  "mode": "audit",
  "programHash": "sha256:fa7bc53564a6b5c48f5bf9966a11c9b1679bb3c5dc9ccb35ce11ea2cce030c42",
  "resultHash": "sha256:8f4de24005bf8aae5e7be6a292536ec1aab27ac508d8356e9270ceef0456f1d3",
  "rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
  "timezone": "Asia/Qyzylorda"
}

evaluation SHA-256: sha256:a684b6d69a7e84dfd37fb123f0f7648387e93a000f2b742df97dd5b68898be4a

Original data · JSON

{
  "args": [
    "Мать",
    "Ребёнок"
  ],
  "facts": [
    {
      "args": [
        "Мать",
        "Ребёнок"
      ],
      "predicate": "mother_of"
    },
    {
      "args": [
        "Мать",
        "i",
        "i"
      ],
      "predicate": "abo_genotype"
    },
    {
      "args": [
        "Ребёнок",
        "IA",
        "IB"
      ],
      "predicate": "abo_genotype"
    }
  ],
  "kind": "truth",
  "legalTime": "2026-09-01",
  "package": "bio-abo",
  "predicate": "paternity_excluded",
  "proof": true
}

Мать не может передать Iᴬ или Iᴮ, а ребёнок AB получил оба, поэтому отцовство исключено по модели.

How to cite

The snapshot is immutable: the SHA-256 of the downloadable JSON pins it, so no access date is needed.

Citation

“У ребёнка генотип IᴬI по системе AB0: какая у него группа крови? Можно ли из группы O у матери заключить о её генотипе, и что меняет бомбейский фенотип?”. Arxo Lens, as of 2026-09-01. https://lens.arxo.io/a/a_HEdhFbyVcZUuP6nxWv5psZzE. Snapshot SHA-256: 29a92b88c07536037383d376f66861e7f2431de7e6849f0a1437e3663e3d48f1.

BibTeX

@misc{arxo-lens-a_HEdhFbyVcZUu,
  title = {У ребёнка генотип IᴬI по системе AB0: какая у него группа крови? Можно ли из группы O у матери заключить о её генотипе, и что меняет бомбейский фенотип?},
  howpublished = {Arxo Lens},
  url = {https://lens.arxo.io/a/a_HEdhFbyVcZUuP6nxWv5psZzE},
  note = {as of 2026-09-01; SHA-256 29a92b88c07536037383d376f66861e7f2431de7e6849f0a1437e3663e3d48f1}
}

Embed code

The card shows the result and links to the full analysis; it sets no cookies.

<iframe src="https://lens.arxo.io/embed/a_HEdhFbyVcZUuP6nxWv5psZzE?lang=en" width="100%" height="390" loading="lazy" title="A child&#x27;s blood group and the genotype presumption — Arxo Lens" style="border:0"></iframe>

Anonymous visit statistics, no cookies.