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

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

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

At a glance

Select a result to explore its grounds

Гаметы гибрида Aa по признакуCollectionValues found: 2Execution: Computed Доля доминантных исходов моногибридного скрещиванияCollection3/4Execution: Computed Доля класса «оба признака доминантные» в дигибридном скрещиванииCollection9/16Execution: Computed Независимое комбинирование двух признаковConditionEstablishedExecution: ComputedLogical result: Established Те же признаки на одной хромосоме: сцепление по МоргануConditionNot establishedExecution: ComputedLogical result: Not established

Detailed analysis

Collection

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

Context date 2026-08-31

Calculation result

Values found: 2

Elements
Hybrid bildet Keimzellen mit diesem Merkmal
Аллель-A
Аллель-a

Original data · JSON

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

Input parameters

What we are finding

Hybrid bildet Keimzellen mit diesem Merkmal

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

Input facts

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

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

Additional details

Include proof: Yes

Original data · 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
}

Why this resultApplied rules and conditions

Derivation path6 steps

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

verified by the engine: 3 · case fact: 3 · Full graph: 7 nodes

Steps of the saved proof from the case facts to the answer. Formulas are shown as written in the norm with bound values substituted; the page recomputes nothing.

Basis of this answer

Rules on the saved proof path for this answer.

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

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

Other rules in the evaluation1

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

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

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

Derived result for this query

Kreuzungsfall
c: Скрещивание
Subject shared by the facts below
Hybrid bildet Keimzellen mit diesem Merkmal
t a
Признак Аллель-A
Признак Аллель-a

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

Other derived facts1

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

Relationship graph

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

Relationship graph

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

0 further derived facts are not shown: the engine keeps the ones relevant to the question in its compact answer. The full list is in the calculation JSON below.

Proof graph

Proof graph · 3 layer

Proof nodes: 7 · assertion 3, rule_application 3, query_evaluation 1

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

attributes

assertion: fact-1

conclusion

Arguments

Identifier
Скрещивание
Type
entity_ref
Identifier
Признак
Type
entity_ref
Identifier
Аллель-A
Type
entity_ref
Identifier
Аллель-a
Type
entity_ref

Type

literal

Polarity

positive

Condition

hybrid_for

evidence

—

Identifier

fact-1

Type

assertion

Premises

—

sourceAnchors

—

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

attributes

assertion: fact-2

conclusion

Arguments

Identifier
Признак
Type
entity_ref
Identifier
Аллель-A
Type
entity_ref

Type

literal

Polarity

positive

Condition

dominant_allele

evidence

—

Identifier

fact-2

Type

assertion

Premises

—

sourceAnchors

—

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

attributes

assertion: fact-3

conclusion

Arguments

Identifier
Признак
Type
entity_ref
Identifier
Аллель-a
Type
entity_ref

Type

literal

Polarity

positive

Condition

recessive_allele

evidence

—

Identifier

fact-3

Type

assertion

Premises

—

sourceAnchors

—

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

attributes

—

conclusion

Arguments

Identifier
Скрещивание
Type
entity_ref
Identifier
Признак
Type
entity_ref

Type

literal

Polarity

positive

Condition

dominant_phenotype

evidence

—

Identifier

0c1a5d55679a4bf2068022c60bd7f0c57b6689ce750b87f65341ef0a7079ee94

Type

rule_application

Premises

fact-1
fact-2
fact-3

Rule

DominantPhenotypeOfHybrid

sourceAnchors

—

substitution

Identifier: Скрещивание
Type: entity_ref

Identifier: Признак
Type: entity_ref

Identifier: Аллель-A
Type: entity_ref

Identifier: Аллель-a
Type: entity_ref

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

attributes

—

conclusion

Arguments

Identifier
Скрещивание
Type
entity_ref
Identifier
Признак
Type
entity_ref
Identifier
Аллель-A
Type
entity_ref

Type

literal

Polarity

positive

Condition

gamete_carries

evidence

—

Identifier

2009b700e37279e41e3ba5174b5531068c6a3116487696e6624af83f72c8d189

Type

rule_application

Premises

fact-1
fact-2
fact-3

Rule

HybridSeparatesDominantAllele

sourceAnchors

—

substitution

Identifier: Скрещивание
Type: entity_ref

Identifier: Признак
Type: entity_ref

Identifier: Аллель-A
Type: entity_ref

Identifier: Аллель-a
Type: entity_ref

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

