Выборка
Группа крови ребёнка с генотипом Iᴬ/i
Дата контекста 01.09.2026
Результат расчёта
группа A
| выводимый либо установленный фенотип ABO |
|---|
| группа A |
Исходные данные · JSON
[
{
"id": "urn:bio:clir:abo#GroupA",
"kind": "entity_ref"
}
]Исходные параметры
Что определяем
выводимый либо установленный фенотип ABO
Ребёнок
Исходные факты
установленный генотип ABO
p: Ребёнокleft: аллель Iᴬright: аллель i
Пакет: ABO/Rh и X-сцепленная гемофилия: авторское учебное изложение — вне юрисдикции государства — доктрина
Дополнительные сведения
- Сохранить доказательство
- Да
Исходные данные · 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
}Почему такой результатПрименённые правила и условия
Путь вывода3 шагов
- 1факт дела
установленный генотип ABO
p: Ребёнок; left: аллель Iᴬ; right: аллель i
- 2правило
Генотип I-A/i даёт группу A
выводимый либо установленный фенотип ABO: p: Ребёнок; group: группа A
ст. 1
Идентификатор
urn:bio:clir:abo#IAiIsA - 3запрос
Вычисление запроса
Найдено записей: 1
проверено движком: 2 · факт дела: 1 · Полный граф: 4 узлов
Шаги сохранённого доказательства от фактов дела к ответу. Формулы показаны как записаны в норме, с подставленными значениями; страница ничего не пересчитывает.
Основание этого ответа
Правила из сохранённой цепочки доказательства ответа.
ABO/Rh и X-сцепленная гемофилия: авторское учебное изложение — вне юрисдикции государства — доктрина
Генотип I-A/i даёт группу A
Идентификатор
urn:bio:clir:abo#IAiIsA
Вывод по запросу
выводимый либо установленный фенотип ABO
p: Ребёнокgroup: группа A
| p | group |
|---|---|
| Ребёнок | группа A |
Скрыто выведенных фактов: 0. В кратком ответе движок оставляет относящиеся к вопросу; полный перечень — в JSON расчёта ниже.
Граф доказательств
Узлы доказательств: 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
- Аргументы
- Идентификатор
- Ребёнок
- Тип
- entity_ref
- Идентификатор
- IA
- Тип
- entity_ref
- Идентификатор
- i
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- abo_genotype
- evidence
- —
- Идентификатор
- fact-1
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
rule_application · urn:proof:apply:IAiIsA:2d11b18bdd51f8514ec333627d952fd5e89bb1d29aa317d05dc301b2845b60bd
- attributes
- —
- conclusion
- Аргументы
- Идентификатор
- Ребёнок
- Тип
- entity_ref
- Идентификатор
- GroupA
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- abo_phenotype
- evidence
- —
- Идентификатор
- 2d11b18bdd51f8514ec333627d952fd5e89bb1d29aa317d05dc301b2845b60bd
- Тип
- rule_application
- Посылки
- fact-1
- Правило
- IAiIsA
- sourceAnchors
- —
- substitution
- v0
- Идентификатор
- Ребёнок
- Тип
- entity_ref
query_evaluation · urn:proof:query:mcp
- attributes
- —
- conclusion
- comprehension
- distinct
- Да
- element
- Тип
- var
- var
- v0
- generator
- formula
- Аргументы
- Идентификатор
- Ребёнок
- Тип
- entity_ref
- Тип
- var
- var
- v0
- Тип
- literal
- Знак
- positive
- Условие
- abo_phenotype
- Тип
- status
- Статус расчёта
- established
- Тип
- comprehension
- variable
- Идентификатор
- v0
- count
- 1
- evidence
- —
- Идентификатор
- mcp
- Тип
- query_evaluation
- Посылки
- 2d11b18bdd51f8514ec333627d952fd5e89bb1d29aa317d05dc301b2845b60bd
- sourceAnchors
- —
source_resolution · urn:proof:source-resolution:fe0f963adbd7fa34b53ddd0cbbe0e83810bebdde0dffb6b9c7c259baa39d54fb
- attributes
- contentHash
- sha256:9d2132bad0c997905520b27294b4b887ca038bee1ff2b0a44f03eea844c3510c
- English
- en
- Право на дату
- 2026-09-01
- policy
- legal_time
- rejectedCandidates
- —
- work
- ROGAEV_2009
- conclusion
- edition
- ROGAEV_2009_EN
- reference
- ROGAEV_2009_STUDY
- evidence
- —
- Идентификатор
- fe0f963adbd7fa34b53ddd0cbbe0e83810bebdde0dffb6b9c7c259baa39d54fb
- Тип
- source_resolution
- Посылки
- —
- sourceAnchors
- ROGAEV_2009_STUDY
Идентификаторы календаря и доказательства
- Ссылка на доказательство
- mcp
Исходное обоснование · 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"
]
}ИсточникиФрагментов: 1
Статья 1
ABO/Rh и X-сцепленная гемофилия: авторское учебное изложение — вне юрисдикции государства — доктрина
Аллели Iᴬ и Iᴮ кодоминантны: генотип Iᴬ/Iᴮ даёт фенотип AB. Аллель i рецессивен: i/i даёт фенотип O. Генотипы Iᴬ/Iᴬ и Iᴬ/i дают фенотип A; генотипы Iᴮ/Iᴮ и Iᴮ/i — фенотип B.
Исходные данные · 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."
}
]
}Пакеты в снимке
- ABO/Rh и X-сцепленная гемофилия: авторское учебное изложение — вне юрисдикции государства — доктрина
Технические данныеПолный ответ, параметры и контрольные суммы
- Статус расчёта
- COMPUTED
Полный ответ движка
Найдено записей: 1.
Значения ?v0: GroupA
Выведено правом: abo_phenotype(Ребёнок, GroupA)
Применены правила: IAiIsA
Право (вне юрисдикции государства): ABO/Rh и X-сцепленная гемофилия: авторское учебное изложение — доктрина (programHash sha256:fa7bc53564a6…)
proof-граф: 4 узлов — поле evaluation готово для law_explain
Полный машинный результат · 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": []
}Исполнение · 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"
}Метаданные отображения
{
"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 · расчёты, источники и точные данные
{
"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
Исходные данные · 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
}