Гибрид по одному признаку даёт в решётке Пеннета три доминантных исхода из четырёх, дигибрид — девять из шестнадцати с обоими доминантными признаками. Какие гаметы образует гибрид, каковы точные доли, и что меняет сцепление генов на одной хромосоме?

Гибрид образует гаметы с обоими аллелями, доминантным и рецессивным. Доли считаются точными дробями по перечисленным клеткам решётки: 3/4 доминантных исходов в моногибридном скрещивании и 9/16 класса с обоими доминантными признаками в дигибридном. Независимое комбинирование признаков действует по умолчанию, но факт о расположении обоих генов на одной хромосоме отменяет его: сцепление по Моргану выведено дефитером.

Это пояснение ассистента, а не результат расчёта. Проверяйте выводы по основаниям и источникам ниже.

Кратко

Выберите результат, чтобы перейти к основаниям

Гаметы гибрида Aa по признакуВыборкаНайдено значений: 2Выполнение: Рассчитано Доля доминантных исходов моногибридного скрещиванияВыборка3/4Выполнение: Рассчитано Доля класса «оба признака доминантные» в дигибридном скрещиванииВыборка9/16Выполнение: Рассчитано Независимое комбинирование двух признаковПроверка условияУстановленоВыполнение: РассчитаноЛогический вывод: Установлено Те же признаки на одной хромосоме: сцепление по МоргануПроверка условияНе установленоВыполнение: РассчитаноЛогический вывод: Не установлено

Подробный разбор

Выборка

Гаметы гибрида Aa по признаку

Дата контекста 31.08.2026

Результат расчёта

Найдено значений: 2

Элементы
Hybrid bildet Keimzellen mit diesem Merkmal
Аллель-A
Аллель-a

Исходные данные · JSON

[
  {
    "id": "urn:mcp:entity:Аллель-A",
    "kind": "entity_ref"
  },
  {
    "id": "urn:mcp:entity:Аллель-a",
    "kind": "entity_ref"
  }
]

Исходные параметры

Что определяем

Hybrid bildet Keimzellen mit diesem Merkmal

СкрещиваниеПризнак

Исходные факты

Hybridform mit zwei Merkmalen
c: Скрещиваниеt: Признакdominant: Аллель-Arecessive: Аллель-a
dominierendes Merkmal im Versuch
t: Признакa: Аллель-A
recessives Merkmal im Versuch
t: Признакa: Аллель-a

Пакет: Gregor Mendel, Versuche über Pflanzen-Hybriden (1866): ограниченная формализация наследования — вне юрисдикции государства — доктрина

Дополнительные сведения

Сохранить доказательство: Да

Исходные данные · JSON

{
  "args": [
    "Скрещивание",
    "Признак",
    {
      "kind": "var",
      "var": "v0"
    }
  ],
  "facts": [
    {
      "args": [
        "Скрещивание",
        "Признак",
        "Аллель-A",
        "Аллель-a"
      ],
      "predicate": "hybrid_for"
    },
    {
      "args": [
        "Признак",
        "Аллель-A"
      ],
      "predicate": "dominant_allele"
    },
    {
      "args": [
        "Признак",
        "Аллель-a"
      ],
      "predicate": "recessive_allele"
    }
  ],
  "kind": "collect",
  "legalTime": "2026-08-31",
  "package": "bio-mendel",
  "predicate": "gamete_carries",
  "proof": true
}

Почему такой результатПрименённые правила и условия

Путь вывода6 шагов

1
Hybridform mit zwei Merkmalen
c: Скрещивание; t: Признак; dominant: Аллель-A; recessive: Аллель-a
факт дела
2
dominierendes Merkmal im Versuch
t: Признак; a: Аллель-A
факт дела
3
recessives Merkmal im Versuch
t: Признак; a: Аллель-a
факт дела
4
Гибрид образует гамету с доминантным аллелем
Hybrid bildet Keimzellen mit diesem Merkmal: c: Скрещивание; t: Признак; a: Аллель-A
section/die-zweite-generation/2-1-1
Идентификатор
urn:bio:clir:mendel#HybridSeparatesDominantAllele
правило
5
Гибрид образует гамету с рецессивным аллелем
Hybrid bildet Keimzellen mit diesem Merkmal: c: Скрещивание; t: Признак; a: Аллель-a
section/die-zweite-generation/2-1-1
Идентификатор
urn:bio:clir:mendel#HybridSeparatesRecessiveAllele
правило
6
Вычисление запроса
Найдено записей: 2
запрос

проверено движком: 3 · факт дела: 3 · Полный граф: 7 узлов

Шаги сохранённого доказательства от фактов дела к ответу. Формулы показаны как записаны в норме, с подставленными значениями; страница ничего не пересчитывает.

Основание этого ответа

Правила из сохранённой цепочки доказательства ответа.

Gregor Mendel, Versuche über Pflanzen-Hybriden (1866): ограниченная формализация наследования — вне юрисдикции государства — доктрина

Гибрид образует гамету с доминантным аллелем
Идентификатор
urn:bio:clir:mendel#HybridSeparatesDominantAllele
Гибрид образует гамету с рецессивным аллелем
Идентификатор
urn:bio:clir:mendel#HybridSeparatesRecessiveAllele

Другие правила расчёта1

Применены в общем расчёте, но не входят в цепочку доказательства этого ответа.

Gregor Mendel, Versuche über Pflanzen-Hybriden (1866): ограниченная формализация наследования — вне юрисдикции государства — доктрина

Доминантный признак гибрида проявляется
Идентификатор
urn:bio:clir:mendel#DominantPhenotypeOfHybrid

Вывод по запросу

Kreuzungsfall
c: Скрещивание
Общий субъект фактов ниже
Hybrid bildet Keimzellen mit diesem Merkmal
t a
Признак Аллель-A
Признак Аллель-a

t	a
Признак	Аллель-A
Признак	Аллель-a

Другие выводы1

dominierendes Merkmal erscheint
c: Скрещиваниеt: Признак

Граф связей

dominierendes Merkmal erscheint
c	t
Скрещивание	Признак

Граф связей

Hybrid bildet Keimzellen mit diesem Merkmal
c	t	a
Скрещивание	Признак	Аллель-A
Скрещивание	Признак	Аллель-a

Скрыто выведенных фактов: 0. В кратком ответе движок оставляет относящиеся к вопросу; полный перечень — в JSON расчёта ниже.

Граф доказательств

Граф доказательства · 3 слой

Узлы доказательств: 7 · assertion 3, rule_application 3, query_evaluation 1

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

attributes

assertion: fact-1

conclusion

Аргументы

Идентификатор
Скрещивание
Тип
entity_ref
Идентификатор
Признак
Тип
entity_ref
Идентификатор
Аллель-A
Тип
entity_ref
Идентификатор
Аллель-a
Тип
entity_ref

Тип

literal

Знак

positive

Условие

hybrid_for

evidence

—

Идентификатор

fact-1

Тип

assertion

Посылки

—

sourceAnchors

—

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

attributes

assertion: fact-2

conclusion

Аргументы

Идентификатор
Признак
Тип
entity_ref
Идентификатор
Аллель-A
Тип
entity_ref

Тип

literal

Знак

positive

Условие

dominant_allele

evidence

—

Идентификатор

fact-2

Тип

assertion

Посылки

—

sourceAnchors

—

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

attributes

assertion: fact-3

conclusion

Аргументы

Идентификатор
Признак
Тип
entity_ref
Идентификатор
Аллель-a
Тип
entity_ref

Тип

literal

Знак

positive

Условие

recessive_allele

evidence

—

Идентификатор

fact-3

Тип

assertion

Посылки

—

sourceAnchors

—

rule_application · urn:proof:apply:DominantPhenotypeOfHybrid:0c1a5d55679a4bf2068022c60bd7f0c57b6689ce750b87f65341ef0a7079ee94

attributes

—

conclusion

Аргументы

Идентификатор
Скрещивание
Тип
entity_ref
Идентификатор
Признак
Тип
entity_ref

Тип

literal

Знак

positive

Условие

dominant_phenotype

evidence

—

Идентификатор

0c1a5d55679a4bf2068022c60bd7f0c57b6689ce750b87f65341ef0a7079ee94

Тип

rule_application

Посылки

fact-1
fact-2
fact-3

Правило

DominantPhenotypeOfHybrid

sourceAnchors

—

substitution

Идентификатор: Скрещивание
Тип: entity_ref

Идентификатор: Признак
Тип: entity_ref

Идентификатор: Аллель-A
Тип: entity_ref

Идентификатор: Аллель-a
Тип: entity_ref

rule_application · urn:proof:apply:HybridSeparatesDominantAllele:2009b700e37279e41e3ba5174b5531068c6a3116487696e6624af83f72c8d189

attributes

—

conclusion

Аргументы

Идентификатор
Скрещивание
Тип
entity_ref
Идентификатор
Признак
Тип
entity_ref
Идентификатор
Аллель-A
Тип
entity_ref

Тип

literal

Знак

positive

Условие

gamete_carries

evidence

—

Идентификатор

2009b700e37279e41e3ba5174b5531068c6a3116487696e6624af83f72c8d189

Тип

rule_application

Посылки

fact-1
fact-2
fact-3

Правило

HybridSeparatesDominantAllele

sourceAnchors

—

substitution

Идентификатор: Скрещивание
Тип: entity_ref

Идентификатор: Признак
Тип: entity_ref

Идентификатор: Аллель-A
Тип: entity_ref

Идентификатор: Аллель-a
Тип: entity_ref

rule_application · urn:proof:apply:HybridSeparatesRecessiveAllele:56d32d088c60d1799e5bd3a151da91b0def682b63d2c1c92362146e28eb6662e

attributes

—

conclusion

Аргументы

Идентификатор
Скрещивание
Тип
entity_ref
Идентификатор
Признак
Тип
entity_ref
Идентификатор
Аллель-a
Тип
entity_ref

Тип

literal

Знак

positive

Условие

gamete_carries

evidence

—

Идентификатор

56d32d088c60d1799e5bd3a151da91b0def682b63d2c1c92362146e28eb6662e

Тип

rule_application

Посылки

fact-1
fact-2
fact-3

Правило

HybridSeparatesRecessiveAllele

sourceAnchors

—

substitution

Идентификатор: Скрещивание
Тип: entity_ref

Идентификатор: Признак
Тип: entity_ref

Идентификатор: Аллель-A
Тип: entity_ref

Идентификатор: Аллель-a
Тип: entity_ref

query_evaluation · urn:proof:query:mcp

attributes

—

conclusion

comprehension

distinct

Да

element

Тип: var
var: v0

generator

formula

Аргументы

Идентификатор
Скрещивание
Тип
entity_ref
Идентификатор
Признак
Тип
entity_ref
Тип
var
var
v0

Тип

literal

Знак

positive

Условие

gamete_carries

Тип

status

Статус расчёта

established

Тип

comprehension

variable

Идентификатор: v0

count

evidence

—

Идентификатор

mcp

Тип

query_evaluation

Посылки

2009b700e37279e41e3ba5174b5531068c6a3116487696e6624af83f72c8d189
56d32d088c60d1799e5bd3a151da91b0def682b63d2c1c92362146e28eb6662e

sourceAnchors

—

Идентификаторы календаря и доказательства

Ссылка на доказательство: mcp

Исходное обоснование · JSON

{
  "derived": [
    "dominant_phenotype(Скрещивание, Признак)",
    "gamete_carries(Скрещивание, Признак, Аллель-A)",
    "gamete_carries(Скрещивание, Признак, Аллель-a)"
  ],
  "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"
              },
              {
                "id": "urn:mcp:entity:Аллель-A",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Аллель-a",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#hybrid_for"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-1",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-2"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Признак",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Аллель-A",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#dominant_allele"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-2",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-3"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Признак",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Аллель-a",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#recessive_allele"
          },
          "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:mcp:entity:Признак",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#dominant_phenotype"
          },
          "evidence": [],
          "id": "urn:proof:apply:DominantPhenotypeOfHybrid:0c1a5d55679a4bf2068022c60bd7f0c57b6689ce750b87f65341ef0a7079ee94",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-1",
            "urn:proof:assert:urn:mcp:case#fact-2",
            "urn:proof:assert:urn:mcp:case#fact-3"
          ],
          "rule": "urn:bio:clir:mendel#DominantPhenotypeOfHybrid",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:mcp:entity:Скрещивание",
              "kind": "entity_ref"
            },
            "v1": {
              "id": "urn:mcp:entity:Признак",
              "kind": "entity_ref"
            },
            "v2": {
              "id": "urn:mcp:entity:Аллель-A",
              "kind": "entity_ref"
            },
            "v3": {
              "id": "urn:mcp:entity:Аллель-a",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Признак",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Аллель-A",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#gamete_carries"
          },
          "evidence": [],
          "id": "urn:proof:apply:HybridSeparatesDominantAllele:2009b700e37279e41e3ba5174b5531068c6a3116487696e6624af83f72c8d189",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-1",
            "urn:proof:assert:urn:mcp:case#fact-2",
            "urn:proof:assert:urn:mcp:case#fact-3"
          ],
          "rule": "urn:bio:clir:mendel#HybridSeparatesDominantAllele",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:mcp:entity:Скрещивание",
              "kind": "entity_ref"
            },
            "v1": {
              "id": "urn:mcp:entity:Признак",
              "kind": "entity_ref"
            },
            "v2": {
              "id": "urn:mcp:entity:Аллель-A",
              "kind": "entity_ref"
            },
            "v3": {
              "id": "urn:mcp:entity:Аллель-a",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Признак",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Аллель-a",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#gamete_carries"
          },
          "evidence": [],
          "id": "urn:proof:apply:HybridSeparatesRecessiveAllele:56d32d088c60d1799e5bd3a151da91b0def682b63d2c1c92362146e28eb6662e",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-1",
            "urn:proof:assert:urn:mcp:case#fact-2",
            "urn:proof:assert:urn:mcp:case#fact-3"
          ],
          "rule": "urn:bio:clir:mendel#HybridSeparatesRecessiveAllele",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:mcp:entity:Скрещивание",
              "kind": "entity_ref"
            },
            "v1": {
              "id": "urn:mcp:entity:Признак",
              "kind": "entity_ref"
            },
            "v2": {
              "id": "urn:mcp:entity:Аллель-A",
              "kind": "entity_ref"
            },
            "v3": {
              "id": "urn:mcp:entity:Аллель-a",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {},
          "conclusion": {
            "comprehension": {
              "distinct": true,
              "element": {
                "kind": "var",
                "var": "v0"
              },
              "generator": {
                "formula": {
                  "args": [
                    {
                      "id": "urn:mcp:entity:Скрещивание",
                      "kind": "entity_ref"
                    },
                    {
                      "id": "urn:mcp:entity:Признак",
                      "kind": "entity_ref"
                    },
                    {
                      "kind": "var",
                      "var": "v0"
                    }
                  ],
                  "kind": "literal",
                  "polarity": "positive",
                  "predicate": "urn:bio:clir:mendel#gamete_carries"
                },
                "kind": "status",
                "status": "established"
              },
              "kind": "comprehension",
              "variable": {
                "id": "v0"
              }
            },
            "count": 2
          },
          "evidence": [],
          "id": "urn:proof:query:mcp",
          "kind": "query_evaluation",
          "premises": [
            "urn:proof:apply:HybridSeparatesDominantAllele:2009b700e37279e41e3ba5174b5531068c6a3116487696e6624af83f72c8d189",
            "urn:proof:apply:HybridSeparatesRecessiveAllele:56d32d088c60d1799e5bd3a151da91b0def682b63d2c1c92362146e28eb6662e"
          ],
          "sourceAnchors": []
        }
      ],
      "proofHash": "sha256:d97e7d9c8339e3f16fb7d34beb93310fd08270424e5d5ea2fb999e0af3b53cb1",
      "roots": [
        "urn:proof:query:mcp"
      ]
    },
    "resultHash": "sha256:f8c865466fc1eada042f6e591b675e1f25739ae7ba877e27b2c805a6af7e00b7",
    "schemaVersion": "law.core.evaluation/0.2"
  },
  "proofRef": "urn:proof:query:mcp",
  "rulesApplied": [
    "urn:bio:clir:mendel#DominantPhenotypeOfHybrid",
    "urn:bio:clir:mendel#HybridSeparatesDominantAllele",
    "urn:bio:clir:mendel#HybridSeparatesRecessiveAllele"
  ]
}

ИсточникиФрагментов: 2

section/die-zweite-generation/3-1

Gregor Mendel, Versuche über Pflanzen-Hybriden (1866): ограниченная формализация наследования — вне юрисдикции государства — доктрина

Merkmale das Durchschnittsverhältniss 2,98 : 1 oder 3 : 1.

Исходные данные · JSON

{
  "contentHash": "sha256:5532e63d15ff0fe1b789bb396d43ecf27a947fe20f3ade0989522016f77c46a0",
  "edition": "urn:bio:clir:mendel#MENDEL_DE_REPRINT",
  "fragmentKind": "section",
  "id": "urn:bio:clir:mendel#MENDEL_3_TO_1",
  "kind": "fragment",
  "locator": "section/die-zweite-generation/3-1",
  "package": "urn:bio:clir:mendel",
  "texts": [
    {
      "contentHash": "sha256:eeca78d88cd024b7006d781e55538fa7d82d86ac08161c31931622c864eebbe8",
      "language": "de",
      "status": "unofficial",
      "text": "Merkmale das Durchschnittsverhältniss 2,98 : 1 oder 3 : 1."
    }
  ]
}

section/die-zweite-generation/2-1-1

demnach für alle Versuche in die Verhältnisse 2 : 1 : 1 auf, wenn man

Исходные данные · JSON

{
  "contentHash": "sha256:167b421671dbb36e704254d27395b705313c7437b19e9c1898570741caf91d91",
  "edition": "urn:bio:clir:mendel#MENDEL_DE_REPRINT",
  "fragmentKind": "section",
  "id": "urn:bio:clir:mendel#MENDEL_SEGREGATION",
  "kind": "fragment",
  "locator": "section/die-zweite-generation/2-1-1",
  "package": "urn:bio:clir:mendel",
  "texts": [
    {
      "contentHash": "sha256:74b8cc7dd567c263136b9ff6d060f96d568979184dff52c1cc107232b301f80a",
      "language": "de",
      "status": "unofficial",
      "text": "demnach für alle Versuche in die Verhältnisse 2 : 1 : 1 auf, wenn man"
    }
  ]
}

Пакеты в снимке

Gregor Mendel, Versuche über Pflanzen-Hybriden (1866): ограниченная формализация наследования — вне юрисдикции государства — доктрина

Технические данныеПолный ответ, параметры и контрольные суммы

Статус расчёта: COMPUTED

Полный ответ движка

Найдено записей: 2. Значения ?v0: Аллель-A, Аллель-a Выведено правом: dominant_phenotype(Скрещивание, Признак); gamete_carries(Скрещивание, Признак, Аллель-A); gamete_carries(Скрещивание, Признак, Аллель-a) Применены правила: DominantPhenotypeOfHybrid, HybridSeparatesDominantAllele, HybridSeparatesRecessiveAllele Право (вне юрисдикции государства): Gregor Mendel, Versuche über Pflanzen-Hybriden (1866): ограниченная формализация наследования — доктрина (programHash sha256:0319f6093969…) proof-граф: 7 узлов — поле evaluation готово для law_explain

Полный машинный результат · JSON

{
  "answer": {
    "count": 2,
    "elements": [
      {
        "id": "urn:mcp:entity:Аллель-A",
        "kind": "entity_ref"
      },
      {
        "id": "urn:mcp:entity:Аллель-a",
        "kind": "entity_ref"
      }
    ],
    "evaluationStatus": "COMPUTED",
    "kind": "COLLECTION",
    "missingInputs": [],
    "variable": "v0"
  },
  "closedEditionRules": [],
  "derived": [
    "dominant_phenotype(Скрещивание, Признак)",
    "gamete_carries(Скрещивание, Признак, Аллель-A)",
    "gamete_carries(Скрещивание, Признак, Аллель-a)"
  ],
  "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"
              },
              {
                "id": "urn:mcp:entity:Аллель-A",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Аллель-a",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#hybrid_for"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-1",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-2"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Признак",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Аллель-A",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#dominant_allele"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-2",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-3"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Признак",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Аллель-a",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#recessive_allele"
          },
          "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:mcp:entity:Признак",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#dominant_phenotype"
          },
          "evidence": [],
          "id": "urn:proof:apply:DominantPhenotypeOfHybrid:0c1a5d55679a4bf2068022c60bd7f0c57b6689ce750b87f65341ef0a7079ee94",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-1",
            "urn:proof:assert:urn:mcp:case#fact-2",
            "urn:proof:assert:urn:mcp:case#fact-3"
          ],
          "rule": "urn:bio:clir:mendel#DominantPhenotypeOfHybrid",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:mcp:entity:Скрещивание",
              "kind": "entity_ref"
            },
            "v1": {
              "id": "urn:mcp:entity:Признак",
              "kind": "entity_ref"
            },
            "v2": {
              "id": "urn:mcp:entity:Аллель-A",
              "kind": "entity_ref"
            },
            "v3": {
              "id": "urn:mcp:entity:Аллель-a",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Признак",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Аллель-A",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#gamete_carries"
          },
          "evidence": [],
          "id": "urn:proof:apply:HybridSeparatesDominantAllele:2009b700e37279e41e3ba5174b5531068c6a3116487696e6624af83f72c8d189",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-1",
            "urn:proof:assert:urn:mcp:case#fact-2",
            "urn:proof:assert:urn:mcp:case#fact-3"
          ],
          "rule": "urn:bio:clir:mendel#HybridSeparatesDominantAllele",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:mcp:entity:Скрещивание",
              "kind": "entity_ref"
            },
            "v1": {
              "id": "urn:mcp:entity:Признак",
              "kind": "entity_ref"
            },
            "v2": {
              "id": "urn:mcp:entity:Аллель-A",
              "kind": "entity_ref"
            },
            "v3": {
              "id": "urn:mcp:entity:Аллель-a",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Признак",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Аллель-a",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#gamete_carries"
          },
          "evidence": [],
          "id": "urn:proof:apply:HybridSeparatesRecessiveAllele:56d32d088c60d1799e5bd3a151da91b0def682b63d2c1c92362146e28eb6662e",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-1",
            "urn:proof:assert:urn:mcp:case#fact-2",
            "urn:proof:assert:urn:mcp:case#fact-3"
          ],
          "rule": "urn:bio:clir:mendel#HybridSeparatesRecessiveAllele",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:mcp:entity:Скрещивание",
              "kind": "entity_ref"
            },
            "v1": {
              "id": "urn:mcp:entity:Признак",
              "kind": "entity_ref"
            },
            "v2": {
              "id": "urn:mcp:entity:Аллель-A",
              "kind": "entity_ref"
            },
            "v3": {
              "id": "urn:mcp:entity:Аллель-a",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {},
          "conclusion": {
            "comprehension": {
              "distinct": true,
              "element": {
                "kind": "var",
                "var": "v0"
              },
              "generator": {
                "formula": {
                  "args": [
                    {
                      "id": "urn:mcp:entity:Скрещивание",
                      "kind": "entity_ref"
                    },
                    {
                      "id": "urn:mcp:entity:Признак",
                      "kind": "entity_ref"
                    },
                    {
                      "kind": "var",
                      "var": "v0"
                    }
                  ],
                  "kind": "literal",
                  "polarity": "positive",
                  "predicate": "urn:bio:clir:mendel#gamete_carries"
                },
                "kind": "status",
                "status": "established"
              },
              "kind": "comprehension",
              "variable": {
                "id": "v0"
              }
            },
            "count": 2
          },
          "evidence": [],
          "id": "urn:proof:query:mcp",
          "kind": "query_evaluation",
          "premises": [
            "urn:proof:apply:HybridSeparatesDominantAllele:2009b700e37279e41e3ba5174b5531068c6a3116487696e6624af83f72c8d189",
            "urn:proof:apply:HybridSeparatesRecessiveAllele:56d32d088c60d1799e5bd3a151da91b0def682b63d2c1c92362146e28eb6662e"
          ],
          "sourceAnchors": []
        }
      ],
      "proofHash": "sha256:d97e7d9c8339e3f16fb7d34beb93310fd08270424e5d5ea2fb999e0af3b53cb1",
      "roots": [
        "urn:proof:query:mcp"
      ]
    },
    "resultHash": "sha256:f8c865466fc1eada042f6e591b675e1f25739ae7ba877e27b2c805a6af7e00b7",
    "schemaVersion": "law.core.evaluation/0.2"
  },
  "evaluationStatus": "COMPUTED",
  "issues": [],
  "judgmentRequests": [],
  "proofRef": "urn:proof:query:mcp",
  "provenance": {
    "acts": [
      {
        "contributed": true,
        "fragmentCount": 3,
        "fragments": [
          "urn:bio:clir:mendel#MENDEL_3_TO_1",
          "urn:bio:clir:mendel#MENDEL_SEGREGATION"
        ],
        "jurisdiction": "none",
        "namespace": "urn:bio:clir:mendel",
        "package": "bio-mendel",
        "title": "Gregor Mendel, Versuche über Pflanzen-Hybriden (1866): ограниченная формализация наследования — вне юрисдикции государства — доктрина"
      }
    ],
    "caseHash": "sha256:207949bef67cd242afcffc28ac9dbda49094e30dc51c19854a497feb669757aa",
    "codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
    "jurisdiction": "вне юрисдикции государства",
    "legalTime": "2026-08-31",
    "mode": "audit",
    "programHash": "sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3",
    "resultHash": "sha256:f8c865466fc1eada042f6e591b675e1f25739ae7ba877e27b2c805a6af7e00b7",
    "rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
    "timezone": "Asia/Qyzylorda"
  },
  "rulesApplied": [
    "urn:bio:clir:mendel#DominantPhenotypeOfHybrid",
    "urn:bio:clir:mendel#HybridSeparatesDominantAllele",
    "urn:bio:clir:mendel#HybridSeparatesRecessiveAllele"
  ],
  "signature": {
    "constants": {},
    "element": {
      "index": 2,
      "type": {
        "name": "urn:bio:clir:mendel#Allele"
      }
    },
    "parameters": [
      {
        "labels": [],
        "name": "c",
        "type": {
          "name": "urn:bio:clir:mendel#Cross"
        }
      },
      {
        "labels": [],
        "name": "t",
        "type": {
          "name": "urn:bio:clir:mendel#Trait"
        }
      },
      {
        "labels": [],
        "name": "a",
        "type": {
          "name": "urn:bio:clir:mendel#Allele"
        }
      }
    ],
    "predicate": "urn:bio:clir:mendel#gamete_carries",
    "schemaVersion": "law.answers.signature/0.1",
    "types": {
      "urn:bio:clir:mendel#Allele": {
        "kind": "entity",
        "labels": [
          {
            "language": "de",
            "status": "unofficial",
            "text": "Erbfaktor"
          }
        ],
        "namespace": "urn:bio:clir:mendel",
        "package": "bio.mendel"
      },
      "urn:bio:clir:mendel#Cross": {
        "kind": "entity",
        "labels": [
          {
            "language": "de",
            "status": "unofficial",
            "text": "Kreuzungsfall"
          }
        ],
        "namespace": "urn:bio:clir:mendel",
        "package": "bio.mendel"
      },
      "urn:bio:clir:mendel#Trait": {
        "kind": "entity",
        "labels": [
          {
            "language": "de",
            "status": "unofficial",
            "text": "Merkmal"
          }
        ],
        "namespace": "urn:bio:clir:mendel",
        "package": "bio.mendel"
      }
    },
    "vocab": {}
  },
  "vulnerableTo": [],
  "whyNot": []
}