attributes

—

conclusion

Arguments

Identifier
Скрещивание
Type
entity_ref
Identifier
Признак
Type
entity_ref
Identifier
Аллель-a
Type
entity_ref

Type

literal

Polarity

positive

Condition

gamete_carries

evidence

—

Identifier

56d32d088c60d1799e5bd3a151da91b0def682b63d2c1c92362146e28eb6662e

Type

rule_application

Premises

fact-1
fact-2
fact-3

Rule

HybridSeparatesRecessiveAllele

sourceAnchors

—

substitution

Identifier: Скрещивание
Type: entity_ref

Identifier: Признак
Type: entity_ref

Identifier: Аллель-A
Type: entity_ref

Identifier: Аллель-a
Type: entity_ref

query_evaluation · urn:proof:query:mcp

attributes

—

conclusion

comprehension

distinct

Yes

element

Type: var
var: v0

generator

formula

Arguments

Identifier
Скрещивание
Type
entity_ref
Identifier
Признак
Type
entity_ref
Type
var
var
v0

Type

literal

Polarity

positive

Condition

gamete_carries

Type

status

Calculation status

established

Type

comprehension

variable

Identifier: v0

count

evidence

—

Identifier

mcp

Type

query_evaluation

Premises

2009b700e37279e41e3ba5174b5531068c6a3116487696e6624af83f72c8d189
56d32d088c60d1799e5bd3a151da91b0def682b63d2c1c92362146e28eb6662e

sourceAnchors

—

Calendar and proof identifiers

Proof reference: mcp

Original reasoning · 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"
  ]
}

SourcesExcerpts: 2

section/die-zweite-generation/3-1

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

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

Original data · 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

Original data · 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"
    }
  ]
}

Packages in the snapshot

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

Technical dataFull response, parameters and checksums

Calculation status: COMPUTED

Full engine response

Найдено записей: 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

Complete machine result · 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": []
}

Execution · 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"
}

Display metadata

{
  "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 · calculations, sources and exact data

{
  "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

Original data · 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
}

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

Collection

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

Context date 2026-08-31

Calculation result

3/4

Elements
genaue Anteil der dominanten Ergebnisse
³⁄₄

Original data · JSON

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

Input parameters

What we are finding

genaue Anteil der dominanten Ergebnisse

Скрещивание

Input facts

Kreuzungsfall
c: Скрещивание
Subject shared by the facts below
gezählte monohybride Kreuzung
Element der gezählten monohybriden Reihe
o: Потомок-1
gezähltes Ergebnis der monohybriden Kreuzung
o: Потомок-1dominant: Yes
Element der gezählten monohybriden Reihe
o: Потомок-2
gezähltes Ergebnis der monohybriden Kreuzung
o: Потомок-2dominant: Yes
Element der gezählten monohybriden Reihe
o: Потомок-3
gezähltes Ergebnis der monohybriden Kreuzung
o: Потомок-3dominant: Yes
Element der gezählten monohybriden Reihe
o: Потомок-4
gezähltes Ergebnis der monohybriden Kreuzung
o: Потомок-4dominant: No

Additional details

Include proof: Yes

Original data · 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
}

Why this resultApplied rules and conditions

Derivation path10 steps

1
gezählte monohybride Kreuzung
c: Скрещивание
case fact
2
Element der gezählten monohybriden Reihe
c: Скрещивание; o: Потомок-1
case fact
3
gezähltes Ergebnis der monohybriden Kreuzung
c: Скрещивание; o: Потомок-1; dominant: Yes
case fact
4
Element der gezählten monohybriden Reihe
c: Скрещивание; o: Потомок-2
case fact
5
gezähltes Ergebnis der monohybriden Kreuzung
c: Скрещивание; o: Потомок-2; dominant: Yes
case fact
6
Element der gezählten monohybriden Reihe
c: Скрещивание; o: Потомок-3
case fact
7
gezähltes Ergebnis der monohybriden Kreuzung
c: Скрещивание; o: Потомок-3; dominant: Yes
case fact
8
Element der gezählten monohybriden Reihe
c: Скрещивание; o: Потомок-4
case fact
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
Identifier
urn:bio:clir:mendel#FractionMonohybridDominant
rule
10
Query evaluation
Records found: 1
query

verified by the engine: 2 · case fact: 8 · Full graph: 12 nodes

Steps of the saved proof from the case facts to the answer. Formulas are shown as written in the norm with bound values substituted; the page recomputes nothing.