Исполнение · JSON

{
  "evaluationBytes": "{\"conflicts\":[],\"issues\":[],\"manifest\":{\"artifactHash\":\"sha256:a26de66a905f54b103955f9b6cf1179c92990e4069cc058d4d9f2a034aea0012\",\"calendarSnapshot\":\"\",\"caseHash\":\"sha256:207949bef67cd242afcffc28ac9dbda49094e30dc51c19854a497feb669757aa\",\"decisionTime\":\"2026-08-31T12:00:00+05:00\",\"evidenceSnapshotHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"externalSnapshots\":{},\"id\":\"urn:manifest:oracle-1\",\"interpretations\":[],\"knowledgeTime\":\"2026-08-31T12:00:00+05:00\",\"legalTime\":\"2026-08-31\",\"lockfileHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"mode\":\"audit\",\"policies\":{},\"programHash\":\"sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3\",\"resolvedEditions\":{},\"semanticHash\":\"sha256:0346d7df01645415088e00b244f97449fcee1da0484875ff4e7dbd657ec41222\",\"semantics\":\"law.core/0.2\",\"theoryHash\":\"sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3\",\"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\"},{\"id\":\"urn:mcp:entity:Аллель-A\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Аллель-a\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#hybrid_for\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-1\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-2\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Признак\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Аллель-A\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dominant_allele\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-2\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-3\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Признак\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Аллель-a\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#recessive_allele\"},\"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:mcp:entity:Признак\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dominant_phenotype\"},\"evidence\":[],\"id\":\"urn:proof:apply:DominantPhenotypeOfHybrid:0c1a5d55679a4bf2068022c60bd7f0c57b6689ce750b87f65341ef0a7079ee94\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\",\"urn:proof:assert:urn:mcp:case#fact-2\",\"urn:proof:assert:urn:mcp:case#fact-3\"],\"rule\":\"urn:bio:clir:mendel#DominantPhenotypeOfHybrid\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},\"v1\":{\"id\":\"urn:mcp:entity:Признак\",\"kind\":\"entity_ref\"},\"v2\":{\"id\":\"urn:mcp:entity:Аллель-A\",\"kind\":\"entity_ref\"},\"v3\":{\"id\":\"urn:mcp:entity:Аллель-a\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Признак\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Аллель-A\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#gamete_carries\"},\"evidence\":[],\"id\":\"urn:proof:apply:HybridSeparatesDominantAllele:2009b700e37279e41e3ba5174b5531068c6a3116487696e6624af83f72c8d189\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\",\"urn:proof:assert:urn:mcp:case#fact-2\",\"urn:proof:assert:urn:mcp:case#fact-3\"],\"rule\":\"urn:bio:clir:mendel#HybridSeparatesDominantAllele\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},\"v1\":{\"id\":\"urn:mcp:entity:Признак\",\"kind\":\"entity_ref\"},\"v2\":{\"id\":\"urn:mcp:entity:Аллель-A\",\"kind\":\"entity_ref\"},\"v3\":{\"id\":\"urn:mcp:entity:Аллель-a\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Признак\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Аллель-a\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#gamete_carries\"},\"evidence\":[],\"id\":\"urn:proof:apply:HybridSeparatesRecessiveAllele:56d32d088c60d1799e5bd3a151da91b0def682b63d2c1c92362146e28eb6662e\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\",\"urn:proof:assert:urn:mcp:case#fact-2\",\"urn:proof:assert:urn:mcp:case#fact-3\"],\"rule\":\"urn:bio:clir:mendel#HybridSeparatesRecessiveAllele\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},\"v1\":{\"id\":\"urn:mcp:entity:Признак\",\"kind\":\"entity_ref\"},\"v2\":{\"id\":\"urn:mcp:entity:Аллель-A\",\"kind\":\"entity_ref\"},\"v3\":{\"id\":\"urn:mcp:entity:Аллель-a\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"comprehension\":{\"distinct\":true,\"element\":{\"kind\":\"var\",\"var\":\"v0\"},\"generator\":{\"formula\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Признак\",\"kind\":\"entity_ref\"},{\"kind\":\"var\",\"var\":\"v0\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#gamete_carries\"},\"kind\":\"status\",\"status\":\"established\"},\"kind\":\"comprehension\",\"variable\":{\"id\":\"v0\"}},\"count\":2},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[\"urn:proof:apply:HybridSeparatesDominantAllele:2009b700e37279e41e3ba5174b5531068c6a3116487696e6624af83f72c8d189\",\"urn:proof:apply:HybridSeparatesRecessiveAllele:56d32d088c60d1799e5bd3a151da91b0def682b63d2c1c92362146e28eb6662e\"],\"sourceAnchors\":[]}],\"proofHash\":\"sha256:d97e7d9c8339e3f16fb7d34beb93310fd08270424e5d5ea2fb999e0af3b53cb1\",\"roots\":[\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:f8c865466fc1eada042f6e591b675e1f25739ae7ba877e27b2c805a6af7e00b7\",\"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:mcp:entity:Аллель-A\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Аллель-a\",\"kind\":\"entity_ref\"}]}],\"schemaVersion\":\"law.core.evaluation/0.2\"}",
  "evaluationSha256": "sha256:db13e16f28df1b18708dfcb48de688d939f1be36222dd9a13a2f3a01acea26cc",
  "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"
              },
              {
                "id": "urn:mcp:entity:Аллель-A",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Аллель-a",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#hybrid_for"
          },
          "origin": "case_input",
          "package": "urn:bio:clir:mendel"
        },
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-2",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:mcp:entity:Признак",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Аллель-A",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#dominant_allele"
          },
          "origin": "case_input",
          "package": "urn:bio:clir:mendel"
        },
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-3",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:mcp:entity:Признак",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Аллель-a",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#recessive_allele"
          },
          "origin": "case_input",
          "package": "urn:bio:clir:mendel"
        }
      ],
      "context": {
        "decisionTime": "2026-08-31T12:00:00+05:00",
        "knowledgeTime": "2026-08-31T12:00:00+05:00",
        "legalTime": "2026-08-31",
        "timezone": "Asia/Qyzylorda"
      },
      "options": {
        "selectedInterpretations": []
      }
    },
    "ir": {
      "irSha256": "sha256:82e39472d0a0a8e6c7d754b826d6a7d2c16982b337f57f2e8ff36309f8d9fe7a",
      "kind": "world_ref",
      "nodeCount": 48,
      "packages": [
        {
          "artifactHash": "sha256:a26de66a905f54b103955f9b6cf1179c92990e4069cc058d4d9f2a034aea0012",
          "namespace": "urn:bio:clir:mendel",
          "package": "bio-mendel",
          "semanticHash": "sha256:a3fa708325d9bc089306c4459667f679908577742cf38dc9dca53f0a6a369c00"
        }
      ],
      "programHash": "sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3"
    },
    "query": {
      "comprehension": {
        "distinct": true,
        "element": {
          "kind": "var",
          "var": "v0"
        },
        "generator": {
          "formula": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Признак",
                "kind": "entity_ref"
              },
              {
                "kind": "var",
                "var": "v0"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#gamete_carries"
          },
          "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:55cdd3bd1993c94c40d7a7ffc5e035254c37dae1fb0ca6fe8acb48f2f24ef154"
}

Метаданные отображения

{
  "schemaVersion": "law.answers.presentation/0.1",
  "source": {
    "requestCanonicalSha256": "sha256:55cdd3bd1993c94c40d7a7ffc5e035254c37dae1fb0ca6fe8acb48f2f24ef154"
  },
  "steps": [
    {
      "assertionOrigin": "case_input",
      "conclusion": {
        "args": [
          {
            "id": "urn:mcp:entity:Скрещивание",
            "kind": "entity_ref"
          },
          {
            "id": "urn:mcp:entity:Признак",
            "kind": "entity_ref"
          },
          {
            "id": "urn:mcp:entity:Аллель-A",
            "kind": "entity_ref"
          },
          {
            "id": "urn:mcp:entity:Аллель-a",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:bio:clir:mendel#hybrid_for"
      },
      "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:mcp:entity:Аллель-A",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:bio:clir:mendel#dominant_allele"
      },
      "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:mcp:entity:Аллель-a",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:bio:clir:mendel#recessive_allele"
      },
      "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:mcp:entity:Признак",
            "kind": "entity_ref"
          },
          {
            "id": "urn:mcp:entity:Аллель-A",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:bio:clir:mendel#gamete_carries"
      },
      "head": {
        "args": [
          {
            "kind": "var",
            "var": "v0"
          },
          {
            "kind": "var",
            "var": "v1"
          },
          {
            "kind": "var",
            "var": "v2"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:bio:clir:mendel#gamete_carries"
      },
      "id": "urn:proof:apply:HybridSeparatesDominantAllele:2009b700e37279e41e3ba5174b5531068c6a3116487696e6624af83f72c8d189",
      "kind": "rule_application",
      "originStatus": "available",
      "premises": [
        "urn:proof:assert:urn:mcp:case#fact-1",
        "urn:proof:assert:urn:mcp:case#fact-2",
        "urn:proof:assert:urn:mcp:case#fact-3"
      ],
      "rule": "urn:bio:clir:mendel#HybridSeparatesDominantAllele",
      "sourceAnchors": [
        "urn:bio:clir:mendel#MENDEL_SEGREGATION"
      ],
      "strength": "strict",
      "substitution": {
        "v0": {
          "id": "urn:mcp:entity:Скрещивание",
          "kind": "entity_ref"
        },
        "v1": {
          "id": "urn:mcp:entity:Признак",
          "kind": "entity_ref"
        },
        "v2": {
          "id": "urn:mcp:entity:Аллель-A",
          "kind": "entity_ref"
        },
        "v3": {
          "id": "urn:mcp:entity:Аллель-a",
          "kind": "entity_ref"
        }
      },
      "trust": "engine",
      "variables": [
        {
          "id": "v0",
          "type": {
            "name": "urn:bio:clir:mendel#Cross"
          }
        },
        {
          "id": "v1",
          "type": {
            "name": "urn:bio:clir:mendel#Trait"
          }
        },
        {
          "id": "v2",
          "type": {
            "name": "urn:bio:clir:mendel#Allele"
          }
        },
        {
          "id": "v3",
          "type": {
            "name": "urn:bio:clir:mendel#Allele"
          }
        }
      ]
    },
    {
      "conclusion": {
        "args": [
          {
            "id": "urn:mcp:entity:Скрещивание",
            "kind": "entity_ref"
          },
          {
            "id": "urn:mcp:entity:Признак",
            "kind": "entity_ref"
          },
          {
            "id": "urn:mcp:entity:Аллель-a",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:bio:clir:mendel#gamete_carries"
      },
      "head": {
        "args": [
          {
            "kind": "var",
            "var": "v0"
          },
          {
            "kind": "var",
            "var": "v1"
          },
          {
            "kind": "var",
            "var": "v3"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:bio:clir:mendel#gamete_carries"
      },
      "id": "urn:proof:apply:HybridSeparatesRecessiveAllele:56d32d088c60d1799e5bd3a151da91b0def682b63d2c1c92362146e28eb6662e",
      "kind": "rule_application",
      "originStatus": "available",
      "premises": [
        "urn:proof:assert:urn:mcp:case#fact-1",
        "urn:proof:assert:urn:mcp:case#fact-2",
        "urn:proof:assert:urn:mcp:case#fact-3"
      ],
      "rule": "urn:bio:clir:mendel#HybridSeparatesRecessiveAllele",
      "sourceAnchors": [
        "urn:bio:clir:mendel#MENDEL_SEGREGATION"
      ],
      "strength": "strict",
      "substitution": {
        "v0": {
          "id": "urn:mcp:entity:Скрещивание",
          "kind": "entity_ref"
        },
        "v1": {
          "id": "urn:mcp:entity:Признак",
          "kind": "entity_ref"
        },
        "v2": {
          "id": "urn:mcp:entity:Аллель-A",
          "kind": "entity_ref"
        },
        "v3": {
          "id": "urn:mcp:entity:Аллель-a",
          "kind": "entity_ref"
        }
      },
      "trust": "engine",
      "variables": [
        {
          "id": "v0",
          "type": {
            "name": "urn:bio:clir:mendel#Cross"
          }
        },
        {
          "id": "v1",
          "type": {
            "name": "urn:bio:clir:mendel#Trait"
          }
        },
        {
          "id": "v2",
          "type": {
            "name": "urn:bio:clir:mendel#Allele"
          }
        },
        {
          "id": "v3",
          "type": {
            "name": "urn:bio:clir:mendel#Allele"
          }
        }
      ]
    },
    {
      "conclusion": {
        "comprehension": {
          "distinct": true,
          "element": {
            "kind": "var",
            "var": "v0"
          },
          "generator": {
            "formula": {
              "args": [
                {
                  "id": "urn:mcp:entity:Скрещивание",
                  "kind": "entity_ref"
                },
                {
                  "id": "urn:mcp:entity:Признак",
                  "kind": "entity_ref"
                },
                {
                  "kind": "var",
                  "var": "v0"
                }
              ],
              "kind": "literal",
              "polarity": "positive",
              "predicate": "urn:bio:clir:mendel#gamete_carries"
            },
            "kind": "status",
            "status": "established"
          },
          "kind": "comprehension",
          "variable": {
            "id": "v0"
          }
        },
        "count": 2
      },
      "id": "urn:proof:query:mcp",
      "kind": "query_evaluation",
      "originStatus": "available",
      "premises": [
        "urn:proof:apply:HybridSeparatesDominantAllele:2009b700e37279e41e3ba5174b5531068c6a3116487696e6624af83f72c8d189",
        "urn:proof:apply:HybridSeparatesRecessiveAllele:56d32d088c60d1799e5bd3a151da91b0def682b63d2c1c92362146e28eb6662e"
      ],
      "trust": "engine"
    }
  ],
  "symbols": [
    {
      "id": "urn:bio:clir:mendel#Allele",
      "kind": "type_decl",
      "labels": [
        {
          "language": "de",
          "status": "unofficial",
          "text": "Erbfaktor"
        }
      ],
      "name": "Allele",
      "package": "urn:bio:clir:mendel"
    },
    {
      "id": "urn:bio:clir:mendel#Cross",
      "kind": "type_decl",
      "labels": [
        {
          "language": "de",
          "status": "unofficial",
          "text": "Kreuzungsfall"
        }
      ],
      "name": "Cross",
      "package": "urn:bio:clir:mendel"
    },
    {
      "id": "urn:bio:clir:mendel#DominantPhenotypeOfHybrid",
      "kind": "rule",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "Доминантный признак гибрида проявляется"
        }
      ],
      "package": "urn:bio:clir:mendel",
      "strength": "strict"
    },
    {
      "id": "urn:bio:clir:mendel#HybridSeparatesDominantAllele",
      "kind": "rule",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "Гибрид образует гамету с доминантным аллелем"
        }
      ],
      "package": "urn:bio:clir:mendel",
      "strength": "strict"
    },
    {
      "id": "urn:bio:clir:mendel#HybridSeparatesRecessiveAllele",
      "kind": "rule",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "Гибрид образует гамету с рецессивным аллелем"
        }
      ],
      "package": "urn:bio:clir:mendel",
      "strength": "strict"
    },
    {
      "id": "urn:bio:clir:mendel#Trait",
      "kind": "type_decl",
      "labels": [
        {
          "language": "de",
          "status": "unofficial",
          "text": "Merkmal"
        }
      ],
      "name": "Trait",
      "package": "urn:bio:clir:mendel"
    },
    {
      "id": "urn:bio:clir:mendel#dominant_allele",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "de",
          "status": "unofficial",
          "text": "dominierendes Merkmal im Versuch"
        }
      ],
      "name": "dominant_allele",
      "package": "urn:bio:clir:mendel",
      "parameters": [
        {
          "id": "urn:bio:clir:mendel#dominant_allele/arg/t",
          "labels": [],
          "name": "t",
          "type": {
            "name": "urn:bio:clir:mendel#Trait"
          }
        },
        {
          "id": "urn:bio:clir:mendel#dominant_allele/arg/a",
          "labels": [],
          "name": "a",
          "type": {
            "name": "urn:bio:clir:mendel#Allele"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:bio:clir:mendel#dominant_phenotype",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "de",
          "status": "unofficial",
          "text": "dominierendes Merkmal erscheint"
        }
      ],
      "name": "dominant_phenotype",
      "package": "urn:bio:clir:mendel",
      "parameters": [
        {
          "id": "urn:bio:clir:mendel#dominant_phenotype/arg/c",
          "labels": [],
          "name": "c",
          "type": {
            "name": "urn:bio:clir:mendel#Cross"
          }
        },
        {
          "id": "urn:bio:clir:mendel#dominant_phenotype/arg/t",
          "labels": [],
          "name": "t",
          "type": {
            "name": "urn:bio:clir:mendel#Trait"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:bio:clir:mendel#gamete_carries",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "de",
          "status": "unofficial",
          "text": "Hybrid bildet Keimzellen mit diesem Merkmal"
        }
      ],
      "name": "gamete_carries",
      "package": "urn:bio:clir:mendel",
      "parameters": [
        {
          "id": "urn:bio:clir:mendel#gamete_carries/arg/c",
          "labels": [],
          "name": "c",
          "type": {
            "name": "urn:bio:clir:mendel#Cross"
          }
        },
        {
          "id": "urn:bio:clir:mendel#gamete_carries/arg/t",
          "labels": [],
          "name": "t",
          "type": {
            "name": "urn:bio:clir:mendel#Trait"
          }
        },
        {
          "id": "urn:bio:clir:mendel#gamete_carries/arg/a",
          "labels": [],
          "name": "a",
          "type": {
            "name": "urn:bio:clir:mendel#Allele"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:bio:clir:mendel#hybrid_for",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "de",
          "status": "unofficial",
          "text": "Hybridform mit zwei Merkmalen"
        }
      ],
      "name": "hybrid_for",
      "package": "urn:bio:clir:mendel",
      "parameters": [
        {
          "id": "urn:bio:clir:mendel#hybrid_for/arg/c",
          "labels": [],
          "name": "c",
          "type": {
            "name": "urn:bio:clir:mendel#Cross"
          }
        },
        {
          "id": "urn:bio:clir:mendel#hybrid_for/arg/t",
          "labels": [],
          "name": "t",
          "type": {
            "name": "urn:bio:clir:mendel#Trait"
          }
        },
        {
          "id": "urn:bio:clir:mendel#hybrid_for/arg/dominant",
          "labels": [],
          "name": "dominant",
          "type": {
            "name": "urn:bio:clir:mendel#Allele"
          }
        },
        {
          "id": "urn:bio:clir:mendel#hybrid_for/arg/recessive",
          "labels": [],
          "name": "recessive",
          "type": {
            "name": "urn:bio:clir:mendel#Allele"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:bio:clir:mendel#recessive_allele",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "de",
          "status": "unofficial",
          "text": "recessives Merkmal im Versuch"
        }
      ],
      "name": "recessive_allele",
      "package": "urn:bio:clir:mendel",
      "parameters": [
        {
          "id": "urn:bio:clir:mendel#recessive_allele/arg/t",
          "labels": [],
          "name": "t",
          "type": {
            "name": "urn:bio:clir:mendel#Trait"
          }
        },
        {
          "id": "urn:bio:clir:mendel#recessive_allele/arg/a",
          "labels": [],
          "name": "a",
          "type": {
            "name": "urn:bio:clir:mendel#Allele"
          }
        }
      ],
      "symbolKind": "relation"
    }
  ],
  "tables": []
}

JSON · расчёты, источники и точные данные

{
  "acts": [
    {
      "contributed": true,
      "fragmentCount": 3,
      "fragments": [
        "urn:bio:clir:mendel#MENDEL_3_TO_1",
        "urn:bio:clir:mendel#MENDEL_SEGREGATION"
      ],
      "jurisdiction": "none",
      "namespace": "urn:bio:clir:mendel",
      "package": "bio-mendel",
      "title": "Gregor Mendel, Versuche über Pflanzen-Hybriden (1866): ограниченная формализация наследования — вне юрисдикции государства — доктрина"
    }
  ],
  "caseHash": "sha256:207949bef67cd242afcffc28ac9dbda49094e30dc51c19854a497feb669757aa",
  "codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
  "jurisdiction": "вне юрисдикции государства",
  "legalTime": "2026-08-31",
  "mode": "audit",
  "programHash": "sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3",
  "resultHash": "sha256:f8c865466fc1eada042f6e591b675e1f25739ae7ba877e27b2c805a6af7e00b7",
  "rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
  "timezone": "Asia/Qyzylorda"
}

evaluation SHA-256: sha256:db13e16f28df1b18708dfcb48de688d939f1be36222dd9a13a2f3a01acea26cc

Исходные данные · JSON

{
  "args": [
    "Скрещивание",
    "Признак",
    {
      "kind": "var",
      "var": "v0"
    }
  ],
  "facts": [
    {
      "args": [
        "Скрещивание",
        "Признак",
        "Аллель-A",
        "Аллель-a"
      ],
      "predicate": "hybrid_for"
    },
    {
      "args": [
        "Признак",
        "Аллель-A"
      ],
      "predicate": "dominant_allele"
    },
    {
      "args": [
        "Признак",
        "Аллель-a"
      ],
      "predicate": "recessive_allele"
    }
  ],
  "kind": "collect",
  "legalTime": "2026-08-31",
  "package": "bio-mendel",
  "predicate": "gamete_carries",
  "proof": true
}

Два правила расщепления дают две гаметы: с доминантным и с рецессивным аллелем.

Выборка

Доля доминантных исходов моногибридного скрещивания

Дата контекста 31.08.2026

Результат расчёта

3/4

Элементы
genaue Anteil der dominanten Ergebnisse
³⁄₄

Исходные данные · JSON

[
  {
    "kind": "value",
    "type": {
      "name": "urn:law:std#Rational"
    },
    "value": "3/4"
  }
]

Исходные параметры

Что определяем

genaue Anteil der dominanten Ergebnisse

Скрещивание

Исходные факты

Kreuzungsfall
c: Скрещивание
Общий субъект фактов ниже
gezählte monohybride Kreuzung
Element der gezählten monohybriden Reihe
o: Потомок-1
gezähltes Ergebnis der monohybriden Kreuzung
o: Потомок-1dominant: Да
Element der gezählten monohybriden Reihe
o: Потомок-2
gezähltes Ergebnis der monohybriden Kreuzung
o: Потомок-2dominant: Да
Element der gezählten monohybriden Reihe
o: Потомок-3
gezähltes Ergebnis der monohybriden Kreuzung
o: Потомок-3dominant: Да
Element der gezählten monohybriden Reihe
o: Потомок-4
gezähltes Ergebnis der monohybriden Kreuzung
o: Потомок-4dominant: Нет

Дополнительные сведения

Сохранить доказательство: Да

Исходные данные · JSON

{
  "args": [
    "Скрещивание",
    {
      "kind": "var",
      "var": "v0"
    }
  ],
  "facts": [
    {
      "args": [
        "Скрещивание"
      ],
      "predicate": "monohybrid_cross"
    },
    {
      "args": [
        "Скрещивание",
        "Потомок-1"
      ],
      "predicate": "monohybrid_member"
    },
    {
      "args": [
        "Скрещивание",
        "Потомок-1",
        true
      ],
      "predicate": "monohybrid_outcome"
    },
    {
      "args": [
        "Скрещивание",
        "Потомок-2"
      ],
      "predicate": "monohybrid_member"
    },
    {
      "args": [
        "Скрещивание",
        "Потомок-2",
        true
      ],
      "predicate": "monohybrid_outcome"
    },
    {
      "args": [
        "Скрещивание",
        "Потомок-3"
      ],
      "predicate": "monohybrid_member"
    },
    {
      "args": [
        "Скрещивание",
        "Потомок-3",
        true
      ],
      "predicate": "monohybrid_outcome"
    },
    {
      "args": [
        "Скрещивание",
        "Потомок-4"
      ],
      "predicate": "monohybrid_member"
    },
    {
      "args": [
        "Скрещивание",
        "Потомок-4",
        false
      ],
      "predicate": "monohybrid_outcome"
    }
  ],
  "kind": "collect",
  "legalTime": "2026-08-31",
  "package": "bio-mendel",
  "predicate": "monohybrid_dominant_fraction",
  "proof": true
}

Почему такой результатПрименённые правила и условия

Путь вывода10 шагов

1
gezählte monohybride Kreuzung
c: Скрещивание
факт дела
2
Element der gezählten monohybriden Reihe
c: Скрещивание; o: Потомок-1
факт дела
3
gezähltes Ergebnis der monohybriden Kreuzung
c: Скрещивание; o: Потомок-1; dominant: Да
факт дела
4
Element der gezählten monohybriden Reihe
c: Скрещивание; o: Потомок-2
факт дела
5
gezähltes Ergebnis der monohybriden Kreuzung
c: Скрещивание; o: Потомок-2; dominant: Да
факт дела
6
Element der gezählten monohybriden Reihe
c: Скрещивание; o: Потомок-3
факт дела
7
gezähltes Ergebnis der monohybriden Kreuzung
c: Скрещивание; o: Потомок-3; dominant: Да
факт дела
8
Element der gezählten monohybriden Reihe
c: Скрещивание; o: Потомок-4
факт дела
9
Точная доля доминантных исходов моногибридного скрещивания
3/4 = {"input": {"binders": [], "distinct": true, "element": {"kind": "var", "var": "v1"}, "generator": {"formula": {"args": [{"kind": "var", "var": "v0"}, {"kind": "var", "var": "v1"}, {"kind": "value", "type": {"name": "urn:law:std#Boolean"}, "value": true}], "kind": "literal", "polarity": "positive", "predicate": "urn:bio:clir:mendel#monohybrid_outcome"}, "kind": "status", "status": "established"}, "kind": "comprehension", "variable": {"id": "v1", "type": {"name": "urn:bio:clir:mendel#Offspring"}}}, "kind": "aggregate", "op": "count"} / {"input": {"binders": [], "distinct": true, "element": {"kind": "var", "var": "v1"}, "generator": {"formula": {"args": [{"kind": "var", "var": "v0"}, {"kind": "var", "var": "v1"}], "kind": "literal", "polarity": "positive", "predicate": "urn:bio:clir:mendel#monohybrid_member"}, "kind": "status", "status": "established"}, "kind": "comprehension", "variable": {"id": "v1", "type": {"name": "urn:bio:clir:mendel#Offspring"}}}, "kind": "aggregate", "op": "count"}
section/die-zweite-generation/3-1
Идентификатор
urn:bio:clir:mendel#FractionMonohybridDominant
правило
10
Вычисление запроса
Найдено записей: 1
запрос

проверено движком: 2 · факт дела: 8 · Полный граф: 12 узлов

Основание этого ответа

Правила из сохранённой цепочки доказательства ответа.

Gregor Mendel, Versuche über Pflanzen-Hybriden (1866): ограниченная формализация наследования — вне юрисдикции государства — доктрина

Точная доля доминантных исходов моногибридного скрещивания
Идентификатор
urn:bio:clir:mendel#FractionMonohybridDominant

Другие правила расчёта2

Применены в общем расчёте, но не входят в цепочку доказательства этого ответа.

Gregor Mendel, Versuche über Pflanzen-Hybriden (1866): ограниченная формализация наследования — вне юрисдикции государства — доктрина

Подсчёт доминантных исходов моногибридного скрещивания
Идентификатор
urn:bio:clir:mendel#CountMonohybridDominant
Подсчёт всех исходов моногибридного скрещивания
Идентификатор
urn:bio:clir:mendel#CountMonohybridTotal

Вывод по запросу

genaue Anteil der dominanten Ergebnisse
c: Скрещиваниеshare: 3/4

Другие выводы2

Kreuzungsfall
c: Скрещивание
Общий субъект фактов ниже
Zahl der dominanten Ergebnisse
n: 3
Zahl aller Ergebnisse
n: 4

Zahl der dominanten Ergebnisse
c	n
Скрещивание	3

Zahl aller Ergebnisse
c	n
Скрещивание	4

genaue Anteil der dominanten Ergebnisse
c	share
Скрещивание	³⁄₄

Граф доказательств

Граф доказательства · 3 слой

Узлы доказательств: 12 · assertion 8, rule_application 3, query_evaluation 1

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

attributes

assertion: fact-1

conclusion

Аргументы

Идентификатор
Скрещивание
Тип
entity_ref

Тип

literal

Знак

positive

Условие

monohybrid_cross

evidence

—

Идентификатор

fact-1

Тип

assertion

Посылки

—

sourceAnchors

—

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

attributes

assertion: fact-2

conclusion

Аргументы

Идентификатор
Скрещивание
Тип
entity_ref
Идентификатор
Потомок-1
Тип
entity_ref

Тип

literal

Знак

positive

Условие

monohybrid_member

evidence

—

Идентификатор

fact-2

Тип

assertion

Посылки

—

sourceAnchors

—

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

attributes

assertion: fact-3

conclusion

Аргументы

Идентификатор
Скрещивание
Тип
entity_ref
Идентификатор
Потомок-1
Тип
entity_ref
Тип
value
type
name
Boolean
value
Да

Тип

literal

Знак

positive

Условие

monohybrid_outcome

evidence

—

Идентификатор

fact-3

Тип

assertion

Посылки

—

sourceAnchors

—

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

attributes

assertion: fact-4

conclusion

Аргументы

Идентификатор
Скрещивание
Тип
entity_ref
Идентификатор
Потомок-2
Тип
entity_ref

Тип

literal

Знак

positive

Условие

monohybrid_member

evidence

—

Идентификатор

fact-4

Тип

assertion

Посылки

—

sourceAnchors

—

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

attributes

assertion: fact-5

conclusion

Аргументы

Идентификатор
Скрещивание
Тип
entity_ref
Идентификатор
Потомок-2
Тип
entity_ref
Тип
value
type
name
Boolean
value
Да

Тип

literal

Знак

positive

Условие

monohybrid_outcome

evidence

—

Идентификатор

fact-5

Тип

assertion

Посылки

—

sourceAnchors

—

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

attributes

assertion: fact-6

conclusion

Аргументы

Идентификатор
Скрещивание
Тип
entity_ref
Идентификатор
Потомок-3
Тип
entity_ref

Тип

literal

Знак

positive

Условие

monohybrid_member

evidence

—

Идентификатор

fact-6

Тип

assertion

Посылки

—

sourceAnchors

—

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

attributes

assertion: fact-7

conclusion

Аргументы

Идентификатор
Скрещивание
Тип
entity_ref
Идентификатор
Потомок-3
Тип
entity_ref
Тип
value
type
name
Boolean
value
Да

Тип

literal

Знак

positive

Условие

monohybrid_outcome

evidence

—

Идентификатор

fact-7

Тип

assertion

Посылки

—

sourceAnchors

—

rule_application · urn:proof:apply:CountMonohybridDominant:dfe03e0d8fc12844bfff36a442b9647c549483c90a9f7f56e731f000fb257597

attributes

—

conclusion

Аргументы

Идентификатор
Скрещивание
Тип
entity_ref
Тип
value
type
name
Integer
value
3

Тип

literal

Знак

positive

Условие

monohybrid_dominant_count

evidence

—

Идентификатор

dfe03e0d8fc12844bfff36a442b9647c549483c90a9f7f56e731f000fb257597

Тип

rule_application

Посылки

fact-1
fact-3
fact-5
fact-7

Правило

CountMonohybridDominant

sourceAnchors

—

substitution

Идентификатор: Скрещивание
Тип: entity_ref

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

attributes

assertion: fact-8

conclusion

Аргументы

Идентификатор
Скрещивание
Тип
entity_ref
Идентификатор
Потомок-4
Тип
entity_ref

Тип

literal

Знак

positive

Условие

monohybrid_member

evidence

—

Идентификатор

fact-8

Тип

assertion

Посылки

—

sourceAnchors

—

rule_application · urn:proof:apply:CountMonohybridTotal:24df988dd8aace2b039131a5fb05df94f0ac2df98642d0d1823e183173c1b58a

attributes

—

conclusion

Аргументы

Идентификатор
Скрещивание
Тип
entity_ref
Тип
value
type
name
Integer
value
4

Тип

literal

Знак

positive

Условие

monohybrid_total_count

evidence

—

Идентификатор

24df988dd8aace2b039131a5fb05df94f0ac2df98642d0d1823e183173c1b58a

Тип

rule_application

Посылки

fact-1
fact-2
fact-4
fact-6
fact-8

Правило

CountMonohybridTotal

sourceAnchors

—

substitution

Идентификатор: Скрещивание
Тип: entity_ref

rule_application · urn:proof:apply:FractionMonohybridDominant:62a4e764efcc32a2595731bee1574c0799ccf7761d73789b7bf931b67e9f9413

attributes

—

conclusion

Аргументы

Идентификатор
Скрещивание
Тип
entity_ref
Тип
value
type
name
Rational
value
3/4

Тип

literal

Знак

positive

Условие

monohybrid_dominant_fraction

evidence

—

Идентификатор

62a4e764efcc32a2595731bee1574c0799ccf7761d73789b7bf931b67e9f9413

Тип

rule_application

Посылки

fact-1
fact-2
fact-3
fact-4
fact-5
fact-6
fact-7
fact-8

Правило

FractionMonohybridDominant

sourceAnchors

—

substitution

Идентификатор: Скрещивание
Тип: 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

Условие

monohybrid_dominant_fraction

Тип

status

Статус расчёта

established

Тип

comprehension

variable

Идентификатор: v0

count

evidence

—

Идентификатор

mcp

Тип

query_evaluation

Посылки

62a4e764efcc32a2595731bee1574c0799ccf7761d73789b7bf931b67e9f9413

sourceAnchors

—

Идентификаторы календаря и доказательства

Ссылка на доказательство: mcp

Исходное обоснование · JSON

{
  "derived": [
    "monohybrid_dominant_count(Скрещивание, 3)",
    "monohybrid_total_count(Скрещивание, 4)",
    "monohybrid_dominant_fraction(Скрещивание, 3/4)"
  ],
  "derivedOmitted": 0,
  "evaluation": {
    "proofGraph": {
      "nodes": [
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-1"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#monohybrid_cross"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-1",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-2"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Потомок-1",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#monohybrid_member"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-2",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-3"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Потомок-1",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Boolean"
                },
                "value": true
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#monohybrid_outcome"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-3",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-4"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Потомок-2",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#monohybrid_member"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-4",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-5"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Потомок-2",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Boolean"
                },
                "value": true
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#monohybrid_outcome"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-5",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-6"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Потомок-3",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#monohybrid_member"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-6",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-7"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Потомок-3",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Boolean"
                },
                "value": true
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#monohybrid_outcome"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-7",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Integer"
                },
                "value": 3
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#monohybrid_dominant_count"
          },
          "evidence": [],
          "id": "urn:proof:apply:CountMonohybridDominant:dfe03e0d8fc12844bfff36a442b9647c549483c90a9f7f56e731f000fb257597",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-1",
            "urn:proof:assert:urn:mcp:case#fact-3",
            "urn:proof:assert:urn:mcp:case#fact-5",
            "urn:proof:assert:urn:mcp:case#fact-7"
          ],
          "rule": "urn:bio:clir:mendel#CountMonohybridDominant",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:mcp:entity:Скрещивание",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-8"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Потомок-4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#monohybrid_member"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-8",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Integer"
                },
                "value": 4
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#monohybrid_total_count"
          },
          "evidence": [],
          "id": "urn:proof:apply:CountMonohybridTotal:24df988dd8aace2b039131a5fb05df94f0ac2df98642d0d1823e183173c1b58a",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-1",
            "urn:proof:assert:urn:mcp:case#fact-2",
            "urn:proof:assert:urn:mcp:case#fact-4",
            "urn:proof:assert:urn:mcp:case#fact-6",
            "urn:proof:assert:urn:mcp:case#fact-8"
          ],
          "rule": "urn:bio:clir:mendel#CountMonohybridTotal",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:mcp:entity:Скрещивание",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Rational"
                },
                "value": "3/4"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#monohybrid_dominant_fraction"
          },
          "evidence": [],
          "id": "urn:proof:apply:FractionMonohybridDominant:62a4e764efcc32a2595731bee1574c0799ccf7761d73789b7bf931b67e9f9413",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-1",
            "urn:proof:assert:urn:mcp:case#fact-2",
            "urn:proof:assert:urn:mcp:case#fact-3",
            "urn:proof:assert:urn:mcp:case#fact-4",
            "urn:proof:assert:urn:mcp:case#fact-5",
            "urn:proof:assert:urn:mcp:case#fact-6",
            "urn:proof:assert:urn:mcp:case#fact-7",
            "urn:proof:assert:urn:mcp:case#fact-8"
          ],
          "rule": "urn:bio:clir:mendel#FractionMonohybridDominant",
          "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:mendel#monohybrid_dominant_fraction"
                },
                "kind": "status",
                "status": "established"
              },
              "kind": "comprehension",
              "variable": {
                "id": "v0"
              }
            },
            "count": 1
          },
          "evidence": [],
          "id": "urn:proof:query:mcp",
          "kind": "query_evaluation",
          "premises": [
            "urn:proof:apply:FractionMonohybridDominant:62a4e764efcc32a2595731bee1574c0799ccf7761d73789b7bf931b67e9f9413"
          ],
          "sourceAnchors": []
        }
      ],
      "proofHash": "sha256:a098288f53e90a9f12a8bb96133c8d8c7b4a19a819194285100363b4aa314455",
      "roots": [
        "urn:proof:query:mcp"
      ]
    },
    "resultHash": "sha256:87e40e9e6c65682582f0e529a47c3a72549c9a843a0cadca8733b78eea45b7ca",
    "schemaVersion": "law.core.evaluation/0.2"
  },
  "proofRef": "urn:proof:query:mcp",
  "rulesApplied": [
    "urn:bio:clir:mendel#CountMonohybridDominant",
    "urn:bio:clir:mendel#CountMonohybridTotal",
    "urn:bio:clir:mendel#FractionMonohybridDominant"
  ]
}

ИсточникиФрагментов: 1

section/die-zweite-generation/3-1

Merkmale das Durchschnittsverhältniss 2,98 : 1 oder 3 : 1.

Исходные данные · JSON

{
  "contentHash": "sha256:5532e63d15ff0fe1b789bb396d43ecf27a947fe20f3ade0989522016f77c46a0",
  "edition": "urn:bio:clir:mendel#MENDEL_DE_REPRINT",
  "fragmentKind": "section",
  "id": "urn:bio:clir:mendel#MENDEL_3_TO_1",
  "kind": "fragment",
  "locator": "section/die-zweite-generation/3-1",
  "package": "urn:bio:clir:mendel",
  "texts": [
    {
      "contentHash": "sha256:eeca78d88cd024b7006d781e55538fa7d82d86ac08161c31931622c864eebbe8",
      "language": "de",
      "status": "unofficial",
      "text": "Merkmale das Durchschnittsverhältniss 2,98 : 1 oder 3 : 1."
    }
  ]
}

Пакеты в снимке

Gregor Mendel, Versuche über Pflanzen-Hybriden (1866): ограниченная формализация наследования — вне юрисдикции государства — доктрина

Технические данныеПолный ответ, параметры и контрольные суммы

Статус расчёта: COMPUTED

Полный ответ движка

Найдено записей: 1. Значения ?v0: 3/4 Выведено правом: monohybrid_dominant_count(Скрещивание, 3); monohybrid_total_count(Скрещивание, 4); monohybrid_dominant_fraction(Скрещивание, 3/4) Применены правила: CountMonohybridDominant, CountMonohybridTotal, FractionMonohybridDominant Право (вне юрисдикции государства): Gregor Mendel, Versuche über Pflanzen-Hybriden (1866): ограниченная формализация наследования — доктрина (programHash sha256:0319f6093969…) proof-граф: 12 узлов — поле evaluation готово для law_explain

Полный машинный результат · JSON

{
  "answer": {
    "count": 1,
    "elements": [
      {
        "kind": "value",
        "type": {
          "name": "urn:law:std#Rational"
        },
        "value": "3/4"
      }
    ],
    "evaluationStatus": "COMPUTED",
    "kind": "COLLECTION",
    "missingInputs": [],
    "variable": "v0"
  },
  "closedEditionRules": [],
  "derived": [
    "monohybrid_dominant_count(Скрещивание, 3)",
    "monohybrid_total_count(Скрещивание, 4)",
    "monohybrid_dominant_fraction(Скрещивание, 3/4)"
  ],
  "derivedOmitted": 0,
  "evaluation": {
    "proofGraph": {
      "nodes": [
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-1"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#monohybrid_cross"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-1",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-2"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Потомок-1",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#monohybrid_member"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-2",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-3"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Потомок-1",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Boolean"
                },
                "value": true
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#monohybrid_outcome"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-3",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-4"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Потомок-2",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#monohybrid_member"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-4",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-5"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Потомок-2",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Boolean"
                },
                "value": true
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#monohybrid_outcome"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-5",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-6"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Потомок-3",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#monohybrid_member"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-6",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-7"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Потомок-3",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Boolean"
                },
                "value": true
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#monohybrid_outcome"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-7",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Integer"
                },
                "value": 3
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#monohybrid_dominant_count"
          },
          "evidence": [],
          "id": "urn:proof:apply:CountMonohybridDominant:dfe03e0d8fc12844bfff36a442b9647c549483c90a9f7f56e731f000fb257597",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-1",
            "urn:proof:assert:urn:mcp:case#fact-3",
            "urn:proof:assert:urn:mcp:case#fact-5",
            "urn:proof:assert:urn:mcp:case#fact-7"
          ],
          "rule": "urn:bio:clir:mendel#CountMonohybridDominant",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:mcp:entity:Скрещивание",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-8"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Потомок-4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#monohybrid_member"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-8",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Integer"
                },
                "value": 4
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#monohybrid_total_count"
          },
          "evidence": [],
          "id": "urn:proof:apply:CountMonohybridTotal:24df988dd8aace2b039131a5fb05df94f0ac2df98642d0d1823e183173c1b58a",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-1",
            "urn:proof:assert:urn:mcp:case#fact-2",
            "urn:proof:assert:urn:mcp:case#fact-4",
            "urn:proof:assert:urn:mcp:case#fact-6",
            "urn:proof:assert:urn:mcp:case#fact-8"
          ],
          "rule": "urn:bio:clir:mendel#CountMonohybridTotal",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:mcp:entity:Скрещивание",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Rational"
                },
                "value": "3/4"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#monohybrid_dominant_fraction"
          },
          "evidence": [],
          "id": "urn:proof:apply:FractionMonohybridDominant:62a4e764efcc32a2595731bee1574c0799ccf7761d73789b7bf931b67e9f9413",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-1",
            "urn:proof:assert:urn:mcp:case#fact-2",
            "urn:proof:assert:urn:mcp:case#fact-3",
            "urn:proof:assert:urn:mcp:case#fact-4",
            "urn:proof:assert:urn:mcp:case#fact-5",
            "urn:proof:assert:urn:mcp:case#fact-6",
            "urn:proof:assert:urn:mcp:case#fact-7",
            "urn:proof:assert:urn:mcp:case#fact-8"
          ],
          "rule": "urn:bio:clir:mendel#FractionMonohybridDominant",
          "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:mendel#monohybrid_dominant_fraction"
                },
                "kind": "status",
                "status": "established"
              },
              "kind": "comprehension",
              "variable": {
                "id": "v0"
              }
            },
            "count": 1
          },
          "evidence": [],
          "id": "urn:proof:query:mcp",
          "kind": "query_evaluation",
          "premises": [
            "urn:proof:apply:FractionMonohybridDominant:62a4e764efcc32a2595731bee1574c0799ccf7761d73789b7bf931b67e9f9413"
          ],
          "sourceAnchors": []
        }
      ],
      "proofHash": "sha256:a098288f53e90a9f12a8bb96133c8d8c7b4a19a819194285100363b4aa314455",
      "roots": [
        "urn:proof:query:mcp"
      ]
    },
    "resultHash": "sha256:87e40e9e6c65682582f0e529a47c3a72549c9a843a0cadca8733b78eea45b7ca",
    "schemaVersion": "law.core.evaluation/0.2"
  },
  "evaluationStatus": "COMPUTED",
  "issues": [],
  "judgmentRequests": [],
  "proofRef": "urn:proof:query:mcp",
  "provenance": {
    "acts": [
      {
        "contributed": true,
        "fragmentCount": 3,
        "fragments": [
          "urn:bio:clir:mendel#MENDEL_3_TO_1"
        ],
        "jurisdiction": "none",
        "namespace": "urn:bio:clir:mendel",
        "package": "bio-mendel",
        "title": "Gregor Mendel, Versuche über Pflanzen-Hybriden (1866): ограниченная формализация наследования — вне юрисдикции государства — доктрина"
      }
    ],
    "caseHash": "sha256:45a8128bf642045f74496cbddce656af8d72cead999233484bdeb86c905523d7",
    "codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
    "jurisdiction": "вне юрисдикции государства",
    "legalTime": "2026-08-31",
    "mode": "audit",
    "programHash": "sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3",
    "resultHash": "sha256:87e40e9e6c65682582f0e529a47c3a72549c9a843a0cadca8733b78eea45b7ca",
    "rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
    "timezone": "Asia/Qyzylorda"
  },
  "rulesApplied": [
    "urn:bio:clir:mendel#CountMonohybridDominant",
    "urn:bio:clir:mendel#CountMonohybridTotal",
    "urn:bio:clir:mendel#FractionMonohybridDominant"
  ],
  "signature": {
    "constants": {},
    "element": {
      "index": 1,
      "type": {
        "name": "urn:law:std#Rational"
      }
    },
    "parameters": [
      {
        "labels": [],
        "name": "c",
        "type": {
          "name": "urn:bio:clir:mendel#Cross"
        }
      },
      {
        "labels": [],
        "name": "share",
        "type": {
          "name": "urn:law:std#Rational"
        }
      }
    ],
    "predicate": "urn:bio:clir:mendel#monohybrid_dominant_fraction",
    "schemaVersion": "law.answers.signature/0.1",
    "types": {
      "urn:bio:clir:mendel#Cross": {
        "kind": "entity",
        "labels": [
          {
            "language": "de",
            "status": "unofficial",
            "text": "Kreuzungsfall"
          }
        ],
        "namespace": "urn:bio:clir:mendel",
        "package": "bio.mendel"
      },
      "urn:law:std#Rational": {
        "kind": "std"
      }
    },
    "vocab": {}
  },
  "vulnerableTo": [],
  "whyNot": []
}