Basis of this answer

Rules on the saved proof path for this answer.

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

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

Other rules in the evaluation2

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

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

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

Derived result for this query

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

Other derived facts2

Kreuzungsfall
c: Скрещивание
Subject shared by the facts below
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
Скрещивание	³⁄₄

0 further derived facts are not shown: the engine keeps the ones relevant to the question in its compact answer. The full list is in the calculation JSON below.

Proof graph

Proof graph · 3 layer

Proof nodes: 12 · assertion 8, rule_application 3, query_evaluation 1

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

attributes

assertion: fact-1

conclusion

Arguments

Identifier
Скрещивание
Type
entity_ref

Type

literal

Polarity

positive

Condition

monohybrid_cross

evidence

—

Identifier

fact-1

Type

assertion

Premises

—

sourceAnchors

—

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

attributes

assertion: fact-2

conclusion

Arguments

Identifier
Скрещивание
Type
entity_ref
Identifier
Потомок-1
Type
entity_ref

Type

literal

Polarity

positive

Condition

monohybrid_member

evidence

—

Identifier

fact-2

Type

assertion

Premises

—

sourceAnchors

—

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

attributes

assertion: fact-3

conclusion

Arguments

Identifier
Скрещивание
Type
entity_ref
Identifier
Потомок-1
Type
entity_ref
Type
value
type
name
Boolean
value
Yes

Type

literal

Polarity

positive

Condition

monohybrid_outcome

evidence

—

Identifier

fact-3

Type

assertion

Premises

—

sourceAnchors

—

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

attributes

assertion: fact-4

conclusion

Arguments

Identifier
Скрещивание
Type
entity_ref
Identifier
Потомок-2
Type
entity_ref

Type

literal

Polarity

positive

Condition

monohybrid_member

evidence

—

Identifier

fact-4

Type

assertion

Premises

—

sourceAnchors

—

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

attributes

assertion: fact-5

conclusion

Arguments

Identifier
Скрещивание
Type
entity_ref
Identifier
Потомок-2
Type
entity_ref
Type
value
type
name
Boolean
value
Yes

Type

literal

Polarity

positive

Condition

monohybrid_outcome

evidence

—

Identifier

fact-5

Type

assertion

Premises

—

sourceAnchors

—

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

attributes

assertion: fact-6

conclusion

Arguments

Identifier
Скрещивание
Type
entity_ref
Identifier
Потомок-3
Type
entity_ref

Type

literal

Polarity

positive

Condition

monohybrid_member

evidence

—

Identifier

fact-6

Type

assertion

Premises

—

sourceAnchors

—

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

attributes

assertion: fact-7

conclusion

Arguments

Identifier
Скрещивание
Type
entity_ref
Identifier
Потомок-3
Type
entity_ref
Type
value
type
name
Boolean
value
Yes

Type

literal

Polarity

positive

Condition

monohybrid_outcome

evidence

—

Identifier

fact-7

Type

assertion

Premises

—

sourceAnchors

—

rule_application · urn:proof:apply:CountMonohybridDominant:dfe03e0d8fc12844bfff36a442b9647c549483c90a9f7f56e731f000fb257597

attributes

—

conclusion

Arguments

Identifier
Скрещивание
Type
entity_ref
Type
value
type
name
Integer
value
3

Type

literal

Polarity

positive

Condition

monohybrid_dominant_count

evidence

—

Identifier

dfe03e0d8fc12844bfff36a442b9647c549483c90a9f7f56e731f000fb257597

Type

rule_application

Premises

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

Rule

CountMonohybridDominant

sourceAnchors

—

substitution

Identifier: Скрещивание
Type: entity_ref

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

attributes

assertion: fact-8

conclusion

Arguments

Identifier
Скрещивание
Type
entity_ref
Identifier
Потомок-4
Type
entity_ref

Type

literal

Polarity

positive

Condition

monohybrid_member

evidence

—

Identifier

fact-8

Type

assertion

Premises

—

sourceAnchors

—

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

attributes

—

conclusion

Arguments

Identifier
Скрещивание
Type
entity_ref
Type
value
type
name
Integer
value
4

Type

literal

Polarity

positive

Condition

monohybrid_total_count

evidence

—

Identifier

24df988dd8aace2b039131a5fb05df94f0ac2df98642d0d1823e183173c1b58a

Type

rule_application

Premises

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

Rule

CountMonohybridTotal

sourceAnchors

—

substitution

Identifier: Скрещивание
Type: entity_ref

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

attributes

—

conclusion

Arguments

Identifier
Скрещивание
Type
entity_ref
Type
value
type
name
Rational
value
3/4

Type

literal

Polarity

positive

Condition

monohybrid_dominant_fraction

evidence

—

Identifier

62a4e764efcc32a2595731bee1574c0799ccf7761d73789b7bf931b67e9f9413

Type

rule_application

Premises

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

Rule

FractionMonohybridDominant

sourceAnchors

—

substitution

Identifier: Скрещивание
Type: entity_ref

query_evaluation · urn:proof:query:mcp

attributes

—

conclusion

comprehension

distinct

Yes

element

Type: var
var: v0

generator

formula

Arguments

Identifier
Скрещивание
Type
entity_ref
Type
var
var
v0

Type

literal

Polarity

positive

Condition

monohybrid_dominant_fraction

Type

status

Calculation status

established

Type

comprehension

variable

Identifier: v0

count

evidence

—

Identifier

mcp

Type

query_evaluation

Premises

62a4e764efcc32a2595731bee1574c0799ccf7761d73789b7bf931b67e9f9413

sourceAnchors

—

Calendar and proof identifiers

Proof reference: mcp

Original reasoning · 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"
  ]
}

SourcesExcerpts: 1

section/die-zweite-generation/3-1

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

Original data · 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."
    }
  ]
}

Packages in the snapshot

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

Technical dataFull response, parameters and checksums

Calculation status: COMPUTED

Full engine response

Найдено записей: 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

Complete machine result · 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": []
}

Execution · 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"
}

Display metadata

{
  "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 · calculations, sources and exact data

{
  "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

Original data · 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
}

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

Collection

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

Context date 2026-08-31

Calculation result

9/16

Elements
genauer Anteil der Klasse
⁹⁄₁₆

Original data · JSON

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

Input parameters

What we are finding

genauer Anteil der Klasse

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

Input facts

Kreuzungsfall
c: Скрещивание
Subject shared by the facts below
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

Additional details

Include proof: Yes

Original data · 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
}

Why this resultApplied rules and conditions

Derivation path29 steps

1
gezählte dihybride Kreuzung
c: Скрещивание
case fact
2
gezähltes Ergebnis der dihybriden Kreuzung
c: Скрещивание; o: Клетка-4; k: beide dominante Merkmale
case fact
3
Element der gezählten dihybriden Reihe
c: Скрещивание; o: Клетка-5
case fact
4
gezähltes Ergebnis der dihybriden Kreuzung
c: Скрещивание; o: Клетка-5; k: beide dominante Merkmale
case fact
5
Element der gezählten dihybriden Reihe
c: Скрещивание; o: Клетка-6
case fact
6
gezähltes Ergebnis der dihybriden Kreuzung
c: Скрещивание; o: Клетка-6; k: beide dominante Merkmale
case fact
7
Element der gezählten dihybriden Reihe
c: Скрещивание; o: Клетка-7
case fact
8
gezähltes Ergebnis der dihybriden Kreuzung
c: Скрещивание; o: Клетка-7; k: beide dominante Merkmale
case fact
9
Element der gezählten dihybriden Reihe
c: Скрещивание; o: Клетка-8
case fact
10
gezähltes Ergebnis der dihybriden Kreuzung
c: Скрещивание; o: Клетка-8; k: beide dominante Merkmale
case fact
11
Element der gezählten dihybriden Reihe
c: Скрещивание; o: Клетка-9
case fact
12
Klasse kommt im gezählten Fall vor
c: Скрещивание; k: beide dominante Merkmale
case fact
13
gezähltes Ergebnis der dihybriden Kreuzung
c: Скрещивание; o: Клетка-9; k: beide dominante Merkmale
case fact
14
Element der gezählten dihybriden Reihe
c: Скрещивание; o: Клетка-10
case fact
15
Element der gezählten dihybriden Reihe
c: Скрещивание; o: Клетка-11
case fact
16
Element der gezählten dihybriden Reihe
c: Скрещивание; o: Клетка-12
case fact
17
Element der gezählten dihybriden Reihe
c: Скрещивание; o: Клетка-13
case fact
18
Element der gezählten dihybriden Reihe
c: Скрещивание; o: Клетка-1
case fact
19
Element der gezählten dihybriden Reihe
c: Скрещивание; o: Клетка-14
case fact
20
Element der gezählten dihybriden Reihe
c: Скрещивание; o: Клетка-15
case fact
21
Element der gezählten dihybriden Reihe
c: Скрещивание; o: Клетка-16
case fact
22
gezähltes Ergebnis der dihybriden Kreuzung
c: Скрещивание; o: Клетка-1; k: beide dominante Merkmale
case fact
23
Element der gezählten dihybriden Reihe
c: Скрещивание; o: Клетка-2
case fact
24
gezähltes Ergebnis der dihybriden Kreuzung
c: Скрещивание; o: Клетка-2; k: beide dominante Merkmale
case fact
25
Element der gezählten dihybriden Reihe
c: Скрещивание; o: Клетка-3
case fact
26
gezähltes Ergebnis der dihybriden Kreuzung
c: Скрещивание; o: Клетка-3; k: beide dominante Merkmale
case fact
27
Element der gezählten dihybriden Reihe
c: Скрещивание; o: Клетка-4
case fact
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"}
sec. kombinationsreihe
Identifier
urn:bio:clir:mendel#FractionDihybridClass
rule
29
Query evaluation
Records found: 1
query