Исполнение · JSON

{
  "evaluationBytes": "{\"conflicts\":[],\"issues\":[],\"manifest\":{\"artifactHash\":\"sha256:a26de66a905f54b103955f9b6cf1179c92990e4069cc058d4d9f2a034aea0012\",\"calendarSnapshot\":\"\",\"caseHash\":\"sha256:45a8128bf642045f74496cbddce656af8d72cead999233484bdeb86c905523d7\",\"decisionTime\":\"2026-08-31T12:00:00+05:00\",\"evidenceSnapshotHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"externalSnapshots\":{},\"id\":\"urn:manifest:oracle-1\",\"interpretations\":[],\"knowledgeTime\":\"2026-08-31T12:00:00+05:00\",\"legalTime\":\"2026-08-31\",\"lockfileHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"mode\":\"audit\",\"policies\":{},\"programHash\":\"sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3\",\"resolvedEditions\":{},\"semanticHash\":\"sha256:876c3fa636aeb716b3a0bffa8cfd9d8e3e55481211df96e32348e98941ca0896\",\"semantics\":\"law.core/0.2\",\"theoryHash\":\"sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3\",\"timezone\":\"Asia/Qyzylorda\"},\"positions\":[],\"proofGraph\":{\"nodes\":[{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-1\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#monohybrid_cross\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-1\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-2\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Потомок-1\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#monohybrid_member\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-2\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-3\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Потомок-1\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Boolean\"},\"value\":true}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#monohybrid_outcome\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-3\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-4\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Потомок-2\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#monohybrid_member\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-4\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-5\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Потомок-2\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Boolean\"},\"value\":true}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#monohybrid_outcome\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-5\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-6\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Потомок-3\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#monohybrid_member\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-6\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-7\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Потомок-3\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Boolean\"},\"value\":true}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#monohybrid_outcome\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-7\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Integer\"},\"value\":3}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#monohybrid_dominant_count\"},\"evidence\":[],\"id\":\"urn:proof:apply:CountMonohybridDominant:dfe03e0d8fc12844bfff36a442b9647c549483c90a9f7f56e731f000fb257597\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\",\"urn:proof:assert:urn:mcp:case#fact-3\",\"urn:proof:assert:urn:mcp:case#fact-5\",\"urn:proof:assert:urn:mcp:case#fact-7\"],\"rule\":\"urn:bio:clir:mendel#CountMonohybridDominant\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-8\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Потомок-4\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#monohybrid_member\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-8\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Integer\"},\"value\":4}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#monohybrid_total_count\"},\"evidence\":[],\"id\":\"urn:proof:apply:CountMonohybridTotal:24df988dd8aace2b039131a5fb05df94f0ac2df98642d0d1823e183173c1b58a\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\",\"urn:proof:assert:urn:mcp:case#fact-2\",\"urn:proof:assert:urn:mcp:case#fact-4\",\"urn:proof:assert:urn:mcp:case#fact-6\",\"urn:proof:assert:urn:mcp:case#fact-8\"],\"rule\":\"urn:bio:clir:mendel#CountMonohybridTotal\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Rational\"},\"value\":\"3/4\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#monohybrid_dominant_fraction\"},\"evidence\":[],\"id\":\"urn:proof:apply:FractionMonohybridDominant:62a4e764efcc32a2595731bee1574c0799ccf7761d73789b7bf931b67e9f9413\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\",\"urn:proof:assert:urn:mcp:case#fact-2\",\"urn:proof:assert:urn:mcp:case#fact-3\",\"urn:proof:assert:urn:mcp:case#fact-4\",\"urn:proof:assert:urn:mcp:case#fact-5\",\"urn:proof:assert:urn:mcp:case#fact-6\",\"urn:proof:assert:urn:mcp:case#fact-7\",\"urn:proof:assert:urn:mcp:case#fact-8\"],\"rule\":\"urn:bio:clir:mendel#FractionMonohybridDominant\",\"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:mendel#monohybrid_dominant_fraction\"},\"kind\":\"status\",\"status\":\"established\"},\"kind\":\"comprehension\",\"variable\":{\"id\":\"v0\"}},\"count\":1},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[\"urn:proof:apply:FractionMonohybridDominant:62a4e764efcc32a2595731bee1574c0799ccf7761d73789b7bf931b67e9f9413\"],\"sourceAnchors\":[]}],\"proofHash\":\"sha256:a098288f53e90a9f12a8bb96133c8d8c7b4a19a819194285100363b4aa314455\",\"roots\":[\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:87e40e9e6c65682582f0e529a47c3a72549c9a843a0cadca8733b78eea45b7ca\",\"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\":[{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Rational\"},\"value\":\"3/4\"}]}],\"schemaVersion\":\"law.core.evaluation/0.2\"}",
  "evaluationSha256": "sha256:ab706f300f5bfbde9e4a8ef89a12b3fd4a293e0eb84a34e7e322981a0f8488d8",
  "request": {
    "case": {
      "assertions": [
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-1",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#monohybrid_cross"
          },
          "origin": "case_input",
          "package": "urn:bio:clir:mendel"
        },
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-2",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Потомок-1",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#monohybrid_member"
          },
          "origin": "case_input",
          "package": "urn:bio:clir:mendel"
        },
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-3",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Потомок-1",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Boolean"
                },
                "value": true
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#monohybrid_outcome"
          },
          "origin": "case_input",
          "package": "urn:bio:clir:mendel"
        },
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-4",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Потомок-2",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#monohybrid_member"
          },
          "origin": "case_input",
          "package": "urn:bio:clir:mendel"
        },
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-5",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Потомок-2",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Boolean"
                },
                "value": true
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#monohybrid_outcome"
          },
          "origin": "case_input",
          "package": "urn:bio:clir:mendel"
        },
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-6",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Потомок-3",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#monohybrid_member"
          },
          "origin": "case_input",
          "package": "urn:bio:clir:mendel"
        },
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-7",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Потомок-3",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Boolean"
                },
                "value": true
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#monohybrid_outcome"
          },
          "origin": "case_input",
          "package": "urn:bio:clir:mendel"
        },
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-8",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Потомок-4",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#monohybrid_member"
          },
          "origin": "case_input",
          "package": "urn:bio:clir:mendel"
        },
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-9",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Потомок-4",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Boolean"
                },
                "value": false
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#monohybrid_outcome"
          },
          "origin": "case_input",
          "package": "urn:bio:clir:mendel"
        }
      ],
      "context": {
        "decisionTime": "2026-08-31T12:00:00+05:00",
        "knowledgeTime": "2026-08-31T12:00:00+05:00",
        "legalTime": "2026-08-31",
        "timezone": "Asia/Qyzylorda"
      },
      "options": {
        "selectedInterpretations": []
      }
    },
    "ir": {
      "irSha256": "sha256:82e39472d0a0a8e6c7d754b826d6a7d2c16982b337f57f2e8ff36309f8d9fe7a",
      "kind": "world_ref",
      "nodeCount": 48,
      "packages": [
        {
          "artifactHash": "sha256:a26de66a905f54b103955f9b6cf1179c92990e4069cc058d4d9f2a034aea0012",
          "namespace": "urn:bio:clir:mendel",
          "package": "bio-mendel",
          "semanticHash": "sha256:a3fa708325d9bc089306c4459667f679908577742cf38dc9dca53f0a6a369c00"
        }
      ],
      "programHash": "sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3"
    },
    "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:mendel#monohybrid_dominant_fraction"
          },
          "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:cb545fc9563052469c1f87608c0d1b4d62715eeb19faaae2a0722e688881cfd6"
}

Метаданные отображения

{
  "schemaVersion": "law.answers.presentation/0.1",
  "source": {
    "requestCanonicalSha256": "sha256:cb545fc9563052469c1f87608c0d1b4d62715eeb19faaae2a0722e688881cfd6"
  },
  "steps": [
    {
      "assertionOrigin": "case_input",
      "conclusion": {
        "args": [
          {
            "id": "urn:mcp:entity:Скрещивание",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:bio:clir:mendel#monohybrid_cross"
      },
      "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:mcp:entity:Потомок-1",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:bio:clir:mendel#monohybrid_member"
      },
      "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:mcp:entity:Потомок-1",
            "kind": "entity_ref"
          },
          {
            "kind": "value",
            "type": {
              "name": "urn:law:std#Boolean"
            },
            "value": true
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:bio:clir:mendel#monohybrid_outcome"
      },
      "id": "urn:proof:assert:urn:mcp:case#fact-3",
      "kind": "assertion",
      "originStatus": "available",
      "premises": [],
      "trust": "case"
    },
    {
      "assertionOrigin": "case_input",
      "conclusion": {
        "args": [
          {
            "id": "urn:mcp:entity:Скрещивание",
            "kind": "entity_ref"
          },
          {
            "id": "urn:mcp:entity:Потомок-2",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:bio:clir:mendel#monohybrid_member"
      },
      "id": "urn:proof:assert:urn:mcp:case#fact-4",
      "kind": "assertion",
      "originStatus": "available",
      "premises": [],
      "trust": "case"
    },
    {
      "assertionOrigin": "case_input",
      "conclusion": {
        "args": [
          {
            "id": "urn:mcp:entity:Скрещивание",
            "kind": "entity_ref"
          },
          {
            "id": "urn:mcp:entity:Потомок-2",
            "kind": "entity_ref"
          },
          {
            "kind": "value",
            "type": {
              "name": "urn:law:std#Boolean"
            },
            "value": true
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:bio:clir:mendel#monohybrid_outcome"
      },
      "id": "urn:proof:assert:urn:mcp:case#fact-5",
      "kind": "assertion",
      "originStatus": "available",
      "premises": [],
      "trust": "case"
    },
    {
      "assertionOrigin": "case_input",
      "conclusion": {
        "args": [
          {
            "id": "urn:mcp:entity:Скрещивание",
            "kind": "entity_ref"
          },
          {
            "id": "urn:mcp:entity:Потомок-3",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:bio:clir:mendel#monohybrid_member"
      },
      "id": "urn:proof:assert:urn:mcp:case#fact-6",
      "kind": "assertion",
      "originStatus": "available",
      "premises": [],
      "trust": "case"
    },
    {
      "assertionOrigin": "case_input",
      "conclusion": {
        "args": [
          {
            "id": "urn:mcp:entity:Скрещивание",
            "kind": "entity_ref"
          },
          {
            "id": "urn:mcp:entity:Потомок-3",
            "kind": "entity_ref"
          },
          {
            "kind": "value",
            "type": {
              "name": "urn:law:std#Boolean"
            },
            "value": true
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:bio:clir:mendel#monohybrid_outcome"
      },
      "id": "urn:proof:assert:urn:mcp:case#fact-7",
      "kind": "assertion",
      "originStatus": "available",
      "premises": [],
      "trust": "case"
    },
    {
      "assertionOrigin": "case_input",
      "conclusion": {
        "args": [
          {
            "id": "urn:mcp:entity:Скрещивание",
            "kind": "entity_ref"
          },
          {
            "id": "urn:mcp:entity:Потомок-4",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:bio:clir:mendel#monohybrid_member"
      },
      "id": "urn:proof:assert:urn:mcp:case#fact-8",
      "kind": "assertion",
      "originStatus": "available",
      "premises": [],
      "trust": "case"
    },
    {
      "conclusion": {
        "args": [
          {
            "id": "urn:mcp:entity:Скрещивание",
            "kind": "entity_ref"
          },
          {
            "kind": "value",
            "type": {
              "name": "urn:law:std#Rational"
            },
            "value": "3/4"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:bio:clir:mendel#monohybrid_dominant_fraction"
      },
      "head": {
        "args": [
          {
            "kind": "var",
            "var": "v0"
          },
          {
            "kind": "binary",
            "left": {
              "input": {
                "binders": [],
                "distinct": true,
                "element": {
                  "kind": "var",
                  "var": "v1"
                },
                "generator": {
                  "formula": {
                    "args": [
                      {
                        "kind": "var",
                        "var": "v0"
                      },
                      {
                        "kind": "var",
                        "var": "v1"
                      },
                      {
                        "kind": "value",
                        "type": {
                          "name": "urn:law:std#Boolean"
                        },
                        "value": true
                      }
                    ],
                    "kind": "literal",
                    "polarity": "positive",
                    "predicate": "urn:bio:clir:mendel#monohybrid_outcome"
                  },
                  "kind": "status",
                  "status": "established"
                },
                "kind": "comprehension",
                "variable": {
                  "id": "v1",
                  "type": {
                    "name": "urn:bio:clir:mendel#Offspring"
                  }
                }
              },
              "kind": "aggregate",
              "op": "count"
            },
            "op": "div",
            "right": {
              "input": {
                "binders": [],
                "distinct": true,
                "element": {
                  "kind": "var",
                  "var": "v1"
                },
                "generator": {
                  "formula": {
                    "args": [
                      {
                        "kind": "var",
                        "var": "v0"
                      },
                      {
                        "kind": "var",
                        "var": "v1"
                      }
                    ],
                    "kind": "literal",
                    "polarity": "positive",
                    "predicate": "urn:bio:clir:mendel#monohybrid_member"
                  },
                  "kind": "status",
                  "status": "established"
                },
                "kind": "comprehension",
                "variable": {
                  "id": "v1",
                  "type": {
                    "name": "urn:bio:clir:mendel#Offspring"
                  }
                }
              },
              "kind": "aggregate",
              "op": "count"
            }
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:bio:clir:mendel#monohybrid_dominant_fraction"
      },
      "id": "urn:proof:apply:FractionMonohybridDominant:62a4e764efcc32a2595731bee1574c0799ccf7761d73789b7bf931b67e9f9413",
      "kind": "rule_application",
      "originStatus": "available",
      "premises": [
        "urn:proof:assert:urn:mcp:case#fact-1",
        "urn:proof:assert:urn:mcp:case#fact-2",
        "urn:proof:assert:urn:mcp:case#fact-3",
        "urn:proof:assert:urn:mcp:case#fact-4",
        "urn:proof:assert:urn:mcp:case#fact-5",
        "urn:proof:assert:urn:mcp:case#fact-6",
        "urn:proof:assert:urn:mcp:case#fact-7",
        "urn:proof:assert:urn:mcp:case#fact-8"
      ],
      "rule": "urn:bio:clir:mendel#FractionMonohybridDominant",
      "sourceAnchors": [
        "urn:bio:clir:mendel#MENDEL_3_TO_1"
      ],
      "strength": "strict",
      "substitution": {
        "v0": {
          "id": "urn:mcp:entity:Скрещивание",
          "kind": "entity_ref"
        }
      },
      "trust": "engine",
      "variables": [
        {
          "id": "v0",
          "type": {
            "name": "urn:bio:clir:mendel#Cross"
          }
        }
      ]
    },
    {
      "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:mendel#monohybrid_dominant_fraction"
            },
            "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:FractionMonohybridDominant:62a4e764efcc32a2595731bee1574c0799ccf7761d73789b7bf931b67e9f9413"
      ],
      "trust": "engine"
    }
  ],
  "symbols": [
    {
      "id": "urn:bio:clir:mendel#CountMonohybridDominant",
      "kind": "rule",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "Подсчёт доминантных исходов моногибридного скрещивания"
        }
      ],
      "package": "urn:bio:clir:mendel",
      "strength": "strict"
    },
    {
      "id": "urn:bio:clir:mendel#CountMonohybridTotal",
      "kind": "rule",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "Подсчёт всех исходов моногибридного скрещивания"
        }
      ],
      "package": "urn:bio:clir:mendel",
      "strength": "strict"
    },
    {
      "id": "urn:bio:clir:mendel#Cross",
      "kind": "type_decl",
      "labels": [
        {
          "language": "de",
          "status": "unofficial",
          "text": "Kreuzungsfall"
        }
      ],
      "name": "Cross",
      "package": "urn:bio:clir:mendel"
    },
    {
      "id": "urn:bio:clir:mendel#FractionMonohybridDominant",
      "kind": "rule",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "Точная доля доминантных исходов моногибридного скрещивания"
        }
      ],
      "package": "urn:bio:clir:mendel",
      "strength": "strict"
    },
    {
      "id": "urn:bio:clir:mendel#Offspring",
      "kind": "type_decl",
      "labels": [
        {
          "language": "de",
          "status": "unofficial",
          "text": "Nachkomme oder gezählte Punnett-Zelle"
        }
      ],
      "name": "Offspring",
      "package": "urn:bio:clir:mendel"
    },
    {
      "id": "urn:bio:clir:mendel#monohybrid_cross",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "de",
          "status": "unofficial",
          "text": "gezählte monohybride Kreuzung"
        }
      ],
      "name": "monohybrid_cross",
      "package": "urn:bio:clir:mendel",
      "parameters": [
        {
          "id": "urn:bio:clir:mendel#monohybrid_cross/arg/c",
          "labels": [],
          "name": "c",
          "type": {
            "name": "urn:bio:clir:mendel#Cross"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:bio:clir:mendel#monohybrid_dominant_count",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "de",
          "status": "unofficial",
          "text": "Zahl der dominanten Ergebnisse"
        }
      ],
      "name": "monohybrid_dominant_count",
      "package": "urn:bio:clir:mendel",
      "parameters": [
        {
          "id": "urn:bio:clir:mendel#monohybrid_dominant_count/arg/c",
          "labels": [],
          "name": "c",
          "type": {
            "name": "urn:bio:clir:mendel#Cross"
          }
        },
        {
          "id": "urn:bio:clir:mendel#monohybrid_dominant_count/arg/n",
          "labels": [],
          "name": "n",
          "type": {
            "name": "urn:law:std#Integer"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:bio:clir:mendel#monohybrid_dominant_fraction",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "de",
          "status": "unofficial",
          "text": "genaue Anteil der dominanten Ergebnisse"
        }
      ],
      "name": "monohybrid_dominant_fraction",
      "package": "urn:bio:clir:mendel",
      "parameters": [
        {
          "id": "urn:bio:clir:mendel#monohybrid_dominant_fraction/arg/c",
          "labels": [],
          "name": "c",
          "type": {
            "name": "urn:bio:clir:mendel#Cross"
          }
        },
        {
          "id": "urn:bio:clir:mendel#monohybrid_dominant_fraction/arg/share",
          "labels": [],
          "name": "share",
          "type": {
            "name": "urn:law:std#Rational"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:bio:clir:mendel#monohybrid_member",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "de",
          "status": "unofficial",
          "text": "Element der gezählten monohybriden Reihe"
        }
      ],
      "name": "monohybrid_member",
      "package": "urn:bio:clir:mendel",
      "parameters": [
        {
          "id": "urn:bio:clir:mendel#monohybrid_member/arg/c",
          "labels": [],
          "name": "c",
          "type": {
            "name": "urn:bio:clir:mendel#Cross"
          }
        },
        {
          "id": "urn:bio:clir:mendel#monohybrid_member/arg/o",
          "labels": [],
          "name": "o",
          "type": {
            "name": "urn:bio:clir:mendel#Offspring"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:bio:clir:mendel#monohybrid_outcome",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "de",
          "status": "unofficial",
          "text": "gezähltes Ergebnis der monohybriden Kreuzung"
        }
      ],
      "name": "monohybrid_outcome",
      "package": "urn:bio:clir:mendel",
      "parameters": [
        {
          "id": "urn:bio:clir:mendel#monohybrid_outcome/arg/c",
          "labels": [],
          "name": "c",
          "type": {
            "name": "urn:bio:clir:mendel#Cross"
          }
        },
        {
          "id": "urn:bio:clir:mendel#monohybrid_outcome/arg/o",
          "labels": [],
          "name": "o",
          "type": {
            "name": "urn:bio:clir:mendel#Offspring"
          }
        },
        {
          "id": "urn:bio:clir:mendel#monohybrid_outcome/arg/dominant",
          "labels": [],
          "name": "dominant",
          "type": {
            "name": "urn:law:std#Boolean"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:bio:clir:mendel#monohybrid_total_count",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "de",
          "status": "unofficial",
          "text": "Zahl aller Ergebnisse"
        }
      ],
      "name": "monohybrid_total_count",
      "package": "urn:bio:clir:mendel",
      "parameters": [
        {
          "id": "urn:bio:clir:mendel#monohybrid_total_count/arg/c",
          "labels": [],
          "name": "c",
          "type": {
            "name": "urn:bio:clir:mendel#Cross"
          }
        },
        {
          "id": "urn:bio:clir:mendel#monohybrid_total_count/arg/n",
          "labels": [],
          "name": "n",
          "type": {
            "name": "urn:law:std#Integer"
          }
        }
      ],
      "symbolKind": "relation"
    }
  ],
  "tables": []
}

JSON · расчёты, источники и точные данные

{
  "acts": [
    {
      "contributed": true,
      "fragmentCount": 3,
      "fragments": [
        "urn:bio:clir:mendel#MENDEL_3_TO_1"
      ],
      "jurisdiction": "none",
      "namespace": "urn:bio:clir:mendel",
      "package": "bio-mendel",
      "title": "Gregor Mendel, Versuche über Pflanzen-Hybriden (1866): ограниченная формализация наследования — вне юрисдикции государства — доктрина"
    }
  ],
  "caseHash": "sha256:45a8128bf642045f74496cbddce656af8d72cead999233484bdeb86c905523d7",
  "codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
  "jurisdiction": "вне юрисдикции государства",
  "legalTime": "2026-08-31",
  "mode": "audit",
  "programHash": "sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3",
  "resultHash": "sha256:87e40e9e6c65682582f0e529a47c3a72549c9a843a0cadca8733b78eea45b7ca",
  "rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
  "timezone": "Asia/Qyzylorda"
}

evaluation SHA-256: sha256:ab706f300f5bfbde9e4a8ef89a12b3fd4a293e0eb84a34e7e322981a0f8488d8

Исходные данные · JSON

{
  "args": [
    "Скрещивание",
    {
      "kind": "var",
      "var": "v0"
    }
  ],
  "facts": [
    {
      "args": [
        "Скрещивание"
      ],
      "predicate": "monohybrid_cross"
    },
    {
      "args": [
        "Скрещивание",
        "Потомок-1"
      ],
      "predicate": "monohybrid_member"
    },
    {
      "args": [
        "Скрещивание",
        "Потомок-1",
        true
      ],
      "predicate": "monohybrid_outcome"
    },
    {
      "args": [
        "Скрещивание",
        "Потомок-2"
      ],
      "predicate": "monohybrid_member"
    },
    {
      "args": [
        "Скрещивание",
        "Потомок-2",
        true
      ],
      "predicate": "monohybrid_outcome"
    },
    {
      "args": [
        "Скрещивание",
        "Потомок-3"
      ],
      "predicate": "monohybrid_member"
    },
    {
      "args": [
        "Скрещивание",
        "Потомок-3",
        true
      ],
      "predicate": "monohybrid_outcome"
    },
    {
      "args": [
        "Скрещивание",
        "Потомок-4"
      ],
      "predicate": "monohybrid_member"
    },
    {
      "args": [
        "Скрещивание",
        "Потомок-4",
        false
      ],
      "predicate": "monohybrid_outcome"
    }
  ],
  "kind": "collect",
  "legalTime": "2026-08-31",
  "package": "bio-mendel",
  "predicate": "monohybrid_dominant_fraction",
  "proof": true
}

Доля вычислена делением счётчиков: три доминантных исхода на четыре клетки, ответ хранится дробью.

Выборка

Доля класса «оба признака доминантные» в дигибридном скрещивании

Дата контекста 31.08.2026

Результат расчёта

9/16

Элементы
genauer Anteil der Klasse
⁹⁄₁₆

Исходные данные · JSON

[
  {
    "kind": "value",
    "type": {
      "name": "urn:law:std#Rational"
    },
    "value": "9/16"
  }
]

Исходные параметры

Что определяем

genauer Anteil der Klasse

Скрещиваниеbeide dominante Merkmale

Исходные факты

Kreuzungsfall
c: Скрещивание
Общий субъект фактов ниже
gezählte dihybride Kreuzung
Klasse kommt im gezählten Fall vor
k: beide dominante Merkmale
Element der gezählten dihybriden Reihe
o: Клетка-1
gezähltes Ergebnis der dihybriden Kreuzung
o: Клетка-1k: beide dominante Merkmale
Element der gezählten dihybriden Reihe
o: Клетка-2
gezähltes Ergebnis der dihybriden Kreuzung
o: Клетка-2k: beide dominante Merkmale
Element der gezählten dihybriden Reihe
o: Клетка-3
gezähltes Ergebnis der dihybriden Kreuzung
o: Клетка-3k: beide dominante Merkmale
Element der gezählten dihybriden Reihe
o: Клетка-4
gezähltes Ergebnis der dihybriden Kreuzung
o: Клетка-4k: beide dominante Merkmale
Element der gezählten dihybriden Reihe
o: Клетка-5
gezähltes Ergebnis der dihybriden Kreuzung
o: Клетка-5k: beide dominante Merkmale
Element der gezählten dihybriden Reihe
o: Клетка-6
gezähltes Ergebnis der dihybriden Kreuzung
o: Клетка-6k: beide dominante Merkmale
Element der gezählten dihybriden Reihe
o: Клетка-7
gezähltes Ergebnis der dihybriden Kreuzung
o: Клетка-7k: beide dominante Merkmale
Element der gezählten dihybriden Reihe
o: Клетка-8
gezähltes Ergebnis der dihybriden Kreuzung
o: Клетка-8k: beide dominante Merkmale
Element der gezählten dihybriden Reihe
o: Клетка-9
gezähltes Ergebnis der dihybriden Kreuzung
o: Клетка-9k: beide dominante Merkmale
Klasse kommt im gezählten Fall vor
k: erstes dominant, zweites recessiv
Element der gezählten dihybriden Reihe
o: Клетка-10
gezähltes Ergebnis der dihybriden Kreuzung
o: Клетка-10k: erstes dominant, zweites recessiv
Element der gezählten dihybriden Reihe
o: Клетка-11
gezähltes Ergebnis der dihybriden Kreuzung
o: Клетка-11k: erstes dominant, zweites recessiv
Element der gezählten dihybriden Reihe
o: Клетка-12
gezähltes Ergebnis der dihybriden Kreuzung
o: Клетка-12k: erstes dominant, zweites recessiv
Klasse kommt im gezählten Fall vor
k: erstes recessiv, zweites dominant
Element der gezählten dihybriden Reihe
o: Клетка-13
gezähltes Ergebnis der dihybriden Kreuzung
o: Клетка-13k: erstes recessiv, zweites dominant
Element der gezählten dihybriden Reihe
o: Клетка-14
gezähltes Ergebnis der dihybriden Kreuzung
o: Клетка-14k: erstes recessiv, zweites dominant
Element der gezählten dihybriden Reihe
o: Клетка-15
gezähltes Ergebnis der dihybriden Kreuzung
o: Клетка-15k: erstes recessiv, zweites dominant
Klasse kommt im gezählten Fall vor
k: beide recessive Merkmale
Element der gezählten dihybriden Reihe
o: Клетка-16
gezähltes Ergebnis der dihybriden Kreuzung
o: Клетка-16k: beide recessive Merkmale

Дополнительные сведения

Сохранить доказательство: Да

Исходные данные · JSON

{
  "args": [
    "Скрещивание",
    "BothDominant",
    {
      "kind": "var",
      "var": "v0"
    }
  ],
  "facts": [
    {
      "args": [
        "Скрещивание"
      ],
      "predicate": "dihybrid_cross"
    },
    {
      "args": [
        "Скрещивание",
        "BothDominant"
      ],
      "predicate": "dihybrid_class_observed"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-1"
      ],
      "predicate": "dihybrid_member"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-1",
        "BothDominant"
      ],
      "predicate": "dihybrid_outcome"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-2"
      ],
      "predicate": "dihybrid_member"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-2",
        "BothDominant"
      ],
      "predicate": "dihybrid_outcome"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-3"
      ],
      "predicate": "dihybrid_member"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-3",
        "BothDominant"
      ],
      "predicate": "dihybrid_outcome"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-4"
      ],
      "predicate": "dihybrid_member"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-4",
        "BothDominant"
      ],
      "predicate": "dihybrid_outcome"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-5"
      ],
      "predicate": "dihybrid_member"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-5",
        "BothDominant"
      ],
      "predicate": "dihybrid_outcome"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-6"
      ],
      "predicate": "dihybrid_member"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-6",
        "BothDominant"
      ],
      "predicate": "dihybrid_outcome"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-7"
      ],
      "predicate": "dihybrid_member"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-7",
        "BothDominant"
      ],
      "predicate": "dihybrid_outcome"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-8"
      ],
      "predicate": "dihybrid_member"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-8",
        "BothDominant"
      ],
      "predicate": "dihybrid_outcome"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-9"
      ],
      "predicate": "dihybrid_member"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-9",
        "BothDominant"
      ],
      "predicate": "dihybrid_outcome"
    },
    {
      "args": [
        "Скрещивание",
        "FirstDominantSecondRecessive"
      ],
      "predicate": "dihybrid_class_observed"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-10"
      ],
      "predicate": "dihybrid_member"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-10",
        "FirstDominantSecondRecessive"
      ],
      "predicate": "dihybrid_outcome"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-11"
      ],
      "predicate": "dihybrid_member"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-11",
        "FirstDominantSecondRecessive"
      ],
      "predicate": "dihybrid_outcome"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-12"
      ],
      "predicate": "dihybrid_member"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-12",
        "FirstDominantSecondRecessive"
      ],
      "predicate": "dihybrid_outcome"
    },
    {
      "args": [
        "Скрещивание",
        "FirstRecessiveSecondDominant"
      ],
      "predicate": "dihybrid_class_observed"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-13"
      ],
      "predicate": "dihybrid_member"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-13",
        "FirstRecessiveSecondDominant"
      ],
      "predicate": "dihybrid_outcome"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-14"
      ],
      "predicate": "dihybrid_member"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-14",
        "FirstRecessiveSecondDominant"
      ],
      "predicate": "dihybrid_outcome"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-15"
      ],
      "predicate": "dihybrid_member"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-15",
        "FirstRecessiveSecondDominant"
      ],
      "predicate": "dihybrid_outcome"
    },
    {
      "args": [
        "Скрещивание",
        "BothRecessive"
      ],
      "predicate": "dihybrid_class_observed"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-16"
      ],
      "predicate": "dihybrid_member"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-16",
        "BothRecessive"
      ],
      "predicate": "dihybrid_outcome"
    }
  ],
  "kind": "collect",
  "legalTime": "2026-08-31",
  "package": "bio-mendel",
  "predicate": "dihybrid_class_fraction",
  "proof": true
}