verified by the engine: 2 · case fact: 27 · Full graph: 47 nodes

Steps of the saved proof from the case facts to the answer. Formulas are shown as written in the norm with bound values substituted; the page recomputes nothing.

Basis of this answer

Rules on the saved proof path for this answer.

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

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

Other rules in the evaluation2

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

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

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

Derived result for this query

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

Other derived facts8

Kreuzungsfall
c: Скрещивание
Subject shared by the facts below
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

Relationship graph

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

Relationship graph

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

0 further derived facts are not shown: the engine keeps the ones relevant to the question in its compact answer. The full list is in the calculation JSON below.

Proof graph

Proof graph · 3 layer

Proof nodes: 47 · assertion 37, rule_application 9, query_evaluation 1

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

Calendar and proof identifiers

Proof reference: mcp

Original reasoning · JSON

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

SourcesExcerpts: 1

section/kombinationsreihe

in hybrider Verbindung unabhängig ist von den anderweitigen Unterschieden

Original data · 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"
    }
  ]
}

Packages in the snapshot

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

Technical dataFull response, parameters and checksums

Calculation status: COMPUTED

Full engine response

Найдено записей: 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

Complete machine result · JSON

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

Execution · JSON

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

Display metadata

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

JSON · calculations, sources and exact data

{
  "acts": [
    {
      "contributed": true,
      "fragmentCount": 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

Original data · 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.

Condition

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

Context date 2026-08-31

Calculation result

Established

Input parameters

What we are finding

Merkmale kombinieren unabhängig

Скрещивание

Input facts

Kreuzungsfall
c: Скрещивание
Subject shared by the facts below
gezählte dihybride Kreuzung
Kreuzung vereinigt zwei Merkmale
first: Признак-1second: Признак-2

Additional details

Include proof: Yes

Original data · 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
}

Why this resultApplied rules and conditions

Derivation path4 steps

1
gezählte dihybride Kreuzung
c: Скрещивание
case fact
2
Kreuzung vereinigt zwei Merkmale
c: Скрещивание; first: Признак-1; second: Признак-2
case fact
3
Независимое комбинирование двух признаков
Merkmale kombinieren unabhängig: c: Скрещивание
sec. kombinationsreihe
Identifier
urn:bio:clir:mendel#IndependentCombination
rule
4
Query evaluation
query

verified by the engine: 2 · case fact: 2 · Full graph: 6 nodes

Steps of the saved proof from the case facts to the answer. Formulas are shown as written in the norm with bound values substituted; the page recomputes nothing.

Basis of this answer

Rules on the saved proof path for this answer.

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

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

Other rules in the evaluation1

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

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

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

Derived result for this query

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

Other derived facts1

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

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

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

0 further derived facts are not shown: the engine keeps the ones relevant to the question in its compact answer. The full list is in the calculation JSON below.

Proof graph

Proof graph · 3 layer

Proof nodes: 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

Arguments

Identifier
Скрещивание
Type
entity_ref

Type

literal

Polarity

positive

Condition

dihybrid_cross

evidence

—

Identifier

fact-1

Type

assertion

Premises

—

sourceAnchors

—

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

attributes

—

conclusion

Arguments

Identifier
Скрещивание
Type
entity_ref
Type
value
type
name
Integer
value
0

Type

literal

Polarity

positive

Condition

dihybrid_total_count

evidence

—

Identifier

2892a8fc9798c7cc76263c261eb88aa54f93d8fa6f014e2e0766ff6d14d9a0e6

Type

rule_application

Premises

fact-1

Rule

CountDihybridTotal

sourceAnchors

—

substitution

Identifier: Скрещивание
Type: entity_ref

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

attributes

assertion: fact-2

conclusion

Arguments

Identifier
Скрещивание
Type
entity_ref
Identifier
Признак-1
Type
entity_ref
Identifier
Признак-2
Type
entity_ref

Type

literal

Polarity

positive

Condition

cross_uses_traits

evidence

—

Identifier

fact-2

Type

assertion

Premises

—

sourceAnchors

—

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

attributes

strength: defeasible

conclusion

Arguments

Identifier
Скрещивание
Type
entity_ref

Type

literal

Polarity

positive

Condition

independently_assorts

evidence

—

Identifier

56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40

Type

rule_application

Premises

fact-1
fact-2

Rule

IndependentCombination

sourceAnchors

—

substitution

Identifier: Скрещивание
Type: entity_ref

Identifier: Признак-1
Type: entity_ref

Identifier: Признак-2
Type: 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

Arguments

Identifier
Скрещивание
Type
entity_ref

Type

literal

Polarity

positive

Condition

independently_assorts

evidence

—

Identifier

d67a31a7575167955ca1619b8934568fd7467309fbc651ad4e88f642049db119

Type

candidate_closure

Premises

56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40

sourceAnchors

—

query_evaluation · urn:proof:query:mcp

attributes

—

conclusion

literal

Arguments

Identifier
Скрещивание
Type
entity_ref

Type

literal

Polarity

positive

Condition

independently_assorts

truthStatus

Established

evidence

—

Identifier

mcp

Type

query_evaluation

Premises

56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40

sourceAnchors

—

Calendar and proof identifiers

Proof reference: mcp

Original reasoning · 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"
  ]
}

SourcesExcerpts: 1

section/kombinationsreihe

in hybrider Verbindung unabhängig ist von den anderweitigen Unterschieden

Original data · 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"
    }
  ]
}

Packages in the snapshot

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

Technical dataFull response, parameters and checksums

Calculation status: COMPUTED

Full engine response

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

Complete machine result · 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": []
}

Execution · 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"
}

Display metadata

{
  "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 · calculations, sources and exact data

{
  "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

Original data · 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
}

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

Condition

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

Context date 2026-08-31

Calculation result

Not established

Rule premises

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

Input parameters

What we are finding

Merkmale kombinieren unabhängig

Скрещивание

Input facts

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	Хромосома

Additional details

Include proof: Yes

Original data · 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
}

Why this resultApplied rules and conditions

Derivation path1 steps

1
Query evaluation
query

verified by the engine: 1 · case fact: 0 · Full graph: 9 nodes

Steps of the saved proof from the case facts to the answer. Formulas are shown as written in the norm with bound values substituted; the page recomputes nothing.

Applied rules3

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

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

Derived result for this query

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

Other derived facts1

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

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

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

0 further derived facts are not shown: the engine keeps the ones relevant to the question in its compact answer. The full list is in the calculation JSON below.

Why the conclusion was not reached2 rules

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

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

Proof graph

Who defeated whom

Defeated Независимое комбинирование двух признаков Merkmale kombinieren unabhängig(Скрещивание)
Defeated by Сцепление генов отменяет независимое комбинирование Merkmale kombinieren unabhängig(Скрещивание) (ground: defeater §107.3)
conclusion Merkmale kombinieren unabhängig(Скрещивание)

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

Proof graph · 1 layer

Proof nodes: 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

Arguments

Identifier
Скрещивание
Type
entity_ref

Type

literal

Polarity

positive

Condition

dihybrid_cross

evidence

—

Identifier

fact-1

Type

assertion

Premises

—

sourceAnchors

—

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

attributes

—

conclusion

Arguments

Identifier
Скрещивание
Type
entity_ref
Type
value
type
name
Integer
value
0

Type

literal

Polarity

positive

Condition

dihybrid_total_count

evidence

—

Identifier

2892a8fc9798c7cc76263c261eb88aa54f93d8fa6f014e2e0766ff6d14d9a0e6

Type

rule_application