Почему такой результатПрименённые правила и условия

Путь вывода29 шагов

1
gezählte dihybride Kreuzung
c: Скрещивание
факт дела
2
gezähltes Ergebnis der dihybriden Kreuzung
c: Скрещивание; o: Клетка-4; k: beide dominante Merkmale
факт дела
3
Element der gezählten dihybriden Reihe
c: Скрещивание; o: Клетка-5
факт дела
4
gezähltes Ergebnis der dihybriden Kreuzung
c: Скрещивание; o: Клетка-5; k: beide dominante Merkmale
факт дела
5
Element der gezählten dihybriden Reihe
c: Скрещивание; o: Клетка-6
факт дела
6
gezähltes Ergebnis der dihybriden Kreuzung
c: Скрещивание; o: Клетка-6; k: beide dominante Merkmale
факт дела
7
Element der gezählten dihybriden Reihe
c: Скрещивание; o: Клетка-7
факт дела
8
gezähltes Ergebnis der dihybriden Kreuzung
c: Скрещивание; o: Клетка-7; k: beide dominante Merkmale
факт дела
9
Element der gezählten dihybriden Reihe
c: Скрещивание; o: Клетка-8
факт дела
10
gezähltes Ergebnis der dihybriden Kreuzung
c: Скрещивание; o: Клетка-8; k: beide dominante Merkmale
факт дела
11
Element der gezählten dihybriden Reihe
c: Скрещивание; o: Клетка-9
факт дела
12
Klasse kommt im gezählten Fall vor
c: Скрещивание; k: beide dominante Merkmale
факт дела
13
gezähltes Ergebnis der dihybriden Kreuzung
c: Скрещивание; o: Клетка-9; k: beide dominante Merkmale
факт дела
14
Element der gezählten dihybriden Reihe
c: Скрещивание; o: Клетка-10
факт дела
15
Element der gezählten dihybriden Reihe
c: Скрещивание; o: Клетка-11
факт дела
16
Element der gezählten dihybriden Reihe
c: Скрещивание; o: Клетка-12
факт дела
17
Element der gezählten dihybriden Reihe
c: Скрещивание; o: Клетка-13
факт дела
18
Element der gezählten dihybriden Reihe
c: Скрещивание; o: Клетка-1
факт дела
19
Element der gezählten dihybriden Reihe
c: Скрещивание; o: Клетка-14
факт дела
20
Element der gezählten dihybriden Reihe
c: Скрещивание; o: Клетка-15
факт дела
21
Element der gezählten dihybriden Reihe
c: Скрещивание; o: Клетка-16
факт дела
22
gezähltes Ergebnis der dihybriden Kreuzung
c: Скрещивание; o: Клетка-1; k: beide dominante Merkmale
факт дела
23
Element der gezählten dihybriden Reihe
c: Скрещивание; o: Клетка-2
факт дела
24
gezähltes Ergebnis der dihybriden Kreuzung
c: Скрещивание; o: Клетка-2; k: beide dominante Merkmale
факт дела
25
Element der gezählten dihybriden Reihe
c: Скрещивание; o: Клетка-3
факт дела
26
gezähltes Ergebnis der dihybriden Kreuzung
c: Скрещивание; o: Клетка-3; k: beide dominante Merkmale
факт дела
27
Element der gezählten dihybriden Reihe
c: Скрещивание; o: Клетка-4
факт дела
28
Точная доля класса дигибридного скрещивания
9/16 = {"input": {"binders": [], "distinct": true, "element": {"kind": "var", "var": "v2"}, "generator": {"formula": {"args": [{"kind": "var", "var": "v0"}, {"kind": "var", "var": "v2"}, {"kind": "var", "var": "v1"}], "kind": "literal", "polarity": "positive", "predicate": "urn:bio:clir:mendel#dihybrid_outcome"}, "kind": "status", "status": "established"}, "kind": "comprehension", "variable": {"id": "v2", "type": {"name": "urn:bio:clir:mendel#Offspring"}}}, "kind": "aggregate", "op": "count"} / {"input": {"binders": [], "distinct": true, "element": {"kind": "var", "var": "v2"}, "generator": {"formula": {"args": [{"kind": "var", "var": "v0"}, {"kind": "var", "var": "v2"}], "kind": "literal", "polarity": "positive", "predicate": "urn:bio:clir:mendel#dihybrid_member"}, "kind": "status", "status": "established"}, "kind": "comprehension", "variable": {"id": "v2", "type": {"name": "urn:bio:clir:mendel#Offspring"}}}, "kind": "aggregate", "op": "count"}
разд. kombinationsreihe
Идентификатор
urn:bio:clir:mendel#FractionDihybridClass
правило
29
Вычисление запроса
Найдено записей: 1
запрос

проверено движком: 2 · факт дела: 27 · Полный граф: 47 узлов

Основание этого ответа

Правила из сохранённой цепочки доказательства ответа.

Gregor Mendel, Versuche über Pflanzen-Hybriden (1866): ограниченная формализация наследования — вне юрисдикции государства — доктрина

Точная доля класса дигибридного скрещивания
Идентификатор
urn:bio:clir:mendel#FractionDihybridClass

Другие правила расчёта2

Применены в общем расчёте, но не входят в цепочку доказательства этого ответа.

Gregor Mendel, Versuche über Pflanzen-Hybriden (1866): ограниченная формализация наследования — вне юрисдикции государства — доктрина

Подсчёт класса дигибридного скрещивания
Идентификатор
urn:bio:clir:mendel#CountDihybridClass
Подсчёт всех исходов дигибридного скрещивания
Идентификатор
urn:bio:clir:mendel#CountDihybridTotal

Вывод по запросу

genauer Anteil der Klasse
c: Скрещиваниеk: beide dominante Merkmaleshare: 9/16

Другие выводы8

Kreuzungsfall
c: Скрещивание
Общий субъект фактов ниже
Zahl der Klasse
k n
erstes dominant, zweites recessiv 3
erstes recessiv, zweites dominant 3
beide recessive Merkmale 1
beide dominante Merkmale 9
Zahl aller dihybriden Ergebnisse
n: 16
genauer Anteil der Klasse
k share
erstes recessiv, zweites dominant 3/16
erstes dominant, zweites recessiv 3/16
beide recessive Merkmale 1/16

k	n
erstes dominant, zweites recessiv	3
erstes recessiv, zweites dominant	3
beide recessive Merkmale	1
beide dominante Merkmale	9

k	share
erstes recessiv, zweites dominant	3/16
erstes dominant, zweites recessiv	3/16
beide recessive Merkmale	1/16

Граф связей

Zahl der Klasse
c	k	n
Скрещивание	erstes dominant, zweites recessiv	3
Скрещивание	erstes recessiv, zweites dominant	3
Скрещивание	beide recessive Merkmale	1
Скрещивание	beide dominante Merkmale	9

Zahl aller dihybriden Ergebnisse
c	n
Скрещивание	16

Граф связей

genauer Anteil der Klasse
c	k	share
Скрещивание	erstes recessiv, zweites dominant	³⁄₁₆
Скрещивание	erstes dominant, zweites recessiv	³⁄₁₆
Скрещивание	beide recessive Merkmale	¹⁄₁₆
Скрещивание	beide dominante Merkmale	⁹⁄₁₆

Граф доказательств

Граф доказательства · 3 слой

Узлы доказательств: 47 · assertion 37, rule_application 9, query_evaluation 1

Блок слишком большой для встроенного просмотра. Он целиком включён в JSON документа — без сокращений.

Скачать JSON ↓

Идентификаторы календаря и доказательства

Ссылка на доказательство: mcp

Исходное обоснование · JSON

Блок слишком большой для встроенного просмотра. Он целиком включён в JSON документа — без сокращений.

Скачать JSON ↓

ИсточникиФрагментов: 1

section/kombinationsreihe

in hybrider Verbindung unabhängig ist von den anderweitigen Unterschieden

Исходные данные · JSON

{
  "contentHash": "sha256:b5513fabbd6d60ceae8668bba2b911546b0eddb9abd370d84f13b20d6121732f",
  "edition": "urn:bio:clir:mendel#MENDEL_DE_REPRINT",
  "fragmentKind": "section",
  "id": "urn:bio:clir:mendel#MENDEL_INDEPENDENCE",
  "kind": "fragment",
  "locator": "section/kombinationsreihe",
  "package": "urn:bio:clir:mendel",
  "texts": [
    {
      "contentHash": "sha256:a6cfaadc44489d0f3f19c08e02fa309b06bd64fe337066cb7c3d72705523c950",
      "language": "de",
      "status": "unofficial",
      "text": "in hybrider Verbindung unabhängig ist von den anderweitigen Unterschieden"
    }
  ]
}

Пакеты в снимке

Gregor Mendel, Versuche über Pflanzen-Hybriden (1866): ограниченная формализация наследования — вне юрисдикции государства — доктрина

Технические данныеПолный ответ, параметры и контрольные суммы

Статус расчёта: COMPUTED

Полный ответ движка

Найдено записей: 1. Значения ?v0: 9/16 Выведено правом: dihybrid_class_count(Скрещивание, FirstDominantSecondRecessive, 3); dihybrid_class_count(Скрещивание, FirstRecessiveSecondDominant, 3); dihybrid_class_count(Скрещивание, BothRecessive, 1); dihybrid_class_count(Скрещивание, BothDominant, 9); dihybrid_total_count(Скрещивание, 16); dihybrid_class_fraction(Скрещивание, FirstRecessiveSecondDominant, 3/16); dihybrid_class_fraction(Скрещивание, FirstDominantSecondRecessive, 3/16); dihybrid_class_fraction(Скрещивание, BothRecessive, 1/16); dihybrid_class_fraction(Скрещивание, BothDominant, 9/16) Применены правила: CountDihybridClass, CountDihybridTotal, FractionDihybridClass Право (вне юрисдикции государства): Gregor Mendel, Versuche über Pflanzen-Hybriden (1866): ограниченная формализация наследования — доктрина (programHash sha256:0319f6093969…) proof-граф: 47 узлов — поле evaluation готово для law_explain

Полный машинный результат · JSON

Блок слишком большой для встроенного просмотра. Он целиком включён в JSON документа — без сокращений.

Скачать JSON ↓

Исполнение · JSON

Блок слишком большой для встроенного просмотра. Он целиком включён в JSON документа — без сокращений.

Скачать JSON ↓

Метаданные отображения

Блок слишком большой для встроенного просмотра. Он целиком включён в JSON документа — без сокращений.

Скачать JSON ↓

JSON · расчёты, источники и точные данные

{
  "acts": [
    {
      "contributed": true,
      "fragmentCount": 3,
      "fragments": [
        "urn:bio:clir:mendel#MENDEL_INDEPENDENCE"
      ],
      "jurisdiction": "none",
      "namespace": "urn:bio:clir:mendel",
      "package": "bio-mendel",
      "title": "Gregor Mendel, Versuche über Pflanzen-Hybriden (1866): ограниченная формализация наследования — вне юрисдикции государства — доктрина"
    }
  ],
  "caseHash": "sha256:148f69303d6be2f738e67f8bb9b19bd825fb047d9e074620da671d699a2b7bef",
  "codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
  "jurisdiction": "вне юрисдикции государства",
  "legalTime": "2026-08-31",
  "mode": "audit",
  "programHash": "sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3",
  "resultHash": "sha256:9458ca277512bd4450b558fb82df2031246ebcd4068f13d4f0221a6e1d6e3518",
  "rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
  "timezone": "Asia/Qyzylorda"
}

evaluation SHA-256: sha256:80922324b666b3f36f76367fd774c48b8250ab17b1cd358deca0800d34b45e74

Исходные данные · JSON

{
  "args": [
    "Скрещивание",
    "BothDominant",
    {
      "kind": "var",
      "var": "v0"
    }
  ],
  "facts": [
    {
      "args": [
        "Скрещивание"
      ],
      "predicate": "dihybrid_cross"
    },
    {
      "args": [
        "Скрещивание",
        "BothDominant"
      ],
      "predicate": "dihybrid_class_observed"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-1"
      ],
      "predicate": "dihybrid_member"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-1",
        "BothDominant"
      ],
      "predicate": "dihybrid_outcome"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-2"
      ],
      "predicate": "dihybrid_member"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-2",
        "BothDominant"
      ],
      "predicate": "dihybrid_outcome"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-3"
      ],
      "predicate": "dihybrid_member"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-3",
        "BothDominant"
      ],
      "predicate": "dihybrid_outcome"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-4"
      ],
      "predicate": "dihybrid_member"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-4",
        "BothDominant"
      ],
      "predicate": "dihybrid_outcome"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-5"
      ],
      "predicate": "dihybrid_member"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-5",
        "BothDominant"
      ],
      "predicate": "dihybrid_outcome"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-6"
      ],
      "predicate": "dihybrid_member"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-6",
        "BothDominant"
      ],
      "predicate": "dihybrid_outcome"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-7"
      ],
      "predicate": "dihybrid_member"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-7",
        "BothDominant"
      ],
      "predicate": "dihybrid_outcome"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-8"
      ],
      "predicate": "dihybrid_member"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-8",
        "BothDominant"
      ],
      "predicate": "dihybrid_outcome"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-9"
      ],
      "predicate": "dihybrid_member"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-9",
        "BothDominant"
      ],
      "predicate": "dihybrid_outcome"
    },
    {
      "args": [
        "Скрещивание",
        "FirstDominantSecondRecessive"
      ],
      "predicate": "dihybrid_class_observed"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-10"
      ],
      "predicate": "dihybrid_member"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-10",
        "FirstDominantSecondRecessive"
      ],
      "predicate": "dihybrid_outcome"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-11"
      ],
      "predicate": "dihybrid_member"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-11",
        "FirstDominantSecondRecessive"
      ],
      "predicate": "dihybrid_outcome"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-12"
      ],
      "predicate": "dihybrid_member"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-12",
        "FirstDominantSecondRecessive"
      ],
      "predicate": "dihybrid_outcome"
    },
    {
      "args": [
        "Скрещивание",
        "FirstRecessiveSecondDominant"
      ],
      "predicate": "dihybrid_class_observed"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-13"
      ],
      "predicate": "dihybrid_member"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-13",
        "FirstRecessiveSecondDominant"
      ],
      "predicate": "dihybrid_outcome"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-14"
      ],
      "predicate": "dihybrid_member"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-14",
        "FirstRecessiveSecondDominant"
      ],
      "predicate": "dihybrid_outcome"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-15"
      ],
      "predicate": "dihybrid_member"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-15",
        "FirstRecessiveSecondDominant"
      ],
      "predicate": "dihybrid_outcome"
    },
    {
      "args": [
        "Скрещивание",
        "BothRecessive"
      ],
      "predicate": "dihybrid_class_observed"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-16"
      ],
      "predicate": "dihybrid_member"
    },
    {
      "args": [
        "Скрещивание",
        "Клетка-16",
        "BothRecessive"
      ],
      "predicate": "dihybrid_outcome"
    }
  ],
  "kind": "collect",
  "legalTime": "2026-08-31",
  "package": "bio-mendel",
  "predicate": "dihybrid_class_fraction",
  "proof": true
}

Дигибридная решётка из шестнадцати клеток даёт девять с обоими доминантными признаками: 9/16.

Проверка условия

Независимое комбинирование двух признаков

Дата контекста 31.08.2026

Результат расчёта

Установлено

Исходные параметры

Что определяем

Merkmale kombinieren unabhängig

Скрещивание

Исходные факты

Kreuzungsfall
c: Скрещивание
Общий субъект фактов ниже
gezählte dihybride Kreuzung
Kreuzung vereinigt zwei Merkmale
first: Признак-1second: Признак-2

Дополнительные сведения

Сохранить доказательство: Да

Исходные данные · JSON

{
  "args": [
    "Скрещивание"
  ],
  "facts": [
    {
      "args": [
        "Скрещивание"
      ],
      "predicate": "dihybrid_cross"
    },
    {
      "args": [
        "Скрещивание",
        "Признак-1",
        "Признак-2"
      ],
      "predicate": "cross_uses_traits"
    }
  ],
  "kind": "truth",
  "legalTime": "2026-08-31",
  "package": "bio-mendel",
  "predicate": "independently_assorts",
  "proof": true
}

Почему такой результатПрименённые правила и условия

Путь вывода4 шагов

1
gezählte dihybride Kreuzung
c: Скрещивание
факт дела
2
Kreuzung vereinigt zwei Merkmale
c: Скрещивание; first: Признак-1; second: Признак-2
факт дела
3
Независимое комбинирование двух признаков
Merkmale kombinieren unabhängig: c: Скрещивание
разд. kombinationsreihe
Идентификатор
urn:bio:clir:mendel#IndependentCombination
правило
4
Вычисление запроса
запрос

проверено движком: 2 · факт дела: 2 · Полный граф: 6 узлов

Основание этого ответа

Правила из сохранённой цепочки доказательства ответа.

Gregor Mendel, Versuche über Pflanzen-Hybriden (1866): ограниченная формализация наследования — вне юрисдикции государства — доктрина

Независимое комбинирование двух признаков
Идентификатор
urn:bio:clir:mendel#IndependentCombination

Другие правила расчёта1

Применены в общем расчёте, но не входят в цепочку доказательства этого ответа.

Gregor Mendel, Versuche über Pflanzen-Hybriden (1866): ограниченная формализация наследования — вне юрисдикции государства — доктрина

Подсчёт всех исходов дигибридного скрещивания
Идентификатор
urn:bio:clir:mendel#CountDihybridTotal

Вывод по запросу

Merkmale kombinieren unabhängig
c: Скрещивание

Другие выводы1

Zahl aller dihybriden Ergebnisse
c: Скрещиваниеn: 0

Zahl aller dihybriden Ergebnisse
c	n
Скрещивание	0

Merkmale kombinieren unabhängig
c
Скрещивание

Граф доказательств

Граф доказательства · 3 слой

Узлы доказательств: 6 · assertion 2, rule_application 2, candidate_closure 1, query_evaluation 1

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

attributes

assertion: fact-1

conclusion

Аргументы

Идентификатор
Скрещивание
Тип
entity_ref

Тип

literal

Знак

positive

Условие

dihybrid_cross

evidence

—

Идентификатор

fact-1

Тип

assertion

Посылки

—

sourceAnchors

—

rule_application · urn:proof:apply:CountDihybridTotal:2892a8fc9798c7cc76263c261eb88aa54f93d8fa6f014e2e0766ff6d14d9a0e6

attributes

—

conclusion

Аргументы

Идентификатор
Скрещивание
Тип
entity_ref
Тип
value
type
name
Integer
value
0

Тип

literal

Знак

positive

Условие

dihybrid_total_count

evidence

—

Идентификатор

2892a8fc9798c7cc76263c261eb88aa54f93d8fa6f014e2e0766ff6d14d9a0e6

Тип

rule_application

Посылки

fact-1

Правило

CountDihybridTotal

sourceAnchors

—

substitution

Идентификатор: Скрещивание
Тип: entity_ref

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

attributes

assertion: fact-2

conclusion

Аргументы

Идентификатор
Скрещивание
Тип
entity_ref
Идентификатор
Признак-1
Тип
entity_ref
Идентификатор
Признак-2
Тип
entity_ref

Тип

literal

Знак

positive

Условие

cross_uses_traits

evidence

—

Идентификатор

fact-2

Тип

assertion

Посылки

—

sourceAnchors

—

rule_application · urn:proof:apply:IndependentCombination:56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40

attributes

strength: defeasible

conclusion

Аргументы

Идентификатор
Скрещивание
Тип
entity_ref

Тип

literal

Знак

positive

Условие

independently_assorts

evidence

—

Идентификатор

56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40

Тип

rule_application

Посылки

fact-1
fact-2

Правило

IndependentCombination

sourceAnchors

—

substitution

Идентификатор: Скрещивание
Тип: entity_ref

Идентификатор: Признак-1
Тип: entity_ref

Идентификатор: Признак-2
Тип: entity_ref

candidate_closure · urn:proof:closure:d67a31a7575167955ca1619b8934568fd7467309fbc651ad4e88f642049db119

attributes

allApplicableCandidateIds: 56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40
conflictKey: {"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"}],"predicate":"urn:bio:clir:mendel#independently_assorts"}
evaluationInputSemanticHash: sha256:6e11466b3898fb6157bfd30d31e35ff42ed25dfb5cf784cc58a65e4e98f2c262
priorityGraphHash: sha256:055aa8b384c4f7b5f8397630ec50fdcbb4ae6245eeb46f1b885f1186230d9284
programSemanticHash: sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3
stratum: 0
survivingCandidateIds: 56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40

conclusion

Аргументы

Идентификатор
Скрещивание
Тип
entity_ref

Тип

literal

Знак

positive

Условие

independently_assorts

evidence

—

Идентификатор

d67a31a7575167955ca1619b8934568fd7467309fbc651ad4e88f642049db119

Тип

candidate_closure

Посылки

56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40

sourceAnchors

—

query_evaluation · urn:proof:query:mcp

attributes

—

conclusion

literal

Аргументы

Идентификатор
Скрещивание
Тип
entity_ref

Тип

literal

Знак

positive

Условие

independently_assorts

truthStatus

Установлено

evidence

—

Идентификатор

mcp

Тип

query_evaluation

Посылки

56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40

sourceAnchors

—

Идентификаторы календаря и доказательства

Ссылка на доказательство: mcp

Исходное обоснование · JSON

{
  "derived": [
    "dihybrid_total_count(Скрещивание, 0)",
    "independently_assorts(Скрещивание)"
  ],
  "derivedOmitted": 0,
  "evaluation": {
    "proofGraph": {
      "nodes": [
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-1"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#dihybrid_cross"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-1",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Integer"
                },
                "value": 0
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#dihybrid_total_count"
          },
          "evidence": [],
          "id": "urn:proof:apply:CountDihybridTotal:2892a8fc9798c7cc76263c261eb88aa54f93d8fa6f014e2e0766ff6d14d9a0e6",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-1"
          ],
          "rule": "urn:bio:clir:mendel#CountDihybridTotal",
          "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"
              },
              {
                "id": "urn:mcp:entity:Признак-1",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Признак-2",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#cross_uses_traits"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-2",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "strength": "defeasible"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#independently_assorts"
          },
          "evidence": [],
          "id": "urn:proof:apply:IndependentCombination:56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-1",
            "urn:proof:assert:urn:mcp:case#fact-2"
          ],
          "rule": "urn:bio:clir:mendel#IndependentCombination",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:mcp:entity:Скрещивание",
              "kind": "entity_ref"
            },
            "v1": {
              "id": "urn:mcp:entity:Признак-1",
              "kind": "entity_ref"
            },
            "v2": {
              "id": "urn:mcp:entity:Признак-2",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {
            "allApplicableCandidateIds": [
              "urn:proof:apply:IndependentCombination:56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40"
            ],
            "conflictKey": "{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"}],\"predicate\":\"urn:bio:clir:mendel#independently_assorts\"}",
            "evaluationInputSemanticHash": "sha256:6e11466b3898fb6157bfd30d31e35ff42ed25dfb5cf784cc58a65e4e98f2c262",
            "priorityGraphHash": "sha256:055aa8b384c4f7b5f8397630ec50fdcbb4ae6245eeb46f1b885f1186230d9284",
            "programSemanticHash": "sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3",
            "stratum": 0,
            "survivingCandidateIds": [
              "urn:proof:apply:IndependentCombination:56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40"
            ]
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#independently_assorts"
          },
          "evidence": [],
          "id": "urn:proof:closure:d67a31a7575167955ca1619b8934568fd7467309fbc651ad4e88f642049db119",
          "kind": "candidate_closure",
          "premises": [
            "urn:proof:apply:IndependentCombination:56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40"
          ],
          "sourceAnchors": []
        },
        {
          "attributes": {},
          "conclusion": {
            "literal": {
              "args": [
                {
                  "id": "urn:mcp:entity:Скрещивание",
                  "kind": "entity_ref"
                }
              ],
              "kind": "literal",
              "polarity": "positive",
              "predicate": "urn:bio:clir:mendel#independently_assorts"
            },
            "truthStatus": "TRUE_ONLY"
          },
          "evidence": [],
          "id": "urn:proof:query:mcp",
          "kind": "query_evaluation",
          "premises": [
            "urn:proof:apply:IndependentCombination:56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40"
          ],
          "sourceAnchors": []
        }
      ],
      "proofHash": "sha256:f059c276e33a89a9e92236a4fa591180e54597864e66da1097199b2c1899e420",
      "roots": [
        "urn:proof:query:mcp"
      ]
    },
    "resultHash": "sha256:50d4e7a151bfd8b63439f8a6395a020cd04f87fafe60b21bf4d6d146b540610a",
    "schemaVersion": "law.core.evaluation/0.2"
  },
  "proofRef": "urn:proof:query:mcp",
  "rulesApplied": [
    "urn:bio:clir:mendel#CountDihybridTotal",
    "urn:bio:clir:mendel#IndependentCombination"
  ]
}

ИсточникиФрагментов: 1

section/kombinationsreihe

in hybrider Verbindung unabhängig ist von den anderweitigen Unterschieden

Исходные данные · JSON

{
  "contentHash": "sha256:b5513fabbd6d60ceae8668bba2b911546b0eddb9abd370d84f13b20d6121732f",
  "edition": "urn:bio:clir:mendel#MENDEL_DE_REPRINT",
  "fragmentKind": "section",
  "id": "urn:bio:clir:mendel#MENDEL_INDEPENDENCE",
  "kind": "fragment",
  "locator": "section/kombinationsreihe",
  "package": "urn:bio:clir:mendel",
  "texts": [
    {
      "contentHash": "sha256:a6cfaadc44489d0f3f19c08e02fa309b06bd64fe337066cb7c3d72705523c950",
      "language": "de",
      "status": "unofficial",
      "text": "in hybrider Verbindung unabhängig ist von den anderweitigen Unterschieden"
    }
  ]
}

Пакеты в снимке

Gregor Mendel, Versuche über Pflanzen-Hybriden (1866): ограниченная формализация наследования — вне юрисдикции государства — доктрина

Технические данныеПолный ответ, параметры и контрольные суммы

Статус расчёта: COMPUTED

Полный ответ движка

independently_assorts: TRUE_ONLY — установлено Выведено правом: dihybrid_total_count(Скрещивание, 0); independently_assorts(Скрещивание) Применены правила: CountDihybridTotal, IndependentCombination Право (вне юрисдикции государства): Gregor Mendel, Versuche über Pflanzen-Hybriden (1866): ограниченная формализация наследования — доктрина (programHash sha256:0319f6093969…) proof-граф: 6 узлов — поле evaluation готово для law_explain

Полный машинный результат · JSON

{
  "answer": {
    "evaluationStatus": "COMPUTED",
    "kind": "TRUTH",
    "meaning": "установлено",
    "missingInputs": [],
    "truthStatus": "TRUE_ONLY"
  },
  "closedEditionRules": [],
  "derived": [
    "dihybrid_total_count(Скрещивание, 0)",
    "independently_assorts(Скрещивание)"
  ],
  "derivedOmitted": 0,
  "evaluation": {
    "proofGraph": {
      "nodes": [
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-1"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#dihybrid_cross"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-1",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Integer"
                },
                "value": 0
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#dihybrid_total_count"
          },
          "evidence": [],
          "id": "urn:proof:apply:CountDihybridTotal:2892a8fc9798c7cc76263c261eb88aa54f93d8fa6f014e2e0766ff6d14d9a0e6",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-1"
          ],
          "rule": "urn:bio:clir:mendel#CountDihybridTotal",
          "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"
              },
              {
                "id": "urn:mcp:entity:Признак-1",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Признак-2",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#cross_uses_traits"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-2",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "strength": "defeasible"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#independently_assorts"
          },
          "evidence": [],
          "id": "urn:proof:apply:IndependentCombination:56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-1",
            "urn:proof:assert:urn:mcp:case#fact-2"
          ],
          "rule": "urn:bio:clir:mendel#IndependentCombination",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:mcp:entity:Скрещивание",
              "kind": "entity_ref"
            },
            "v1": {
              "id": "urn:mcp:entity:Признак-1",
              "kind": "entity_ref"
            },
            "v2": {
              "id": "urn:mcp:entity:Признак-2",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {
            "allApplicableCandidateIds": [
              "urn:proof:apply:IndependentCombination:56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40"
            ],
            "conflictKey": "{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"}],\"predicate\":\"urn:bio:clir:mendel#independently_assorts\"}",
            "evaluationInputSemanticHash": "sha256:6e11466b3898fb6157bfd30d31e35ff42ed25dfb5cf784cc58a65e4e98f2c262",
            "priorityGraphHash": "sha256:055aa8b384c4f7b5f8397630ec50fdcbb4ae6245eeb46f1b885f1186230d9284",
            "programSemanticHash": "sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3",
            "stratum": 0,
            "survivingCandidateIds": [
              "urn:proof:apply:IndependentCombination:56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40"
            ]
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#independently_assorts"
          },
          "evidence": [],
          "id": "urn:proof:closure:d67a31a7575167955ca1619b8934568fd7467309fbc651ad4e88f642049db119",
          "kind": "candidate_closure",
          "premises": [
            "urn:proof:apply:IndependentCombination:56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40"
          ],
          "sourceAnchors": []
        },
        {
          "attributes": {},
          "conclusion": {
            "literal": {
              "args": [
                {
                  "id": "urn:mcp:entity:Скрещивание",
                  "kind": "entity_ref"
                }
              ],
              "kind": "literal",
              "polarity": "positive",
              "predicate": "urn:bio:clir:mendel#independently_assorts"
            },
            "truthStatus": "TRUE_ONLY"
          },
          "evidence": [],
          "id": "urn:proof:query:mcp",
          "kind": "query_evaluation",
          "premises": [
            "urn:proof:apply:IndependentCombination:56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40"
          ],
          "sourceAnchors": []
        }
      ],
      "proofHash": "sha256:f059c276e33a89a9e92236a4fa591180e54597864e66da1097199b2c1899e420",
      "roots": [
        "urn:proof:query:mcp"
      ]
    },
    "resultHash": "sha256:50d4e7a151bfd8b63439f8a6395a020cd04f87fafe60b21bf4d6d146b540610a",
    "schemaVersion": "law.core.evaluation/0.2"
  },
  "evaluationStatus": "COMPUTED",
  "issues": [],
  "judgmentRequests": [],
  "proofRef": "urn:proof:query:mcp",
  "provenance": {
    "acts": [
      {
        "contributed": true,
        "fragmentCount": 3,
        "fragments": [
          "urn:bio:clir:mendel#MENDEL_INDEPENDENCE"
        ],
        "jurisdiction": "none",
        "namespace": "urn:bio:clir:mendel",
        "package": "bio-mendel",
        "title": "Gregor Mendel, Versuche über Pflanzen-Hybriden (1866): ограниченная формализация наследования — вне юрисдикции государства — доктрина"
      }
    ],
    "caseHash": "sha256:6e11466b3898fb6157bfd30d31e35ff42ed25dfb5cf784cc58a65e4e98f2c262",
    "codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
    "jurisdiction": "вне юрисдикции государства",
    "legalTime": "2026-08-31",
    "mode": "audit",
    "programHash": "sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3",
    "resultHash": "sha256:50d4e7a151bfd8b63439f8a6395a020cd04f87fafe60b21bf4d6d146b540610a",
    "rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
    "timezone": "Asia/Qyzylorda"
  },
  "rulesApplied": [
    "urn:bio:clir:mendel#CountDihybridTotal",
    "urn:bio:clir:mendel#IndependentCombination"
  ],
  "signature": {
    "constants": {},
    "parameters": [
      {
        "labels": [],
        "name": "c",
        "type": {
          "name": "urn:bio:clir:mendel#Cross"
        }
      }
    ],
    "predicate": "urn:bio:clir:mendel#independently_assorts",
    "schemaVersion": "law.answers.signature/0.1",
    "types": {
      "urn:bio:clir:mendel#Cross": {
        "kind": "entity",
        "labels": [
          {
            "language": "de",
            "status": "unofficial",
            "text": "Kreuzungsfall"
          }
        ],
        "namespace": "urn:bio:clir:mendel",
        "package": "bio.mendel"
      }
    },
    "vocab": {}
  },
  "vulnerableTo": [],
  "whyNot": []
}

Исполнение · JSON

{
  "evaluationBytes": "{\"conflicts\":[],\"issues\":[],\"manifest\":{\"artifactHash\":\"sha256:a26de66a905f54b103955f9b6cf1179c92990e4069cc058d4d9f2a034aea0012\",\"calendarSnapshot\":\"\",\"caseHash\":\"sha256:6e11466b3898fb6157bfd30d31e35ff42ed25dfb5cf784cc58a65e4e98f2c262\",\"decisionTime\":\"2026-08-31T12:00:00+05:00\",\"evidenceSnapshotHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"externalSnapshots\":{},\"id\":\"urn:manifest:oracle-1\",\"interpretations\":[],\"knowledgeTime\":\"2026-08-31T12:00:00+05:00\",\"legalTime\":\"2026-08-31\",\"lockfileHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"mode\":\"audit\",\"policies\":{},\"programHash\":\"sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3\",\"resolvedEditions\":{},\"semanticHash\":\"sha256:c0db6f0d384db640f24a4c244a1a884ea2e777b344bf74cadbcf3a5932fd6188\",\"semantics\":\"law.core/0.2\",\"theoryHash\":\"sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3\",\"timezone\":\"Asia/Qyzylorda\"},\"positions\":[],\"proofGraph\":{\"nodes\":[{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-1\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_cross\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-1\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Integer\"},\"value\":0}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_total_count\"},\"evidence\":[],\"id\":\"urn:proof:apply:CountDihybridTotal:2892a8fc9798c7cc76263c261eb88aa54f93d8fa6f014e2e0766ff6d14d9a0e6\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\"],\"rule\":\"urn:bio:clir:mendel#CountDihybridTotal\",\"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\"},{\"id\":\"urn:mcp:entity:Признак-1\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Признак-2\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#cross_uses_traits\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-2\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"strength\":\"defeasible\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#independently_assorts\"},\"evidence\":[],\"id\":\"urn:proof:apply:IndependentCombination:56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\",\"urn:proof:assert:urn:mcp:case#fact-2\"],\"rule\":\"urn:bio:clir:mendel#IndependentCombination\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},\"v1\":{\"id\":\"urn:mcp:entity:Признак-1\",\"kind\":\"entity_ref\"},\"v2\":{\"id\":\"urn:mcp:entity:Признак-2\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"allApplicableCandidateIds\":[\"urn:proof:apply:IndependentCombination:56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40\"],\"conflictKey\":\"{\\\"args\\\":[{\\\"id\\\":\\\"urn:mcp:entity:Скрещивание\\\",\\\"kind\\\":\\\"entity_ref\\\"}],\\\"predicate\\\":\\\"urn:bio:clir:mendel#independently_assorts\\\"}\",\"evaluationInputSemanticHash\":\"sha256:6e11466b3898fb6157bfd30d31e35ff42ed25dfb5cf784cc58a65e4e98f2c262\",\"priorityGraphHash\":\"sha256:055aa8b384c4f7b5f8397630ec50fdcbb4ae6245eeb46f1b885f1186230d9284\",\"programSemanticHash\":\"sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3\",\"stratum\":0,\"survivingCandidateIds\":[\"urn:proof:apply:IndependentCombination:56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40\"]},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#independently_assorts\"},\"evidence\":[],\"id\":\"urn:proof:closure:d67a31a7575167955ca1619b8934568fd7467309fbc651ad4e88f642049db119\",\"kind\":\"candidate_closure\",\"premises\":[\"urn:proof:apply:IndependentCombination:56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40\"],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"literal\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#independently_assorts\"},\"truthStatus\":\"TRUE_ONLY\"},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[\"urn:proof:apply:IndependentCombination:56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40\"],\"sourceAnchors\":[]}],\"proofHash\":\"sha256:f059c276e33a89a9e92236a4fa591180e54597864e66da1097199b2c1899e420\",\"roots\":[\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:50d4e7a151bfd8b63439f8a6395a020cd04f87fafe60b21bf4d6d146b540610a\",\"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:mendel#independently_assorts\",\"truthStatus\":\"TRUE_ONLY\"}],\"schemaVersion\":\"law.core.evaluation/0.2\"}",
  "evaluationSha256": "sha256:0c9a494f9cc9821c39ad85c5da623d39b0f91746f88765115f38df81dfc27c43",
  "request": {
    "case": {
      "assertions": [
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-1",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#dihybrid_cross"
          },
          "origin": "case_input",
          "package": "urn:bio:clir:mendel"
        },
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-2",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Признак-1",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Признак-2",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#cross_uses_traits"
          },
          "origin": "case_input",
          "package": "urn:bio:clir:mendel"
        }
      ],
      "context": {
        "decisionTime": "2026-08-31T12:00:00+05:00",
        "knowledgeTime": "2026-08-31T12:00:00+05:00",
        "legalTime": "2026-08-31",
        "timezone": "Asia/Qyzylorda"
      },
      "options": {
        "selectedInterpretations": []
      }
    },
    "ir": {
      "irSha256": "sha256:82e39472d0a0a8e6c7d754b826d6a7d2c16982b337f57f2e8ff36309f8d9fe7a",
      "kind": "world_ref",
      "nodeCount": 48,
      "packages": [
        {
          "artifactHash": "sha256:a26de66a905f54b103955f9b6cf1179c92990e4069cc058d4d9f2a034aea0012",
          "namespace": "urn:bio:clir:mendel",
          "package": "bio-mendel",
          "semanticHash": "sha256:a3fa708325d9bc089306c4459667f679908577742cf38dc9dca53f0a6a369c00"
        }
      ],
      "programHash": "sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3"
    },
    "query": {
      "kind": "truth",
      "literal": {
        "args": [
          {
            "id": "urn:mcp:entity:Скрещивание",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:bio:clir:mendel#independently_assorts"
      },
      "queryId": "urn:query:mcp"
    },
    "schemaVersion": "law.core.evaluation-request/0.2",
    "semanticVersion": "0.2"
  },
  "requestCanonicalSha256": "sha256:e4eeaf9be0482978437efd14c4cb1f3cf60530a2dce03f7225cc856686b1521d"
}

Метаданные отображения