Premises

fact-1

Rule

CountDihybridTotal

sourceAnchors

—

substitution

Identifier: Скрещивание
Type: entity_ref

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

attributes

assertion: fact-2

conclusion

Arguments

Identifier
Скрещивание
Type
entity_ref
Identifier
Признак-1
Type
entity_ref
Identifier
Признак-2
Type
entity_ref

Type

literal

Polarity

positive

Condition

cross_uses_traits

evidence

—

Identifier

fact-2

Type

assertion

Premises

—

sourceAnchors

—

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

attributes

strength: defeasible

conclusion

Arguments

Identifier
Скрещивание
Type
entity_ref

Type

literal

Polarity

positive

Condition

independently_assorts

evidence

—

Identifier

56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40

Type

rule_application

Premises

fact-1
fact-2

Rule

IndependentCombination

sourceAnchors

—

substitution

Identifier: Скрещивание
Type: entity_ref

Identifier: Признак-1
Type: entity_ref

Identifier: Признак-2
Type: entity_ref

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

attributes

assertion: fact-3

conclusion

Arguments

Identifier
Признак-1
Type
entity_ref
Identifier
Хромосома
Type
entity_ref

Type

literal

Polarity

positive

Condition

trait_on_chromosome

evidence

—

Identifier

fact-3

Type

assertion

Premises

—

sourceAnchors

—

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

attributes

assertion: fact-4

conclusion

Arguments

Identifier
Признак-2
Type
entity_ref
Identifier
Хромосома
Type
entity_ref

Type

literal

Polarity

positive

Condition

trait_on_chromosome

evidence

—

Identifier

fact-4

Type

assertion

Premises

—

sourceAnchors

—

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

attributes

strength: defeater

conclusion

Arguments

Identifier
Скрещивание
Type
entity_ref

Type

literal

Polarity

positive

Condition

independently_assorts

evidence

—

Identifier

7d74ae4016263a7fe5f972d56544225b8bfbdfe4bcf4be3e3d27ed4ef32d865d

Type

rule_application

Premises

fact-2
fact-3
fact-4

Rule

MorganLinkageDefeatsIndependence

sourceAnchors

—

substitution

Identifier: Скрещивание
Type: entity_ref

Identifier: Признак-1
Type: entity_ref

Identifier: Признак-2
Type: entity_ref

Identifier: Хромосома
Type: entity_ref

defeat · urn:proof:defeat:26409956c8f2562ec79529772466e2086a5684b916e94bbf5a16e1040e3496ff

attributes

defeated: 56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40
Reason: defeater

conclusion

Arguments

Identifier
Скрещивание
Type
entity_ref

Type

literal

Polarity

positive

Condition

independently_assorts

evidence

—

Identifier

26409956c8f2562ec79529772466e2086a5684b916e94bbf5a16e1040e3496ff

Type

defeat

outcome

DEFEATED

Premises

56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40
7d74ae4016263a7fe5f972d56544225b8bfbdfe4bcf4be3e3d27ed4ef32d865d

priorityPath

—

sourceAnchors

—

query_evaluation · urn:proof:query:mcp

attributes

—

conclusion

literal

Arguments

Identifier
Скрещивание
Type
entity_ref

Type

literal

Polarity

positive

Condition

independently_assorts

truthStatus

Not established

evidence

—

Identifier

mcp

Type

query_evaluation

Premises

—

sourceAnchors

—

Calendar and proof identifiers

Proof reference: mcp

Original reasoning · 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"
    }
  ]
}

SourcesExcerpts: 1

section/kombinationsreihe

in hybrider Verbindung unabhängig ist von den anderweitigen Unterschieden

Original data · 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"
    }
  ]
}

Packages in the snapshot

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

Technical dataFull response, parameters and checksums

Calculation status: COMPUTED

Full engine response

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

Complete machine result · 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"
    }
  ]
}

Execution · 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"
}

Display metadata

{
  "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 · calculations, sources and exact data

{
  "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

Original data · 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
}

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

How to cite

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

Citation

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

BibTeX

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

Embed code

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

<iframe src="https://lens.arxo.io/embed/a_Eboa8QM6PaN9SJHBWeWme7JY?lang=en" width="100%" height="390" loading="lazy" title="Mendel&#x27;s laws: gametes, the 3/4 and 9/16 shares and — Arxo Lens" style="border:0"></iframe>

Anonymous visit statistics, no cookies.