{
  "schemaVersion": "law.answers.presentation/0.1",
  "source": {
    "requestCanonicalSha256": "sha256:e4eeaf9be0482978437efd14c4cb1f3cf60530a2dce03f7225cc856686b1521d"
  },
  "steps": [
    {
      "assertionOrigin": "case_input",
      "conclusion": {
        "args": [
          {
            "id": "urn:mcp:entity:Скрещивание",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:bio:clir:mendel#dihybrid_cross"
      },
      "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:mcp:entity:Признак-1",
            "kind": "entity_ref"
          },
          {
            "id": "urn:mcp:entity:Признак-2",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:bio:clir:mendel#cross_uses_traits"
      },
      "id": "urn:proof:assert:urn:mcp:case#fact-2",
      "kind": "assertion",
      "originStatus": "available",
      "premises": [],
      "trust": "case"
    },
    {
      "conclusion": {
        "args": [
          {
            "id": "urn:mcp:entity:Скрещивание",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:bio:clir:mendel#independently_assorts"
      },
      "head": {
        "args": [
          {
            "kind": "var",
            "var": "v0"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:bio:clir:mendel#independently_assorts"
      },
      "id": "urn:proof:apply:IndependentCombination:56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40",
      "kind": "rule_application",
      "originStatus": "available",
      "premises": [
        "urn:proof:assert:urn:mcp:case#fact-1",
        "urn:proof:assert:urn:mcp:case#fact-2"
      ],
      "rule": "urn:bio:clir:mendel#IndependentCombination",
      "sourceAnchors": [
        "urn:bio:clir:mendel#MENDEL_INDEPENDENCE"
      ],
      "strength": "defeasible",
      "substitution": {
        "v0": {
          "id": "urn:mcp:entity:Скрещивание",
          "kind": "entity_ref"
        },
        "v1": {
          "id": "urn:mcp:entity:Признак-1",
          "kind": "entity_ref"
        },
        "v2": {
          "id": "urn:mcp:entity:Признак-2",
          "kind": "entity_ref"
        }
      },
      "trust": "engine",
      "variables": [
        {
          "id": "v0",
          "type": {
            "name": "urn:bio:clir:mendel#Cross"
          }
        },
        {
          "id": "v1",
          "type": {
            "name": "urn:bio:clir:mendel#Trait"
          }
        },
        {
          "id": "v2",
          "type": {
            "name": "urn:bio:clir:mendel#Trait"
          }
        }
      ]
    },
    {
      "conclusion": {
        "literal": {
          "args": [
            {
              "id": "urn:mcp:entity:Скрещивание",
              "kind": "entity_ref"
            }
          ],
          "kind": "literal",
          "polarity": "positive",
          "predicate": "urn:bio:clir:mendel#independently_assorts"
        },
        "truthStatus": "TRUE_ONLY"
      },
      "id": "urn:proof:query:mcp",
      "kind": "query_evaluation",
      "originStatus": "available",
      "premises": [
        "urn:proof:apply:IndependentCombination:56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40"
      ],
      "trust": "engine"
    }
  ],
  "symbols": [
    {
      "id": "urn:bio:clir:mendel#CountDihybridTotal",
      "kind": "rule",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "Подсчёт всех исходов дигибридного скрещивания"
        }
      ],
      "package": "urn:bio:clir:mendel",
      "strength": "strict"
    },
    {
      "id": "urn:bio:clir:mendel#Cross",
      "kind": "type_decl",
      "labels": [
        {
          "language": "de",
          "status": "unofficial",
          "text": "Kreuzungsfall"
        }
      ],
      "name": "Cross",
      "package": "urn:bio:clir:mendel"
    },
    {
      "id": "urn:bio:clir:mendel#IndependentCombination",
      "kind": "rule",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "Независимое комбинирование двух признаков"
        }
      ],
      "package": "urn:bio:clir:mendel",
      "strength": "defeasible"
    },
    {
      "id": "urn:bio:clir:mendel#Trait",
      "kind": "type_decl",
      "labels": [
        {
          "language": "de",
          "status": "unofficial",
          "text": "Merkmal"
        }
      ],
      "name": "Trait",
      "package": "urn:bio:clir:mendel"
    },
    {
      "id": "urn:bio:clir:mendel#cross_uses_traits",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "de",
          "status": "unofficial",
          "text": "Kreuzung vereinigt zwei Merkmale"
        }
      ],
      "name": "cross_uses_traits",
      "package": "urn:bio:clir:mendel",
      "parameters": [
        {
          "id": "urn:bio:clir:mendel#cross_uses_traits/arg/c",
          "labels": [],
          "name": "c",
          "type": {
            "name": "urn:bio:clir:mendel#Cross"
          }
        },
        {
          "id": "urn:bio:clir:mendel#cross_uses_traits/arg/first",
          "labels": [],
          "name": "first",
          "type": {
            "name": "urn:bio:clir:mendel#Trait"
          }
        },
        {
          "id": "urn:bio:clir:mendel#cross_uses_traits/arg/second",
          "labels": [],
          "name": "second",
          "type": {
            "name": "urn:bio:clir:mendel#Trait"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:bio:clir:mendel#dihybrid_cross",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "de",
          "status": "unofficial",
          "text": "gezählte dihybride Kreuzung"
        }
      ],
      "name": "dihybrid_cross",
      "package": "urn:bio:clir:mendel",
      "parameters": [
        {
          "id": "urn:bio:clir:mendel#dihybrid_cross/arg/c",
          "labels": [],
          "name": "c",
          "type": {
            "name": "urn:bio:clir:mendel#Cross"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:bio:clir:mendel#dihybrid_total_count",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "de",
          "status": "unofficial",
          "text": "Zahl aller dihybriden Ergebnisse"
        }
      ],
      "name": "dihybrid_total_count",
      "package": "urn:bio:clir:mendel",
      "parameters": [
        {
          "id": "urn:bio:clir:mendel#dihybrid_total_count/arg/c",
          "labels": [],
          "name": "c",
          "type": {
            "name": "urn:bio:clir:mendel#Cross"
          }
        },
        {
          "id": "urn:bio:clir:mendel#dihybrid_total_count/arg/n",
          "labels": [],
          "name": "n",
          "type": {
            "name": "urn:law:std#Integer"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:bio:clir:mendel#independently_assorts",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "de",
          "status": "unofficial",
          "text": "Merkmale kombinieren unabhängig"
        }
      ],
      "name": "independently_assorts",
      "package": "urn:bio:clir:mendel",
      "parameters": [
        {
          "id": "urn:bio:clir:mendel#independently_assorts/arg/c",
          "labels": [],
          "name": "c",
          "type": {
            "name": "urn:bio:clir:mendel#Cross"
          }
        }
      ],
      "symbolKind": "relation"
    }
  ],
  "tables": []
}

JSON · расчёты, источники и точные данные

{
  "acts": [
    {
      "contributed": true,
      "fragmentCount": 3,
      "fragments": [
        "urn:bio:clir:mendel#MENDEL_INDEPENDENCE"
      ],
      "jurisdiction": "none",
      "namespace": "urn:bio:clir:mendel",
      "package": "bio-mendel",
      "title": "Gregor Mendel, Versuche über Pflanzen-Hybriden (1866): ограниченная формализация наследования — вне юрисдикции государства — доктрина"
    }
  ],
  "caseHash": "sha256:6e11466b3898fb6157bfd30d31e35ff42ed25dfb5cf784cc58a65e4e98f2c262",
  "codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
  "jurisdiction": "вне юрисдикции государства",
  "legalTime": "2026-08-31",
  "mode": "audit",
  "programHash": "sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3",
  "resultHash": "sha256:50d4e7a151bfd8b63439f8a6395a020cd04f87fafe60b21bf4d6d146b540610a",
  "rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
  "timezone": "Asia/Qyzylorda"
}

evaluation SHA-256: sha256:0c9a494f9cc9821c39ad85c5da623d39b0f91746f88765115f38df81dfc27c43

Исходные данные · JSON

{
  "args": [
    "Скрещивание"
  ],
  "facts": [
    {
      "args": [
        "Скрещивание"
      ],
      "predicate": "dihybrid_cross"
    },
    {
      "args": [
        "Скрещивание",
        "Признак-1",
        "Признак-2"
      ],
      "predicate": "cross_uses_traits"
    }
  ],
  "kind": "truth",
  "legalTime": "2026-08-31",
  "package": "bio-mendel",
  "predicate": "independently_assorts",
  "proof": true
}

Правило независимого комбинирования опровержимое: без сведений о хромосомах оно действует.

Проверка условия

Те же признаки на одной хромосоме: сцепление по Моргану

Дата контекста 31.08.2026

Результат расчёта

Не установлено

Посылки правил

Правило: Независимое комбинирование двух признаков
- gezählte dihybride KreuzungСкрещиваниеустановлено
- Kreuzung vereinigt zwei MerkmaleСкрещивание, Признак-1, Признак-2установлено
Правило: Сцепление генов отменяет независимое комбинирование
- Kreuzung vereinigt zwei MerkmaleСкрещивание, Признак-1, Признак-2установлено
- Merkmal liegt auf ChromosomПризнак-1, Хромосомаустановлено
- Merkmal liegt auf ChromosomПризнак-2, Хромосомаустановлено

Исходные параметры

Что определяем

Merkmale kombinieren unabhängig

Скрещивание

Исходные факты

gezählte dihybride Kreuzung
c: Скрещивание
Kreuzung vereinigt zwei Merkmale
c: Скрещиваниеfirst: Признак-1second: Признак-2
Merkmal liegt auf Chromosom
t chr
Признак-1 Хромосома
Признак-2 Хромосома

t	chr
Признак-1	Хромосома
Признак-2	Хромосома

Дополнительные сведения

Сохранить доказательство: Да

Исходные данные · JSON

{
  "args": [
    "Скрещивание"
  ],
  "facts": [
    {
      "args": [
        "Скрещивание"
      ],
      "predicate": "dihybrid_cross"
    },
    {
      "args": [
        "Скрещивание",
        "Признак-1",
        "Признак-2"
      ],
      "predicate": "cross_uses_traits"
    },
    {
      "args": [
        "Признак-1",
        "Хромосома"
      ],
      "predicate": "trait_on_chromosome"
    },
    {
      "args": [
        "Признак-2",
        "Хромосома"
      ],
      "predicate": "trait_on_chromosome"
    }
  ],
  "kind": "truth",
  "legalTime": "2026-08-31",
  "package": "bio-mendel",
  "predicate": "independently_assorts",
  "proof": true
}

Почему такой результатПрименённые правила и условия

Путь вывода1 шагов

1
Вычисление запроса
запрос

проверено движком: 1 · факт дела: 0 · Полный граф: 9 узлов

Применённые правила3

Gregor Mendel, Versuche über Pflanzen-Hybriden (1866): ограниченная формализация наследования — вне юрисдикции государства — доктрина

Подсчёт всех исходов дигибридного скрещивания
Идентификатор
urn:bio:clir:mendel#CountDihybridTotal
Независимое комбинирование двух признаков
Идентификатор
urn:bio:clir:mendel#IndependentCombination
Сцепление генов отменяет независимое комбинирование
Идентификатор
urn:bio:clir:mendel#MorganLinkageDefeatsIndependence

Вывод по запросу

Merkmale kombinieren unabhängig
c: Скрещивание

Другие выводы1

Zahl aller dihybriden Ergebnisse
c: Скрещиваниеn: 0

Zahl aller dihybriden Ergebnisse
c	n
Скрещивание	0

Merkmale kombinieren unabhängig
c
Скрещивание

Почему вывод не состоялся2 правил

1
Независимое комбинирование двух признаков
Чего не хватает
- gezählte dihybride KreuzungСкрещиваниеУстановлено
- Kreuzung vereinigt zwei MerkmaleСкрещивание, Признак-1, Признак-2Установлено
Источник: разд. kombinationsreihe
Идентификатор
urn:bio:clir:mendel#IndependentCombination
правило
2
Сцепление генов отменяет независимое комбинирование
Чего не хватает
- Kreuzung vereinigt zwei MerkmaleСкрещивание, Признак-1, Признак-2Установлено
- Merkmal liegt auf ChromosomПризнак-1, ХромосомаУстановлено
- Merkmal liegt auf ChromosomПризнак-2, ХромосомаУстановлено
Идентификатор
urn:bio:clir:mendel#MorganLinkageDefeatsIndependence
правило

Перечислены правила, чья голова отвечает вопросу, и их невыполненные посылки. Отсутствие факта не означает его опровержения.

Граф доказательств

Кто кого перебил

Поражено Независимое комбинирование двух признаков Merkmale kombinieren unabhängig(Скрещивание)
Перебито Сцепление генов отменяет независимое комбинирование Merkmale kombinieren unabhängig(Скрещивание) (основание: дефитер §107.3)
вывод Merkmale kombinieren unabhängig(Скрещивание)

Поражения — узлы defeat графа доказательства (§181): применение, его победитель и путь приоритета, как их записало исполнение; порядок не пересчитывается.

Граф доказательства · 1 слой

Узлы доказательств: 9 · assertion 4, rule_application 3, defeat 1, query_evaluation 1

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

attributes

assertion: fact-1

conclusion

Аргументы

Идентификатор
Скрещивание
Тип
entity_ref

Тип

literal

Знак

positive

Условие

dihybrid_cross

evidence

—

Идентификатор

fact-1

Тип

assertion

Посылки

—

sourceAnchors

—

rule_application · urn:proof:apply:CountDihybridTotal:2892a8fc9798c7cc76263c261eb88aa54f93d8fa6f014e2e0766ff6d14d9a0e6

attributes

—

conclusion

Аргументы

Идентификатор
Скрещивание
Тип
entity_ref
Тип
value
type
name
Integer
value
0

Тип

literal

Знак

positive

Условие

dihybrid_total_count

evidence

—

Идентификатор

2892a8fc9798c7cc76263c261eb88aa54f93d8fa6f014e2e0766ff6d14d9a0e6

Тип

rule_application

Посылки

fact-1

Правило

CountDihybridTotal

sourceAnchors

—

substitution

Идентификатор: Скрещивание
Тип: entity_ref

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

attributes

assertion: fact-2

conclusion

Аргументы

Идентификатор
Скрещивание
Тип
entity_ref
Идентификатор
Признак-1
Тип
entity_ref
Идентификатор
Признак-2
Тип
entity_ref

Тип

literal

Знак

positive

Условие

cross_uses_traits

evidence

—

Идентификатор

fact-2

Тип

assertion

Посылки

—

sourceAnchors

—

rule_application · urn:proof:apply:IndependentCombination:56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40

attributes

strength: defeasible

conclusion

Аргументы

Идентификатор
Скрещивание
Тип
entity_ref

Тип

literal

Знак

positive

Условие

independently_assorts

evidence

—

Идентификатор

56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40

Тип

rule_application

Посылки

fact-1
fact-2

Правило

IndependentCombination

sourceAnchors

—

substitution

Идентификатор: Скрещивание
Тип: entity_ref

Идентификатор: Признак-1
Тип: entity_ref

Идентификатор: Признак-2
Тип: entity_ref

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

attributes

assertion: fact-3

conclusion

Аргументы

Идентификатор
Признак-1
Тип
entity_ref
Идентификатор
Хромосома
Тип
entity_ref

Тип

literal

Знак

positive

Условие

trait_on_chromosome

evidence

—

Идентификатор

fact-3

Тип

assertion

Посылки

—

sourceAnchors

—

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

attributes

assertion: fact-4

conclusion

Аргументы

Идентификатор
Признак-2
Тип
entity_ref
Идентификатор
Хромосома
Тип
entity_ref

Тип

literal

Знак

positive

Условие

trait_on_chromosome

evidence

—

Идентификатор

fact-4

Тип

assertion

Посылки

—

sourceAnchors

—

rule_application · urn:proof:apply:MorganLinkageDefeatsIndependence:7d74ae4016263a7fe5f972d56544225b8bfbdfe4bcf4be3e3d27ed4ef32d865d

attributes

strength: defeater

conclusion

Аргументы

Идентификатор
Скрещивание
Тип
entity_ref

Тип

literal

Знак

positive

Условие

independently_assorts

evidence

—

Идентификатор

7d74ae4016263a7fe5f972d56544225b8bfbdfe4bcf4be3e3d27ed4ef32d865d

Тип

rule_application

Посылки

fact-2
fact-3
fact-4

Правило

MorganLinkageDefeatsIndependence

sourceAnchors

—

substitution

Идентификатор: Скрещивание
Тип: entity_ref

Идентификатор: Признак-1
Тип: entity_ref

Идентификатор: Признак-2
Тип: entity_ref

Идентификатор: Хромосома
Тип: entity_ref

defeat · urn:proof:defeat:26409956c8f2562ec79529772466e2086a5684b916e94bbf5a16e1040e3496ff

attributes

defeated: 56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40
Причина: defeater

conclusion

Аргументы

Идентификатор
Скрещивание
Тип
entity_ref

Тип

literal

Знак

positive

Условие

independently_assorts

evidence

—

Идентификатор

26409956c8f2562ec79529772466e2086a5684b916e94bbf5a16e1040e3496ff

Тип

defeat

outcome

DEFEATED

Посылки

56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40
7d74ae4016263a7fe5f972d56544225b8bfbdfe4bcf4be3e3d27ed4ef32d865d

priorityPath

—

sourceAnchors

—

query_evaluation · urn:proof:query:mcp

attributes

—

conclusion

literal

Аргументы

Идентификатор
Скрещивание
Тип
entity_ref

Тип

literal

Знак

positive

Условие

independently_assorts

truthStatus

Не установлено

evidence

—

Идентификатор

mcp

Тип

query_evaluation

Посылки

—

sourceAnchors

—

Идентификаторы календаря и доказательства

Ссылка на доказательство: mcp

Исходное обоснование · JSON

{
  "derived": [
    "dihybrid_total_count(Скрещивание, 0)",
    "independently_assorts(Скрещивание)"
  ],
  "derivedOmitted": 0,
  "evaluation": {
    "proofGraph": {
      "nodes": [
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-1"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#dihybrid_cross"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-1",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Integer"
                },
                "value": 0
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#dihybrid_total_count"
          },
          "evidence": [],
          "id": "urn:proof:apply:CountDihybridTotal:2892a8fc9798c7cc76263c261eb88aa54f93d8fa6f014e2e0766ff6d14d9a0e6",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-1"
          ],
          "rule": "urn:bio:clir:mendel#CountDihybridTotal",
          "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"
              },
              {
                "id": "urn:mcp:entity:Признак-1",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Признак-2",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#cross_uses_traits"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-2",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "strength": "defeasible"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#independently_assorts"
          },
          "evidence": [],
          "id": "urn:proof:apply:IndependentCombination:56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-1",
            "urn:proof:assert:urn:mcp:case#fact-2"
          ],
          "rule": "urn:bio:clir:mendel#IndependentCombination",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:mcp:entity:Скрещивание",
              "kind": "entity_ref"
            },
            "v1": {
              "id": "urn:mcp:entity:Признак-1",
              "kind": "entity_ref"
            },
            "v2": {
              "id": "urn:mcp:entity:Признак-2",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-3"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Признак-1",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Хромосома",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#trait_on_chromosome"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-3",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-4"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Признак-2",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Хромосома",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#trait_on_chromosome"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-4",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "strength": "defeater"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#independently_assorts"
          },
          "evidence": [],
          "id": "urn:proof:apply:MorganLinkageDefeatsIndependence:7d74ae4016263a7fe5f972d56544225b8bfbdfe4bcf4be3e3d27ed4ef32d865d",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-2",
            "urn:proof:assert:urn:mcp:case#fact-3",
            "urn:proof:assert:urn:mcp:case#fact-4"
          ],
          "rule": "urn:bio:clir:mendel#MorganLinkageDefeatsIndependence",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:mcp:entity:Скрещивание",
              "kind": "entity_ref"
            },
            "v1": {
              "id": "urn:mcp:entity:Признак-1",
              "kind": "entity_ref"
            },
            "v2": {
              "id": "urn:mcp:entity:Признак-2",
              "kind": "entity_ref"
            },
            "v3": {
              "id": "urn:mcp:entity:Хромосома",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {
            "defeated": "urn:proof:apply:IndependentCombination:56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40",
            "reason": "defeater"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#independently_assorts"
          },
          "evidence": [],
          "id": "urn:proof:defeat:26409956c8f2562ec79529772466e2086a5684b916e94bbf5a16e1040e3496ff",
          "kind": "defeat",
          "outcome": "DEFEATED",
          "premises": [
            "urn:proof:apply:IndependentCombination:56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40",
            "urn:proof:apply:MorganLinkageDefeatsIndependence:7d74ae4016263a7fe5f972d56544225b8bfbdfe4bcf4be3e3d27ed4ef32d865d"
          ],
          "priorityPath": [],
          "sourceAnchors": []
        },
        {
          "attributes": {},
          "conclusion": {
            "literal": {
              "args": [
                {
                  "id": "urn:mcp:entity:Скрещивание",
                  "kind": "entity_ref"
                }
              ],
              "kind": "literal",
              "polarity": "positive",
              "predicate": "urn:bio:clir:mendel#independently_assorts"
            },
            "truthStatus": "NEITHER"
          },
          "evidence": [],
          "id": "urn:proof:query:mcp",
          "kind": "query_evaluation",
          "premises": [],
          "sourceAnchors": []
        }
      ],
      "proofHash": "sha256:a93daed958cfa28457217de28131a2cca84c6736d8027833ddd9b3935af3a7c7",
      "roots": [
        "urn:proof:query:mcp"
      ]
    },
    "resultHash": "sha256:9c3bfd931eea46e3b6ffae3984065b89f4884978f32788b5bc183f217037958a",
    "schemaVersion": "law.core.evaluation/0.2"
  },
  "proofRef": "urn:proof:query:mcp",
  "rulesApplied": [
    "urn:bio:clir:mendel#CountDihybridTotal",
    "urn:bio:clir:mendel#IndependentCombination",
    "urn:bio:clir:mendel#MorganLinkageDefeatsIndependence"
  ],
  "whyNot": [
    {
      "anchors": [
        "urn:bio:clir:mendel#MENDEL_INDEPENDENCE"
      ],
      "computedHead": false,
      "label": "Независимое комбинирование двух признаков",
      "premises": [
        {
          "premise": "dihybrid_cross(Скрещивание)",
          "status": "TRUE_ONLY"
        },
        {
          "premise": "cross_uses_traits(Скрещивание, Признак-1, Признак-2)",
          "status": "TRUE_ONLY"
        }
      ],
      "rule": "IndependentCombination"
    },
    {
      "anchors": [],
      "computedHead": false,
      "label": "Сцепление генов отменяет независимое комбинирование",
      "premises": [
        {
          "premise": "cross_uses_traits(Скрещивание, Признак-1, Признак-2)",
          "status": "TRUE_ONLY"
        },
        {
          "premise": "trait_on_chromosome(Признак-1, Хромосома)",
          "status": "TRUE_ONLY"
        },
        {
          "premise": "trait_on_chromosome(Признак-2, Хромосома)",
          "status": "TRUE_ONLY"
        }
      ],
      "rule": "MorganLinkageDefeatsIndependence"
    }
  ]
}

ИсточникиФрагментов: 1

section/kombinationsreihe

in hybrider Verbindung unabhängig ist von den anderweitigen Unterschieden

Исходные данные · JSON

{
  "contentHash": "sha256:b5513fabbd6d60ceae8668bba2b911546b0eddb9abd370d84f13b20d6121732f",
  "edition": "urn:bio:clir:mendel#MENDEL_DE_REPRINT",
  "fragmentKind": "section",
  "id": "urn:bio:clir:mendel#MENDEL_INDEPENDENCE",
  "kind": "fragment",
  "locator": "section/kombinationsreihe",
  "package": "urn:bio:clir:mendel",
  "texts": [
    {
      "contentHash": "sha256:a6cfaadc44489d0f3f19c08e02fa309b06bd64fe337066cb7c3d72705523c950",
      "language": "de",
      "status": "unofficial",
      "text": "in hybrider Verbindung unabhängig ist von den anderweitigen Unterschieden"
    }
  ]
}

Пакеты в снимке

Gregor Mendel, Versuche über Pflanzen-Hybriden (1866): ограниченная формализация наследования — вне юрисдикции государства — доктрина

Технические данныеПолный ответ, параметры и контрольные суммы

Статус расчёта: COMPUTED

Полный ответ движка

independently_assorts: NEITHER — НЕ УСТАНОВЛЕНО: в формализованном праве нет ни подтверждения, ни опровержения (открытый мир §69) — это не «нет» Выведено правом: dihybrid_total_count(Скрещивание, 0); independently_assorts(Скрещивание) Применены правила: CountDihybridTotal, IndependentCombination, MorganLinkageDefeatsIndependence Правило «Независимое комбинирование двух признаков» вывело бы это при посылках: ✓ dihybrid_cross(Скрещивание) — TRUE_ONLY ✓ cross_uses_traits(Скрещивание, Признак-1, Признак-2) — TRUE_ONLY Правило «Сцепление генов отменяет независимое комбинирование» вывело бы это при посылках: ✓ cross_uses_traits(Скрещивание, Признак-1, Признак-2) — TRUE_ONLY ✓ trait_on_chromosome(Признак-1, Хромосома) — TRUE_ONLY ✓ trait_on_chromosome(Признак-2, Хромосома) — TRUE_ONLY (? — факт не подан и не выведен; ✗ — установлено обратное) Полные правила с посылками: law_rules({"predicate": "independently_assorts"}) Право (вне юрисдикции государства): Gregor Mendel, Versuche über Pflanzen-Hybriden (1866): ограниченная формализация наследования — доктрина (programHash sha256:0319f6093969…) proof-граф: 9 узлов — поле evaluation готово для law_explain

Полный машинный результат · JSON

{
  "answer": {
    "evaluationStatus": "COMPUTED",
    "kind": "TRUTH",
    "meaning": "НЕ УСТАНОВЛЕНО: в формализованном праве нет ни подтверждения, ни опровержения (открытый мир §69) — это не «нет»",
    "missingInputs": [],
    "truthStatus": "NEITHER"
  },
  "closedEditionRules": [],
  "derived": [
    "dihybrid_total_count(Скрещивание, 0)",
    "independently_assorts(Скрещивание)"
  ],
  "derivedOmitted": 0,
  "evaluation": {
    "proofGraph": {
      "nodes": [
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-1"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#dihybrid_cross"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-1",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Integer"
                },
                "value": 0
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#dihybrid_total_count"
          },
          "evidence": [],
          "id": "urn:proof:apply:CountDihybridTotal:2892a8fc9798c7cc76263c261eb88aa54f93d8fa6f014e2e0766ff6d14d9a0e6",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-1"
          ],
          "rule": "urn:bio:clir:mendel#CountDihybridTotal",
          "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"
              },
              {
                "id": "urn:mcp:entity:Признак-1",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Признак-2",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#cross_uses_traits"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-2",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "strength": "defeasible"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#independently_assorts"
          },
          "evidence": [],
          "id": "urn:proof:apply:IndependentCombination:56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-1",
            "urn:proof:assert:urn:mcp:case#fact-2"
          ],
          "rule": "urn:bio:clir:mendel#IndependentCombination",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:mcp:entity:Скрещивание",
              "kind": "entity_ref"
            },
            "v1": {
              "id": "urn:mcp:entity:Признак-1",
              "kind": "entity_ref"
            },
            "v2": {
              "id": "urn:mcp:entity:Признак-2",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-3"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Признак-1",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Хромосома",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#trait_on_chromosome"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-3",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-4"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Признак-2",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Хромосома",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#trait_on_chromosome"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-4",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "strength": "defeater"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#independently_assorts"
          },
          "evidence": [],
          "id": "urn:proof:apply:MorganLinkageDefeatsIndependence:7d74ae4016263a7fe5f972d56544225b8bfbdfe4bcf4be3e3d27ed4ef32d865d",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-2",
            "urn:proof:assert:urn:mcp:case#fact-3",
            "urn:proof:assert:urn:mcp:case#fact-4"
          ],
          "rule": "urn:bio:clir:mendel#MorganLinkageDefeatsIndependence",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:mcp:entity:Скрещивание",
              "kind": "entity_ref"
            },
            "v1": {
              "id": "urn:mcp:entity:Признак-1",
              "kind": "entity_ref"
            },
            "v2": {
              "id": "urn:mcp:entity:Признак-2",
              "kind": "entity_ref"
            },
            "v3": {
              "id": "urn:mcp:entity:Хромосома",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {
            "defeated": "urn:proof:apply:IndependentCombination:56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40",
            "reason": "defeater"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#independently_assorts"
          },
          "evidence": [],
          "id": "urn:proof:defeat:26409956c8f2562ec79529772466e2086a5684b916e94bbf5a16e1040e3496ff",
          "kind": "defeat",
          "outcome": "DEFEATED",
          "premises": [
            "urn:proof:apply:IndependentCombination:56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40",
            "urn:proof:apply:MorganLinkageDefeatsIndependence:7d74ae4016263a7fe5f972d56544225b8bfbdfe4bcf4be3e3d27ed4ef32d865d"
          ],
          "priorityPath": [],
          "sourceAnchors": []
        },
        {
          "attributes": {},
          "conclusion": {
            "literal": {
              "args": [
                {
                  "id": "urn:mcp:entity:Скрещивание",
                  "kind": "entity_ref"
                }
              ],
              "kind": "literal",
              "polarity": "positive",
              "predicate": "urn:bio:clir:mendel#independently_assorts"
            },
            "truthStatus": "NEITHER"
          },
          "evidence": [],
          "id": "urn:proof:query:mcp",
          "kind": "query_evaluation",
          "premises": [],
          "sourceAnchors": []
        }
      ],
      "proofHash": "sha256:a93daed958cfa28457217de28131a2cca84c6736d8027833ddd9b3935af3a7c7",
      "roots": [
        "urn:proof:query:mcp"
      ]
    },
    "resultHash": "sha256:9c3bfd931eea46e3b6ffae3984065b89f4884978f32788b5bc183f217037958a",
    "schemaVersion": "law.core.evaluation/0.2"
  },
  "evaluationStatus": "COMPUTED",
  "issues": [],
  "judgmentRequests": [],
  "proofRef": "urn:proof:query:mcp",
  "provenance": {
    "acts": [
      {
        "contributed": true,
        "fragmentCount": 3,
        "fragments": [
          "urn:bio:clir:mendel#MENDEL_INDEPENDENCE"
        ],
        "jurisdiction": "none",
        "namespace": "urn:bio:clir:mendel",
        "package": "bio-mendel",
        "title": "Gregor Mendel, Versuche über Pflanzen-Hybriden (1866): ограниченная формализация наследования — вне юрисдикции государства — доктрина"
      }
    ],
    "caseHash": "sha256:07281eb59f13916209573cd058eaae690098a48bf8e81825054df040e590ca73",
    "codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
    "jurisdiction": "вне юрисдикции государства",
    "legalTime": "2026-08-31",
    "mode": "audit",
    "programHash": "sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3",
    "resultHash": "sha256:9c3bfd931eea46e3b6ffae3984065b89f4884978f32788b5bc183f217037958a",
    "rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
    "timezone": "Asia/Qyzylorda"
  },
  "rulesApplied": [
    "urn:bio:clir:mendel#CountDihybridTotal",
    "urn:bio:clir:mendel#IndependentCombination",
    "urn:bio:clir:mendel#MorganLinkageDefeatsIndependence"
  ],
  "signature": {
    "constants": {},
    "parameters": [
      {
        "labels": [],
        "name": "c",
        "type": {
          "name": "urn:bio:clir:mendel#Cross"
        }
      }
    ],
    "predicate": "urn:bio:clir:mendel#independently_assorts",
    "schemaVersion": "law.answers.signature/0.1",
    "types": {
      "urn:bio:clir:mendel#Cross": {
        "kind": "entity",
        "labels": [
          {
            "language": "de",
            "status": "unofficial",
            "text": "Kreuzungsfall"
          }
        ],
        "namespace": "urn:bio:clir:mendel",
        "package": "bio.mendel"
      }
    },
    "vocab": {}
  },
  "vulnerableTo": [],
  "whyNot": [
    {
      "anchors": [
        "urn:bio:clir:mendel#MENDEL_INDEPENDENCE"
      ],
      "computedHead": false,
      "label": "Независимое комбинирование двух признаков",
      "premises": [
        {
          "premise": "dihybrid_cross(Скрещивание)",
          "status": "TRUE_ONLY"
        },
        {
          "premise": "cross_uses_traits(Скрещивание, Признак-1, Признак-2)",
          "status": "TRUE_ONLY"
        }
      ],
      "rule": "IndependentCombination"
    },
    {
      "anchors": [],
      "computedHead": false,
      "label": "Сцепление генов отменяет независимое комбинирование",
      "premises": [
        {
          "premise": "cross_uses_traits(Скрещивание, Признак-1, Признак-2)",
          "status": "TRUE_ONLY"
        },
        {
          "premise": "trait_on_chromosome(Признак-1, Хромосома)",
          "status": "TRUE_ONLY"
        },
        {
          "premise": "trait_on_chromosome(Признак-2, Хромосома)",
          "status": "TRUE_ONLY"
        }
      ],
      "rule": "MorganLinkageDefeatsIndependence"
    }
  ]
}

Исполнение · JSON

{
  "evaluationBytes": "{\"conflicts\":[],\"issues\":[],\"manifest\":{\"artifactHash\":\"sha256:a26de66a905f54b103955f9b6cf1179c92990e4069cc058d4d9f2a034aea0012\",\"calendarSnapshot\":\"\",\"caseHash\":\"sha256:07281eb59f13916209573cd058eaae690098a48bf8e81825054df040e590ca73\",\"decisionTime\":\"2026-08-31T12:00:00+05:00\",\"evidenceSnapshotHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"externalSnapshots\":{},\"id\":\"urn:manifest:oracle-1\",\"interpretations\":[],\"knowledgeTime\":\"2026-08-31T12:00:00+05:00\",\"legalTime\":\"2026-08-31\",\"lockfileHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"mode\":\"audit\",\"policies\":{},\"programHash\":\"sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3\",\"resolvedEditions\":{},\"semanticHash\":\"sha256:8f4fedce6eb8e7693414f2658ddca8c03a53fc0295bda6da09be2961cf6d2b8d\",\"semantics\":\"law.core/0.2\",\"theoryHash\":\"sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3\",\"timezone\":\"Asia/Qyzylorda\"},\"positions\":[],\"proofGraph\":{\"nodes\":[{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-1\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_cross\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-1\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Integer\"},\"value\":0}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_total_count\"},\"evidence\":[],\"id\":\"urn:proof:apply:CountDihybridTotal:2892a8fc9798c7cc76263c261eb88aa54f93d8fa6f014e2e0766ff6d14d9a0e6\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\"],\"rule\":\"urn:bio:clir:mendel#CountDihybridTotal\",\"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\"},{\"id\":\"urn:mcp:entity:Признак-1\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Признак-2\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#cross_uses_traits\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-2\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"strength\":\"defeasible\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#independently_assorts\"},\"evidence\":[],\"id\":\"urn:proof:apply:IndependentCombination:56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\",\"urn:proof:assert:urn:mcp:case#fact-2\"],\"rule\":\"urn:bio:clir:mendel#IndependentCombination\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},\"v1\":{\"id\":\"urn:mcp:entity:Признак-1\",\"kind\":\"entity_ref\"},\"v2\":{\"id\":\"urn:mcp:entity:Признак-2\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-3\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Признак-1\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Хромосома\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#trait_on_chromosome\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-3\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-4\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Признак-2\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Хромосома\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#trait_on_chromosome\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-4\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"strength\":\"defeater\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#independently_assorts\"},\"evidence\":[],\"id\":\"urn:proof:apply:MorganLinkageDefeatsIndependence:7d74ae4016263a7fe5f972d56544225b8bfbdfe4bcf4be3e3d27ed4ef32d865d\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-2\",\"urn:proof:assert:urn:mcp:case#fact-3\",\"urn:proof:assert:urn:mcp:case#fact-4\"],\"rule\":\"urn:bio:clir:mendel#MorganLinkageDefeatsIndependence\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},\"v1\":{\"id\":\"urn:mcp:entity:Признак-1\",\"kind\":\"entity_ref\"},\"v2\":{\"id\":\"urn:mcp:entity:Признак-2\",\"kind\":\"entity_ref\"},\"v3\":{\"id\":\"urn:mcp:entity:Хромосома\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"defeated\":\"urn:proof:apply:IndependentCombination:56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40\",\"reason\":\"defeater\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#independently_assorts\"},\"evidence\":[],\"id\":\"urn:proof:defeat:26409956c8f2562ec79529772466e2086a5684b916e94bbf5a16e1040e3496ff\",\"kind\":\"defeat\",\"outcome\":\"DEFEATED\",\"premises\":[\"urn:proof:apply:IndependentCombination:56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40\",\"urn:proof:apply:MorganLinkageDefeatsIndependence:7d74ae4016263a7fe5f972d56544225b8bfbdfe4bcf4be3e3d27ed4ef32d865d\"],\"priorityPath\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"literal\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#independently_assorts\"},\"truthStatus\":\"NEITHER\"},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[],\"sourceAnchors\":[]}],\"proofHash\":\"sha256:a93daed958cfa28457217de28131a2cca84c6736d8027833ddd9b3935af3a7c7\",\"roots\":[\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:9c3bfd931eea46e3b6ffae3984065b89f4884978f32788b5bc183f217037958a\",\"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:mendel#independently_assorts\",\"truthStatus\":\"NEITHER\"}],\"schemaVersion\":\"law.core.evaluation/0.2\"}",
  "evaluationSha256": "sha256:91d6f76fd85a06883652a1fa5e830e3fd7f596c17edb04b3f5e0d243f4a5ea00",
  "request": {
    "case": {
      "assertions": [
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-1",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#dihybrid_cross"
          },
          "origin": "case_input",
          "package": "urn:bio:clir:mendel"
        },
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-2",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:mcp:entity:Скрещивание",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Признак-1",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Признак-2",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#cross_uses_traits"
          },
          "origin": "case_input",
          "package": "urn:bio:clir:mendel"
        },
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-3",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:mcp:entity:Признак-1",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Хромосома",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#trait_on_chromosome"
          },
          "origin": "case_input",
          "package": "urn:bio:clir:mendel"
        },
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-4",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:mcp:entity:Признак-2",
                "kind": "entity_ref"
              },
              {
                "id": "urn:mcp:entity:Хромосома",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:bio:clir:mendel#trait_on_chromosome"
          },
          "origin": "case_input",
          "package": "urn:bio:clir:mendel"
        }
      ],
      "context": {
        "decisionTime": "2026-08-31T12:00:00+05:00",
        "knowledgeTime": "2026-08-31T12:00:00+05:00",
        "legalTime": "2026-08-31",
        "timezone": "Asia/Qyzylorda"
      },
      "options": {
        "selectedInterpretations": []
      }
    },
    "ir": {
      "irSha256": "sha256:82e39472d0a0a8e6c7d754b826d6a7d2c16982b337f57f2e8ff36309f8d9fe7a",
      "kind": "world_ref",
      "nodeCount": 48,
      "packages": [
        {
          "artifactHash": "sha256:a26de66a905f54b103955f9b6cf1179c92990e4069cc058d4d9f2a034aea0012",
          "namespace": "urn:bio:clir:mendel",
          "package": "bio-mendel",
          "semanticHash": "sha256:a3fa708325d9bc089306c4459667f679908577742cf38dc9dca53f0a6a369c00"
        }
      ],
      "programHash": "sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3"
    },
    "query": {
      "kind": "truth",
      "literal": {
        "args": [
          {
            "id": "urn:mcp:entity:Скрещивание",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:bio:clir:mendel#independently_assorts"
      },
      "queryId": "urn:query:mcp"
    },
    "schemaVersion": "law.core.evaluation-request/0.2",
    "semanticVersion": "0.2"
  },
  "requestCanonicalSha256": "sha256:2377c9397b742404ee783eb10b01881edace8e6999857c2ae70311d79a901546"
}

Метаданные отображения

{
  "blockers": {
    "whyNot": [
      {
        "anchors": [
          "urn:bio:clir:mendel#MENDEL_INDEPENDENCE"
        ],
        "label": "Независимое комбинирование двух признаков",
        "premises": [
          {
            "args": [
              "Скрещивание"
            ],
            "predicate": "dihybrid_cross",
            "predicateId": "urn:bio:clir:mendel#dihybrid_cross",
            "status": "TRUE_ONLY",
            "text": "dihybrid_cross(Скрещивание)"
          },
          {
            "args": [
              "Скрещивание",
              "Признак-1",
              "Признак-2"
            ],
            "predicate": "cross_uses_traits",
            "predicateId": "urn:bio:clir:mendel#cross_uses_traits",
            "status": "TRUE_ONLY",
            "text": "cross_uses_traits(Скрещивание, Признак-1, Признак-2)"
          }
        ],
        "rule": "IndependentCombination",
        "ruleId": "urn:bio:clir:mendel#IndependentCombination"
      },
      {
        "anchors": [],
        "label": "Сцепление генов отменяет независимое комбинирование",
        "premises": [
          {
            "args": [
              "Скрещивание",
              "Признак-1",
              "Признак-2"
            ],
            "predicate": "cross_uses_traits",
            "predicateId": "urn:bio:clir:mendel#cross_uses_traits",
            "status": "TRUE_ONLY",
            "text": "cross_uses_traits(Скрещивание, Признак-1, Признак-2)"
          },
          {
            "args": [
              "Признак-1",
              "Хромосома"
            ],
            "predicate": "trait_on_chromosome",
            "predicateId": "urn:bio:clir:mendel#trait_on_chromosome",
            "status": "TRUE_ONLY",
            "text": "trait_on_chromosome(Признак-1, Хромосома)"
          },
          {
            "args": [
              "Признак-2",
              "Хромосома"
            ],
            "predicate": "trait_on_chromosome",
            "predicateId": "urn:bio:clir:mendel#trait_on_chromosome",
            "status": "TRUE_ONLY",
            "text": "trait_on_chromosome(Признак-2, Хромосома)"
          }
        ],
        "rule": "MorganLinkageDefeatsIndependence",
        "ruleId": "urn:bio:clir:mendel#MorganLinkageDefeatsIndependence"
      }
    ]
  },
  "schemaVersion": "law.answers.presentation/0.1",
  "source": {
    "requestCanonicalSha256": "sha256:2377c9397b742404ee783eb10b01881edace8e6999857c2ae70311d79a901546"
  },
  "steps": [
    {
      "conclusion": {
        "literal": {
          "args": [
            {
              "id": "urn:mcp:entity:Скрещивание",
              "kind": "entity_ref"
            }
          ],
          "kind": "literal",
          "polarity": "positive",
          "predicate": "urn:bio:clir:mendel#independently_assorts"
        },
        "truthStatus": "NEITHER"
      },
      "id": "urn:proof:query:mcp",
      "kind": "query_evaluation",
      "originStatus": "available",
      "premises": [],
      "trust": "engine"
    }
  ],
  "symbols": [
    {
      "id": "urn:bio:clir:mendel#Chromosome",
      "kind": "type_decl",
      "labels": [
        {
          "language": "de",
          "status": "unofficial",
          "text": "Chromosom"
        }
      ],
      "name": "Chromosome",
      "package": "urn:bio:clir:mendel"
    },
    {
      "id": "urn:bio:clir:mendel#CountDihybridTotal",
      "kind": "rule",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "Подсчёт всех исходов дигибридного скрещивания"
        }
      ],
      "package": "urn:bio:clir:mendel",
      "strength": "strict"
    },
    {
      "id": "urn:bio:clir:mendel#Cross",
      "kind": "type_decl",
      "labels": [
        {
          "language": "de",
          "status": "unofficial",
          "text": "Kreuzungsfall"
        }
      ],
      "name": "Cross",
      "package": "urn:bio:clir:mendel"
    },
    {
      "id": "urn:bio:clir:mendel#IndependentCombination",
      "kind": "rule",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "Независимое комбинирование двух признаков"
        }
      ],
      "package": "urn:bio:clir:mendel",
      "strength": "defeasible"
    },
    {
      "id": "urn:bio:clir:mendel#MorganLinkageDefeatsIndependence",
      "kind": "rule",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "Сцепление генов отменяет независимое комбинирование"
        }
      ],
      "package": "urn:bio:clir:mendel",
      "strength": "defeater"
    },
    {
      "id": "urn:bio:clir:mendel#Trait",
      "kind": "type_decl",
      "labels": [
        {
          "language": "de",
          "status": "unofficial",
          "text": "Merkmal"
        }
      ],
      "name": "Trait",
      "package": "urn:bio:clir:mendel"
    },
    {
      "id": "urn:bio:clir:mendel#cross_uses_traits",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "de",
          "status": "unofficial",
          "text": "Kreuzung vereinigt zwei Merkmale"
        }
      ],
      "name": "cross_uses_traits",
      "package": "urn:bio:clir:mendel",
      "parameters": [
        {
          "id": "urn:bio:clir:mendel#cross_uses_traits/arg/c",
          "labels": [],
          "name": "c",
          "type": {
            "name": "urn:bio:clir:mendel#Cross"
          }
        },
        {
          "id": "urn:bio:clir:mendel#cross_uses_traits/arg/first",
          "labels": [],
          "name": "first",
          "type": {
            "name": "urn:bio:clir:mendel#Trait"
          }
        },
        {
          "id": "urn:bio:clir:mendel#cross_uses_traits/arg/second",
          "labels": [],
          "name": "second",
          "type": {
            "name": "urn:bio:clir:mendel#Trait"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:bio:clir:mendel#dihybrid_cross",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "de",
          "status": "unofficial",
          "text": "gezählte dihybride Kreuzung"
        }
      ],
      "name": "dihybrid_cross",
      "package": "urn:bio:clir:mendel",
      "parameters": [
        {
          "id": "urn:bio:clir:mendel#dihybrid_cross/arg/c",
          "labels": [],
          "name": "c",
          "type": {
            "name": "urn:bio:clir:mendel#Cross"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:bio:clir:mendel#dihybrid_total_count",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "de",
          "status": "unofficial",
          "text": "Zahl aller dihybriden Ergebnisse"
        }
      ],
      "name": "dihybrid_total_count",
      "package": "urn:bio:clir:mendel",
      "parameters": [
        {
          "id": "urn:bio:clir:mendel#dihybrid_total_count/arg/c",
          "labels": [],
          "name": "c",
          "type": {
            "name": "urn:bio:clir:mendel#Cross"
          }
        },
        {
          "id": "urn:bio:clir:mendel#dihybrid_total_count/arg/n",
          "labels": [],
          "name": "n",
          "type": {
            "name": "urn:law:std#Integer"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:bio:clir:mendel#independently_assorts",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "de",
          "status": "unofficial",
          "text": "Merkmale kombinieren unabhängig"
        }
      ],
      "name": "independently_assorts",
      "package": "urn:bio:clir:mendel",
      "parameters": [
        {
          "id": "urn:bio:clir:mendel#independently_assorts/arg/c",
          "labels": [],
          "name": "c",
          "type": {
            "name": "urn:bio:clir:mendel#Cross"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:bio:clir:mendel#trait_on_chromosome",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "de",
          "status": "unofficial",
          "text": "Merkmal liegt auf Chromosom"
        }
      ],
      "name": "trait_on_chromosome",
      "package": "urn:bio:clir:mendel",
      "parameters": [
        {
          "id": "urn:bio:clir:mendel#trait_on_chromosome/arg/t",
          "labels": [],
          "name": "t",
          "type": {
            "name": "urn:bio:clir:mendel#Trait"
          }
        },
        {
          "id": "urn:bio:clir:mendel#trait_on_chromosome/arg/chr",
          "labels": [],
          "name": "chr",
          "type": {
            "name": "urn:bio:clir:mendel#Chromosome"
          }
        }
      ],
      "symbolKind": "relation"
    }
  ],
  "tables": []
}

JSON · расчёты, источники и точные данные

{
  "acts": [
    {
      "contributed": true,
      "fragmentCount": 3,
      "fragments": [
        "urn:bio:clir:mendel#MENDEL_INDEPENDENCE"
      ],
      "jurisdiction": "none",
      "namespace": "urn:bio:clir:mendel",
      "package": "bio-mendel",
      "title": "Gregor Mendel, Versuche über Pflanzen-Hybriden (1866): ограниченная формализация наследования — вне юрисдикции государства — доктрина"
    }
  ],
  "caseHash": "sha256:07281eb59f13916209573cd058eaae690098a48bf8e81825054df040e590ca73",
  "codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
  "jurisdiction": "вне юрисдикции государства",
  "legalTime": "2026-08-31",
  "mode": "audit",
  "programHash": "sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3",
  "resultHash": "sha256:9c3bfd931eea46e3b6ffae3984065b89f4884978f32788b5bc183f217037958a",
  "rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
  "timezone": "Asia/Qyzylorda"
}

evaluation SHA-256: sha256:91d6f76fd85a06883652a1fa5e830e3fd7f596c17edb04b3f5e0d243f4a5ea00

Исходные данные · JSON

{
  "args": [
    "Скрещивание"
  ],
  "facts": [
    {
      "args": [
        "Скрещивание"
      ],
      "predicate": "dihybrid_cross"
    },
    {
      "args": [
        "Скрещивание",
        "Признак-1",
        "Признак-2"
      ],
      "predicate": "cross_uses_traits"
    },
    {
      "args": [
        "Признак-1",
        "Хромосома"
      ],
      "predicate": "trait_on_chromosome"
    },
    {
      "args": [
        "Признак-2",
        "Хромосома"
      ],
      "predicate": "trait_on_chromosome"
    }
  ],
  "kind": "truth",
  "legalTime": "2026-08-31",
  "package": "bio-mendel",
  "predicate": "independently_assorts",
  "proof": true
}

Оба признака на одной хромосоме включают дефитер, и вывод о независимом комбинировании становится неустановленным.

Как сослаться

Снимок неизменяем: его закрепляет SHA-256 скачиваемого JSON, поэтому дата обращения не нужна.

Текст ссылки

«Гибрид по одному признаку даёт в решётке Пеннета три доминантных исхода из четырёх, дигибрид — девять из шестнадцати с обоими доминантными признаками. Какие гаметы образует гибрид, каковы точные доли, и что меняет сцепление генов на одной хромосоме?». Arxo Lens, по состоянию на 31.08.2026. https://lens.arxo.io/a/a_Eboa8QM6PaN9SJHBWeWme7JY. SHA-256 снимка: dbcd1e862e16cee12dacaf637f94512075fd9c623b332eb3f38ae327a5b81726.

BibTeX

@misc{arxo-lens-a_Eboa8QM6PaN9,
  title = {Гибрид по одному признаку даёт в решётке Пеннета три доминантных исхода из четырёх, дигибрид — девять из шестнадцати с обоими доминантными признаками. Какие гаметы образует гибрид, каковы точные доли, и что меняет сцепление генов на одной хромосоме?},
  howpublished = {Arxo Lens},
  url = {https://lens.arxo.io/a/a_Eboa8QM6PaN9SJHBWeWme7JY},
  note = {по состоянию на 31.08.2026; SHA-256 dbcd1e862e16cee12dacaf637f94512075fd9c623b332eb3f38ae327a5b81726}
}

Код для вставки

Карточка показывает результат и ведёт к полному разбору; cookies не ставит.

<iframe src="https://lens.arxo.io/embed/a_Eboa8QM6PaN9SJHBWeWme7JY?lang=ru" width="100%" height="390" loading="lazy" title="Законы Менделя: гаметы, доли 3/4 и 9/16 и сцепление по — Arxo Lens" style="border:0"></iframe>

Анонимная статистика посещений, без cookies.