ConceptPortal-public/rsconcept/backend/fixtures/InitialData.json

[
{
    "model": "auth.user",
    "pk": 1,
    "fields": {
        "password": "pbkdf2_sha256$720000$gFZkaBswurtL0naQKiUnW7$3b6SUN3fY2Xl1H7erAszVpQl2LpoKusan+yJP7Bp3JA=",
        "last_login": "2024-06-03T20:57:02.522Z",
        "is_superuser": true,
        "username": "admin",
        "first_name": "Администратор",
        "last_name": "",
        "email": "admin@mail.ru",
        "is_staff": true,
        "is_active": true,
        "date_joined": "2024-05-27T18:31:48.913Z",
        "groups": [],
        "user_permissions": []
    }
},
{
    "model": "auth.user",
    "pk": 3,
    "fields": {
        "password": "pbkdf2_sha256$720000$UrGOcoUoKyC5A0nCXwNszp$UR3FdvkB9EkQ8PT+mJ7CtCyrwbmmz3tYZcZKTaxyzoM=",
        "last_login": "2024-06-03T20:57:25.539Z",
        "is_superuser": false,
        "username": "User1",
        "first_name": "User1",
        "last_name": "",
        "email": "User1@test.ru",
        "is_staff": false,
        "is_active": true,
        "date_joined": "2024-06-03T20:52:55.670Z",
        "groups": [],
        "user_permissions": []
    }
},
{
    "model": "auth.user",
    "pk": 4,
    "fields": {
        "password": "pbkdf2_sha256$720000$2gYTKuX3Wiap5y3AokUpub$PExwc31nwYTLFOZDwHpg5loC8WOi//EZvSJ8V9TCmIs=",
        "last_login": null,
        "is_superuser": false,
        "username": "User2",
        "first_name": "User2",
        "last_name": "",
        "email": "User2@test.ru",
        "is_staff": false,
        "is_active": true,
        "date_joined": "2024-06-03T20:53:20.356Z",
        "groups": [],
        "user_permissions": []
    }
},
{
    "model": "auth.user",
    "pk": 5,
    "fields": {
        "password": "pbkdf2_sha256$720000$uoCzGQ7zxoJOqZ3d8y99nl$d0frHrK9a4ydo0iNp4kGLAsq5eZ4QpQl1lU2bXR3elI=",
        "last_login": "2024-06-03T20:53:51.231Z",
        "is_superuser": false,
        "username": "User3",
        "first_name": "User3",
        "last_name": "",
        "email": "User3@test.ru",
        "is_staff": false,
        "is_active": true,
        "date_joined": "2024-06-03T20:53:45.900Z",
        "groups": [],
        "user_permissions": []
    }
},
{
    "model": "rsform.constituenta",
    "pk": 589,
    "fields": {
        "schema": 34,
        "order": 1,
        "alias": "T1",
        "cst_type": "theorem",
        "convention": "",
        "term_raw": "Управляющие конструкции",
        "term_resolved": "Управляющие конструкции",
        "term_forms": [],
        "definition_formal": "",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 590,
    "fields": {
        "schema": 34,
        "order": 2,
        "alias": "F1",
        "cst_type": "function",
        "convention": "",
        "term_raw": "схема ограниченного выделения",
        "term_resolved": "схема ограниченного выделения",
        "term_forms": [],
        "definition_formal": "[α∈ℬ(R1)] D{ ξ∈α | ξ=ξ }",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 591,
    "fields": {
        "schema": 34,
        "order": 3,
        "alias": "F2",
        "cst_type": "function",
        "convention": "",
        "term_raw": "условный переход",
        "term_resolved": "условный переход",
        "term_forms": [],
        "definition_formal": "[α∈ℬ(R1)] debool(I{ α | 1=1} ∪ I{ α\\α | 1≠1})",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 592,
    "fields": {
        "schema": 34,
        "order": 4,
        "alias": "F3",
        "cst_type": "function",
        "convention": "",
        "term_raw": "рекурсивное определение",
        "term_resolved": "рекурсивное определение",
        "term_forms": [],
        "definition_formal": "[α∈ℬ(R1)] R{ ξ:=α | ξ≠∅ | ξ\\ξ }",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 593,
    "fields": {
        "schema": 34,
        "order": 5,
        "alias": "T2",
        "cst_type": "theorem",
        "convention": "",
        "term_raw": "Бинарные отношения двух множеств",
        "term_resolved": "Бинарные отношения двух множеств",
        "term_forms": [],
        "definition_formal": "",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 594,
    "fields": {
        "schema": 34,
        "order": 6,
        "alias": "F4",
        "cst_type": "function",
        "convention": "",
        "term_raw": "обратное отношение",
        "term_resolved": "обратное отношение",
        "term_forms": [],
        "definition_formal": "[σ∈ℬ(R1×R2)] Pr2,1(σ)",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 595,
    "fields": {
        "schema": 34,
        "order": 7,
        "alias": "P1",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "свойство всюдуопределенности",
        "term_resolved": "свойство всюдуопределенности",
        "term_forms": [],
        "definition_formal": "[α∈ℬ(R1), σ∈ℬ(R1×R2)] Pr1(σ) = α",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 596,
    "fields": {
        "schema": 34,
        "order": 8,
        "alias": "P2",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "свойство всюдузначности",
        "term_resolved": "свойство всюдузначности",
        "term_forms": [],
        "definition_formal": "[α∈ℬ(R2), σ∈ℬ(R1×R2)] Pr2(σ) = α",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 597,
    "fields": {
        "schema": 34,
        "order": 9,
        "alias": "P3",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "свойство прямой однозначности",
        "term_resolved": "свойство прямой однозначности",
        "term_forms": [],
        "definition_formal": "[σ∈ℬ(R1×R2)] card(Pr1(σ)) = card(σ)",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 598,
    "fields": {
        "schema": 34,
        "order": 10,
        "alias": "P4",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "свойство обратной однозначности",
        "term_resolved": "свойство обратной однозначности",
        "term_forms": [],
        "definition_formal": "[σ∈ℬ(R1×R2)] card(Pr2(σ)) = card(σ)",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 599,
    "fields": {
        "schema": 34,
        "order": 11,
        "alias": "P5",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "функция",
        "term_resolved": "функция",
        "term_forms": [],
        "definition_formal": "[α∈ℬ(R1), σ∈ℬ(R1×R2)] card(Pr1(σ)) = card(σ)  & Pr1(σ) = α",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 600,
    "fields": {
        "schema": 34,
        "order": 12,
        "alias": "F5",
        "cst_type": "function",
        "convention": "",
        "term_raw": "образ элемента",
        "term_resolved": "образ элемента",
        "term_forms": [],
        "definition_formal": "[α∈R1, σ∈ℬ(R1×R2)] debool(Pr2(Fi1[{α}](σ)))",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 601,
    "fields": {
        "schema": 34,
        "order": 13,
        "alias": "F6",
        "cst_type": "function",
        "convention": "",
        "term_raw": "сечение по элементу",
        "term_resolved": "сечение по элементу",
        "term_forms": [],
        "definition_formal": "[α∈R1, σ∈ℬ(R1×R2)] Pr2(Fi1[{α}](σ))",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 602,
    "fields": {
        "schema": 34,
        "order": 14,
        "alias": "F7",
        "cst_type": "function",
        "convention": "",
        "term_raw": "прообраз значения",
        "term_resolved": "прообраз значения",
        "term_forms": [],
        "definition_formal": "[α∈R2, σ∈ℬ(R1×R2)] debool(Pr1(Fi2[{α}](σ)))",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 603,
    "fields": {
        "schema": 34,
        "order": 15,
        "alias": "F8",
        "cst_type": "function",
        "convention": "",
        "term_raw": "сечение по значению",
        "term_resolved": "сечение по значению",
        "term_forms": [],
        "definition_formal": "[α∈R2, σ∈ℬ(R1×R2)] Pr1(Fi2[{α}](σ))",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 604,
    "fields": {
        "schema": 34,
        "order": 16,
        "alias": "F9",
        "cst_type": "function",
        "convention": "",
        "term_raw": "образ множества",
        "term_resolved": "образ множества",
        "term_forms": [],
        "definition_formal": "[α∈ℬ(R1), σ∈ℬ(R1×R2)] Pr2(Fi1[α](σ))",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 605,
    "fields": {
        "schema": 34,
        "order": 17,
        "alias": "F10",
        "cst_type": "function",
        "convention": "",
        "term_raw": "прообраз множества",
        "term_resolved": "прообраз множества",
        "term_forms": [],
        "definition_formal": "[α∈ℬ(R2), σ∈ℬ(R1×R2)] Pr1(Fi2[α](σ))",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 606,
    "fields": {
        "schema": 34,
        "order": 18,
        "alias": "F11",
        "cst_type": "function",
        "convention": "",
        "term_raw": "композиция отношений",
        "term_resolved": "композиция отношений",
        "term_forms": [],
        "definition_formal": "[σ1∈ℬ(R1×R2), σ2∈ℬ(R2×R3)] \nI{(ξ1, ξ3) | (ξ1,ξ2):∈σ1; ξ3:∈Pr2(Fi1[{ξ2}](σ2))}",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 607,
    "fields": {
        "schema": 34,
        "order": 19,
        "alias": "T3",
        "cst_type": "theorem",
        "convention": "",
        "term_raw": "Бинарные отношения на множестве",
        "term_resolved": "Бинарные отношения на множестве",
        "term_forms": [],
        "definition_formal": "T2",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 608,
    "fields": {
        "schema": 34,
        "order": 20,
        "alias": "F12",
        "cst_type": "function",
        "convention": "",
        "term_raw": "участники отношения",
        "term_resolved": "участники отношения",
        "term_forms": [],
        "definition_formal": "[σ∈ℬ(R1×R1)] Pr1(σ)∪Pr2(σ)",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 609,
    "fields": {
        "schema": 34,
        "order": 21,
        "alias": "P6",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "свойство полноты (линейности)",
        "term_resolved": "свойство полноты (линейности)",
        "term_forms": [],
        "definition_formal": "[α∈ℬ(R1), σ∈ℬ(R1×R1)] σ∪Pr2,1(σ)∪Pr1,1(σ)∪Pr2,2(σ) = α×α",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 610,
    "fields": {
        "schema": 34,
        "order": 22,
        "alias": "P7",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "свойство симметричности",
        "term_resolved": "свойство симметричности",
        "term_forms": [],
        "definition_formal": "[σ∈ℬ(R1×R1)] Pr2,1(σ) = σ",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 611,
    "fields": {
        "schema": 34,
        "order": 23,
        "alias": "P8",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "свойство антисимметричности",
        "term_resolved": "свойство антисимметричности",
        "term_forms": [],
        "definition_formal": "[σ∈ℬ(R1×R1)] (Pr2,1(σ)∩σ)\\Pr1,1(σ) = ∅",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 612,
    "fields": {
        "schema": 34,
        "order": 24,
        "alias": "P9",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "свойство рефлексивности",
        "term_resolved": "свойство рефлексивности",
        "term_forms": [],
        "definition_formal": "[σ∈ℬ(R1×R1)] Pr1,1(σ) ⊆ σ",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 613,
    "fields": {
        "schema": 34,
        "order": 25,
        "alias": "P10",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "свойство антирефлексивности",
        "term_resolved": "свойство антирефлексивности",
        "term_forms": [],
        "definition_formal": "[σ∈ℬ(R1×R1)] Pr1,1(σ)∩σ = ∅",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 614,
    "fields": {
        "schema": 34,
        "order": 26,
        "alias": "P11",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "свойство транзитивности",
        "term_resolved": "свойство транзитивности",
        "term_forms": [],
        "definition_formal": "[σ∈ℬ(R1×R1)] ∀(α1,α2),(β1,β2)∈σ (α2=β1 ⇒ (α1,β2)∈σ)",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 615,
    "fields": {
        "schema": 34,
        "order": 27,
        "alias": "P12",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "свойство фундированности",
        "term_resolved": "свойство фундированности",
        "term_forms": [],
        "definition_formal": "[α∈ℬ(R1), σ∈ℬ(R1×R1)] ∀γ∈ℬ(α) (γ≠∅ ⇒ card(F13[γ,σ])>0)",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 616,
    "fields": {
        "schema": 34,
        "order": 28,
        "alias": "P13",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "существование infinum для отношения на данном !подмножестве!",
        "term_resolved": "существование infinum для отношения на данном !подмножестве!",
        "term_forms": [],
        "definition_formal": "[α∈ℬ(R1), σ∈ℬ(R1×R1)] ∀ξ1,ξ2∈α ∃ε∈α ((ε,ξ1)∈σ & (ε,ξ2)∈σ & ∀ξ3∈α\\{ε} ((ξ3,ξ1)∈σ & (ξ3,ξ2)∈σ ⇒ (ξ3,ε)∈σ))",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 617,
    "fields": {
        "schema": 34,
        "order": 29,
        "alias": "P14",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "существование supremum для отношения на данном !подмножестве!",
        "term_resolved": "существование supremum для отношения на данном !подмножестве!",
        "term_forms": [],
        "definition_formal": "[α∈ℬ(R1), σ∈ℬ(R1×R1)] ∀ξ1,ξ2∈α ∃π∈α ((ξ1,π)∈σ & (ξ2,π)∈σ & ∀ξ3∈α\\{π} ((ξ1,ξ3)∈σ & (ξ2,ξ3)∈σ ⇒ (π,ξ3)∈σ))",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 618,
    "fields": {
        "schema": 34,
        "order": 30,
        "alias": "P15",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "частичный порядок",
        "term_resolved": "частичный порядок",
        "term_forms": [],
        "definition_formal": "[σ∈ℬ(R1×R1)]\nPr2,1(σ)∩σ\\Pr1,1(σ) = ∅ & \n(Pr1,1(σ)∩σ = ∅ ∨ Pr1,1(σ) ⊆ σ) & \n∀(α1,α2),(β1,β2)∈σ (α2=β1 ⇒ (α1,β2)∈σ)",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 619,
    "fields": {
        "schema": 34,
        "order": 31,
        "alias": "P16",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "линейный порядок",
        "term_resolved": "линейный порядок",
        "term_forms": [],
        "definition_formal": "[α∈ℬ(R1), σ∈ℬ(R1×R1)]\nPr2,1(σ)∩σ\\Pr1,1(σ) = ∅ & \n(Pr1,1(σ)∩σ = ∅ ∨ Pr1,1(σ) ⊆ σ) & \n∀(α1,α2),(β1,β2)∈σ (α2=β1 ⇒ (α1,β2)∈σ) & \nσ∪Pr2,1(σ)∪Pr1,1(σ)∪Pr2,2(σ) = α×α",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 620,
    "fields": {
        "schema": 34,
        "order": 32,
        "alias": "F13",
        "cst_type": "function",
        "convention": "альтернативное определение:\n[α∈ℬ(R1), σ∈ℬ(R1×R1)] D{ξ∈α | ∀ω∈α\\{ξ} (ω, ξ)∉σ}",
        "term_raw": "минимальные элементы !порядка! на данном !подмножестве!",
        "term_resolved": "минимальные элементы !порядка! на данном !подмножестве!",
        "term_forms": [],
        "definition_formal": "[α∈ℬ(R1), σ∈ℬ(R1×R1)] α \\ Pr2(Fi1,2[α, α](σ))",
        "definition_raw": "элементы, для которых отсутствуют большие их элементы",
        "definition_resolved": "элементы, для которых отсутствуют большие их элементы"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 621,
    "fields": {
        "schema": 34,
        "order": 33,
        "alias": "F14",
        "cst_type": "function",
        "convention": "альтернативное определение:\n[α∈ℬ(R1), σ∈ℬ(R1×R1)] debool(D{ξ∈α | ∀ω∈α\\{ξ} (ξ, ω)∈σ})",
        "term_raw": "наименьший элемент !порядка! на данном !подмножестве!",
        "term_resolved": "наименьший элемент !порядка! на данном !подмножестве!",
        "term_forms": [],
        "definition_formal": "[α∈ℬ(R1), σ∈ℬ(R1×R1)] debool(I{ β | δ1:=Fi1,2[α, α](σ); δ2:=δ1\\Pr1,1(δ1); β:=Pr1(δ2)\\Pr2(δ2) })",
        "definition_raw": "элементы, меньшие или равные всем остальным",
        "definition_resolved": "элементы, меньшие или равные всем остальным"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 622,
    "fields": {
        "schema": 34,
        "order": 34,
        "alias": "P17",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "эквивалентность",
        "term_resolved": "эквивалентность",
        "term_forms": [],
        "definition_formal": "[σ∈ℬ(R1×R1)] Pr1,1(σ) ⊆ σ & Pr2,1(σ) = σ & \n∀(α1,α2),(β1,β2)∈σ (α2=β1 ⇒ (α1,β2)∈σ)",
        "definition_raw": "транзитивное рефлексивное симметричное бинарное отношение",
        "definition_resolved": "транзитивное рефлексивное симметричное бинарное отношение"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 623,
    "fields": {
        "schema": 34,
        "order": 35,
        "alias": "F15",
        "cst_type": "function",
        "convention": "",
        "term_raw": "класс эквивалентности !элемента!",
        "term_resolved": "класс эквивалентности !элемента!",
        "term_forms": [],
        "definition_formal": "[α∈R1, σ∈ℬ(R1×R1)] Pr2(Fi1[{α}](σ))",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 624,
    "fields": {
        "schema": 34,
        "order": 36,
        "alias": "P18",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "толерантность",
        "term_resolved": "толерантность",
        "term_forms": [],
        "definition_formal": "[σ∈ℬ(R1×R1)] Pr1,1(σ) ⊆ σ & Pr2,1(σ) = σ",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 625,
    "fields": {
        "schema": 34,
        "order": 37,
        "alias": "T4",
        "cst_type": "theorem",
        "convention": "",
        "term_raw": "Цепочки",
        "term_resolved": "Цепочки",
        "term_forms": [],
        "definition_formal": "T2 & T3",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 626,
    "fields": {
        "schema": 34,
        "order": 38,
        "alias": "P19",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "условие связности цепочки",
        "term_resolved": "условие связности цепочки",
        "term_forms": [],
        "definition_formal": "[σ∈ℬ(R1×R1)]\ncard(Pr1(σ)) = card(σ) & card(Pr2(σ)) = card(σ) &\ncard(Pr1(σ) \\ Pr2(σ)) = 1 & card(Pr2(σ) \\ Pr1(σ)) = 1",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 627,
    "fields": {
        "schema": 34,
        "order": 39,
        "alias": "F16",
        "cst_type": "function",
        "convention": "",
        "term_raw": "начало цепочки",
        "term_resolved": "начало цепочки",
        "term_forms": [],
        "definition_formal": "[σ∈ℬ(R1×R1)] debool(Pr1(σ) \\ Pr2(σ))",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 628,
    "fields": {
        "schema": 34,
        "order": 40,
        "alias": "F17",
        "cst_type": "function",
        "convention": "",
        "term_raw": "конец цепочки",
        "term_resolved": "конец цепочки",
        "term_forms": [],
        "definition_formal": "[σ∈ℬ(R1×R1)] debool(Pr2(σ) \\ Pr1(σ))",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 629,
    "fields": {
        "schema": 34,
        "order": 41,
        "alias": "F18",
        "cst_type": "function",
        "convention": "",
        "term_raw": "следующий за данным !элемент! цепочки",
        "term_resolved": "следующий за данным !элемент! цепочки",
        "term_forms": [],
        "definition_formal": "[α∈R1, σ∈ℬ(R1×R1)] debool(Pr2(Fi1[{α}](σ)))",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 630,
    "fields": {
        "schema": 34,
        "order": 42,
        "alias": "F19",
        "cst_type": "function",
        "convention": "",
        "term_raw": "предшествующий данному !элемент! цепочки",
        "term_resolved": "предшествующий данному !элемент! цепочки",
        "term_forms": [],
        "definition_formal": "[α∈R1, σ∈ℬ(R1×R1)] debool(Pr1(Fi2[{α}](σ)))",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 631,
    "fields": {
        "schema": 34,
        "order": 43,
        "alias": "T5",
        "cst_type": "theorem",
        "convention": "",
        "term_raw": "Графы",
        "term_resolved": "Графы",
        "term_forms": [],
        "definition_formal": "T2 & T3",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 632,
    "fields": {
        "schema": 34,
        "order": 44,
        "alias": "P20",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "неориентированный граф",
        "term_resolved": "неориентированный граф",
        "term_forms": [],
        "definition_formal": "[γ∈ℬ(R1)×ℬ(R1×R1)] pr2(γ) = Pr2,1(pr2(γ))",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 633,
    "fields": {
        "schema": 34,
        "order": 45,
        "alias": "F20",
        "cst_type": "function",
        "convention": "",
        "term_raw": "истоки",
        "term_resolved": "истоки",
        "term_forms": [],
        "definition_formal": "[σ∈ℬ(R1×R1)] Pr1(σ) \\ Pr2(σ)",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 634,
    "fields": {
        "schema": 34,
        "order": 46,
        "alias": "F21",
        "cst_type": "function",
        "convention": "",
        "term_raw": "стоки",
        "term_resolved": "стоки",
        "term_forms": [],
        "definition_formal": "[σ∈ℬ(R1×R1)] Pr2(σ) \\ Pr1(σ)",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 635,
    "fields": {
        "schema": 34,
        "order": 47,
        "alias": "F22",
        "cst_type": "function",
        "convention": "",
        "term_raw": "изолированные вершины",
        "term_resolved": "изолированные вершины",
        "term_forms": [],
        "definition_formal": "[α∈ℬ(R1), σ∈ℬ(R1×R1)] α \\ (Pr2(σ) ∪ Pr1(σ))",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 636,
    "fields": {
        "schema": 34,
        "order": 48,
        "alias": "F23",
        "cst_type": "function",
        "convention": "",
        "term_raw": "потребители",
        "term_resolved": "потребители",
        "term_forms": [],
        "definition_formal": "[α∈R1, σ∈ℬ(R1×R1)] Pr2(Fi1[{α}](σ))",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 637,
    "fields": {
        "schema": 34,
        "order": 49,
        "alias": "F24",
        "cst_type": "function",
        "convention": "",
        "term_raw": "поставщики",
        "term_resolved": "поставщики",
        "term_forms": [],
        "definition_formal": "[α∈R1, σ∈ℬ(R1×R1)] Pr1(Fi2[{α}](σ))",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 638,
    "fields": {
        "schema": 34,
        "order": 50,
        "alias": "F25",
        "cst_type": "function",
        "convention": "",
        "term_raw": "зависимые вершины",
        "term_resolved": "зависимые вершины",
        "term_forms": [],
        "definition_formal": "[α∈R1, σ∈ℬ(R1×R1)] R{ ξ:=Pr2(Fi1[{α}](σ)) | ξ ∪ Pr2(Fi1[ξ](σ)) }",
        "definition_raw": "вершины, достижимые из данной",
        "definition_resolved": "вершины, достижимые из данной"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 639,
    "fields": {
        "schema": 34,
        "order": 51,
        "alias": "F26",
        "cst_type": "function",
        "convention": "",
        "term_raw": "зависимые вершины совокупности",
        "term_resolved": "зависимые вершины совокупности",
        "term_forms": [],
        "definition_formal": "[α∈ℬ(R1), σ∈ℬ(R1×R1)] R{ ξ:=Pr2(Fi1[α](σ)) | ξ ∪ Pr2(Fi1[ξ](σ)) }",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 640,
    "fields": {
        "schema": 34,
        "order": 52,
        "alias": "F27",
        "cst_type": "function",
        "convention": "",
        "term_raw": "влияющие вершины",
        "term_resolved": "влияющие вершины",
        "term_forms": [],
        "definition_formal": "[α∈R1, σ∈ℬ(R1×R1)] R{ ξ:=Pr1(Fi2[{α}](σ)) | ξ ∪ Pr1(Fi2[ξ](σ)) }",
        "definition_raw": "вершины, из которых данная вершина достижима",
        "definition_resolved": "вершины, из которых данная вершина достижима"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 641,
    "fields": {
        "schema": 34,
        "order": 53,
        "alias": "F28",
        "cst_type": "function",
        "convention": "",
        "term_raw": "влияющие вершины совокупности",
        "term_resolved": "влияющие вершины совокупности",
        "term_forms": [],
        "definition_formal": "[α∈ℬ(R1), σ∈ℬ(R1×R1)] R{ ξ:=Pr1(Fi2[α](σ)) | ξ ∪ Pr1(Fi2[ξ](σ)) }",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 642,
    "fields": {
        "schema": 34,
        "order": 54,
        "alias": "P21",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "цикл",
        "term_resolved": "цикл",
        "term_forms": [],
        "definition_formal": "[σ∈ℬ(R1×R1)] Pr1(σ) = Pr2(σ)",
        "definition_raw": "совокупность связей, в которой из каждой вершины в каждую другую есть путь",
        "definition_resolved": "совокупность связей, в которой из каждой вершины в каждую другую есть путь"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 643,
    "fields": {
        "schema": 34,
        "order": 55,
        "alias": "P22",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "свойство ацикличности",
        "term_resolved": "свойство ацикличности",
        "term_forms": [],
        "definition_formal": "[σ∈ℬ(R1×R1)] ∀γ∈Pr1(σ) γ∉R{ ξ:=Pr2(Fi1[{γ}](σ)) | ξ ∪ Pr2(Fi1[ξ](σ)) }",
        "definition_raw": "в ацикличном графе никакая вершина не является собственной зависимой вершиной",
        "definition_resolved": "в ацикличном графе никакая вершина не является собственной зависимой вершиной"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 644,
    "fields": {
        "schema": 34,
        "order": 56,
        "alias": "P23",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "свойство ацикличности (декларативная формулировка)",
        "term_resolved": "свойство ацикличности (декларативная формулировка)",
        "term_forms": [],
        "definition_formal": "[σ∈ℬ(R1×R1)] ∀γ∈ℬ(σ) Pr1(γ) ≠ Pr2(γ)",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 645,
    "fields": {
        "schema": 34,
        "order": 57,
        "alias": "F29",
        "cst_type": "function",
        "convention": "",
        "term_raw": "транзитивное замыкание",
        "term_resolved": "транзитивное замыкание",
        "term_forms": [],
        "definition_formal": "[σ∈ℬ(R1×R1)] I{(ξ1, ξ2) | ξ1:∈Pr1(σ); ξ2:∈F25[ξ1, σ]}",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 646,
    "fields": {
        "schema": 34,
        "order": 58,
        "alias": "F30",
        "cst_type": "function",
        "convention": "",
        "term_raw": "транзитивная редукция",
        "term_resolved": "транзитивная редукция",
        "term_forms": [],
        "definition_formal": "[σ∈ℬ(R1×R1)] σ \\ I{(ξ1, ξ2) | ξ1:∈Pr1(σ); γ:=F23[ξ1, σ]; ξ2:∈γ∩F26[γ, σ]}",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 647,
    "fields": {
        "schema": 34,
        "order": 59,
        "alias": "P24",
        "cst_type": "predicate",
        "convention": "1",
        "term_raw": "дерево",
        "term_resolved": "дерево",
        "term_forms": [],
        "definition_formal": "[σ∈ℬ(R1×R1)] card(Pr1(σ)\\Pr2(σ)) = 1 & card(Pr2(σ)) = card(σ)",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 648,
    "fields": {
        "schema": 34,
        "order": 60,
        "alias": "T6",
        "cst_type": "theorem",
        "convention": "",
        "term_raw": "Целые числа",
        "term_resolved": "Целые числа",
        "term_forms": [],
        "definition_formal": "",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 649,
    "fields": {
        "schema": 34,
        "order": 61,
        "alias": "F31",
        "cst_type": "function",
        "convention": "",
        "term_raw": "минимум набора чисел",
        "term_resolved": "минимум набора чисел",
        "term_forms": [],
        "definition_formal": "[σ∈ℬ(Z)] debool(D{ξ∈σ | ∀α∈σ α ≤ ξ})",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 650,
    "fields": {
        "schema": 34,
        "order": 62,
        "alias": "F32",
        "cst_type": "function",
        "convention": "",
        "term_raw": "максимум набора чисел",
        "term_resolved": "максимум набора чисел",
        "term_forms": [],
        "definition_formal": "[σ∈ℬ(Z)] debool(D{ξ∈σ | ∀α∈σ α ≥ ξ})",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 651,
    "fields": {
        "schema": 34,
        "order": 63,
        "alias": "F33",
        "cst_type": "function",
        "convention": "",
        "term_raw": "натуральные числа, меньшие или равные данному",
        "term_resolved": "натуральные числа, меньшие или равные данному",
        "term_forms": [],
        "definition_formal": "[α∈Z] R{(ξ,σ):=(0, {0}) | ξ<α | (ξ+1, σ ∪ {ξ+1})}",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 652,
    "fields": {
        "schema": 34,
        "order": 64,
        "alias": "P25",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "набор чисел, удовлетворяющий данному периоду",
        "term_resolved": "набор чисел, удовлетворяющий данному периоду",
        "term_forms": [],
        "definition_formal": "[σ∈ℬ(Z), τ∈Z] ∀α∈σ (α+τ ≤ F32[σ] ⇒ α+τ∈σ)",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 653,
    "fields": {
        "schema": 34,
        "order": 65,
        "alias": "F34",
        "cst_type": "function",
        "convention": "",
        "term_raw": "периоды данного набора чисел",
        "term_resolved": "периоды данного набора чисел",
        "term_forms": [],
        "definition_formal": "[σ∈ℬ(Z)] pr1(R{\n(γ, τ) := (∅, F31[σ]) | \nτ ≠ F32[σ] | \n(γ ∪ I{τ | P25[σ, τ]}, τ + 1)})",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 654,
    "fields": {
        "schema": 34,
        "order": 66,
        "alias": "T7",
        "cst_type": "theorem",
        "convention": "",
        "term_raw": "Последовательности",
        "term_resolved": "Последовательности",
        "term_forms": [],
        "definition_formal": "",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 655,
    "fields": {
        "schema": 34,
        "order": 67,
        "alias": "P26",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "корректная последовательность (позиции нумеруются с нуля)",
        "term_resolved": "корректная последовательность (позиции нумеруются с нуля)",
        "term_forms": [],
        "definition_formal": "[σ∈ℬ(R1×Z)] card(σ)=card(Pr2(σ)) & ∀λ∈Pr2(σ) λ < card(σ)",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 656,
    "fields": {
        "schema": 34,
        "order": 68,
        "alias": "P27",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "корректная последовательность (позиции нумеруются с единицы)",
        "term_resolved": "корректная последовательность (позиции нумеруются с единицы)",
        "term_forms": [],
        "definition_formal": "[σ∈ℬ(R1×Z)] card(σ)=card(Pr2(σ)) & ∀λ∈Pr2(σ) (λ ≤ card(σ) & λ > 0)",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 657,
    "fields": {
        "schema": 34,
        "order": 69,
        "alias": "F35",
        "cst_type": "function",
        "convention": "",
        "term_raw": "начало последовательности",
        "term_resolved": "начало последовательности",
        "term_forms": [],
        "definition_formal": "[σ∈ℬ(R1×Z)] debool(Pr1(Fi2[{0}](σ)))",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 658,
    "fields": {
        "schema": 34,
        "order": 70,
        "alias": "F36",
        "cst_type": "function",
        "convention": "",
        "term_raw": "конец последовательности",
        "term_resolved": "конец последовательности",
        "term_forms": [],
        "definition_formal": "[σ∈ℬ(R1×Z)] debool(Pr1(Fi2[{card(σ) - 1}](σ)))",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 659,
    "fields": {
        "schema": 34,
        "order": 71,
        "alias": "F37",
        "cst_type": "function",
        "convention": "",
        "term_raw": "следующий за данным !элемент! последовательности",
        "term_resolved": "следующий за данным !элемент! последовательности",
        "term_forms": [],
        "definition_formal": "[α∈R1×Z, σ∈ℬ(R1×Z)] debool(Fi2[{pr2(α) + 1}](σ))",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 660,
    "fields": {
        "schema": 34,
        "order": 72,
        "alias": "F38",
        "cst_type": "function",
        "convention": "",
        "term_raw": "предыдущий данному !элемент! последовательности",
        "term_resolved": "предыдущий данному !элемент! последовательности",
        "term_forms": [],
        "definition_formal": "[α∈R1×Z, σ∈ℬ(R1×Z)] debool(Fi2[{pr2(α) - 1}](σ))",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 661,
    "fields": {
        "schema": 34,
        "order": 73,
        "alias": "F39",
        "cst_type": "function",
        "convention": "",
        "term_raw": "обращенная последовательность",
        "term_resolved": "обращенная последовательность",
        "term_forms": [],
        "definition_formal": "[σ∈ℬ(R1×Z)] I{(α, λ) | (α,μ):∈σ; λ := card(σ) - μ - 1}",
        "definition_raw": "не определен для последнего элемента",
        "definition_resolved": "не определен для последнего элемента"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 662,
    "fields": {
        "schema": 34,
        "order": 74,
        "alias": "P28",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "подпоследовательность",
        "term_resolved": "подпоследовательность",
        "term_forms": [],
        "definition_formal": "[σ∈ℬ(R1×Z)] card(σ) = card(Pr2(σ))",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 663,
    "fields": {
        "schema": 34,
        "order": 75,
        "alias": "F40",
        "cst_type": "function",
        "convention": "",
        "term_raw": "последовательность, построенная из данной подпоследовательности",
        "term_resolved": "последовательность, построенная из данной подпоследовательности",
        "term_forms": [],
        "definition_formal": "[σ∈ℬ(R1×Z)] pr1(R{\n(γ, α):=(∅, σ) | α≠∅ | \ndebool(I{(γ2, α2) | τ := F31[Pr2(α)]; ξ := debool(F8[τ,σ]); \nγ2 := γ ∪ {(ξ, card(γ))}; α2 := α \\ {(ξ,τ)}})})",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 664,
    "fields": {
        "schema": 34,
        "order": 76,
        "alias": "T8",
        "cst_type": "theorem",
        "convention": "Условия для \"левых\" и \"правых\" свойств через конкатенацию",
        "term_raw": "Групповые операции",
        "term_resolved": "Групповые операции",
        "term_forms": [],
        "definition_formal": "T10",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 665,
    "fields": {
        "schema": 34,
        "order": 77,
        "alias": "F41",
        "cst_type": "function",
        "convention": "",
        "term_raw": "результат операции для данных аргументов",
        "term_resolved": "результат операции для данных аргументов",
        "term_forms": [],
        "definition_formal": "[α∈R1, β∈R1, σ∈ℬ((R1×R1)×R1)] debool(Pr2(Fi1[{(α,β)}](σ)))",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 666,
    "fields": {
        "schema": 34,
        "order": 78,
        "alias": "F42",
        "cst_type": "function",
        "convention": "например ноль для операции умножения целых чисел",
        "term_raw": "инвариантные элементы",
        "term_resolved": "инвариантные элементы",
        "term_forms": [],
        "definition_formal": "[σ∈ℬ((R1×R1)×R1)] D{ξ∈Pr1(Pr1(σ)) | ∀α∈Pr1(Pr1(σ)) \n(((α,ξ),ξ)∈σ & ((ξ,α),ξ)∈σ)}",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 667,
    "fields": {
        "schema": 34,
        "order": 79,
        "alias": "F43",
        "cst_type": "function",
        "convention": "",
        "term_raw": "нейтральные элементы",
        "term_resolved": "нейтральные элементы",
        "term_forms": [],
        "definition_formal": "[σ∈ℬ((R1×R1)×R1)] D{ξ∈Pr1(Pr1(σ)) | ∀α∈Pr1(Pr1(σ)) \n(((α,ξ),α)∈σ & ((ξ,α),α)∈σ)}",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 668,
    "fields": {
        "schema": 34,
        "order": 80,
        "alias": "F44",
        "cst_type": "function",
        "convention": "",
        "term_raw": "идемпотентные элементы",
        "term_resolved": "идемпотентные элементы",
        "term_forms": [],
        "definition_formal": "[σ∈ℬ((R1×R1)×R1)] D{ξ∈Pr1(Pr1(σ)) | ((ξ,ξ),ξ)∈σ}",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 669,
    "fields": {
        "schema": 34,
        "order": 81,
        "alias": "F45",
        "cst_type": "function",
        "convention": "",
        "term_raw": "обратные элементы для данного элемента",
        "term_resolved": "обратные элементы для данного элемента",
        "term_forms": [],
        "definition_formal": "[α∈R1, σ∈ℬ((R1×R1)×R1)] D{ω∈Pr1(Pr1(σ)) | F41[α,ω,σ]∈F43[σ] & F41[ω,α,σ]∈F43[σ]}",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 670,
    "fields": {
        "schema": 34,
        "order": 82,
        "alias": "F46",
        "cst_type": "function",
        "convention": "",
        "term_raw": "элемент, являющийся данной степенью данного элемента",
        "term_resolved": "элемент, являющийся данной степенью данного элемента",
        "term_forms": [],
        "definition_formal": "[α∈R1, λ∈Z, σ∈ℬ((R1×R1)×R1)] pr1(R{(ξ, μ) := (α, 1) | μ<λ & λ>0 | (F41[ξ,α,σ], μ + 1)})",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 671,
    "fields": {
        "schema": 34,
        "order": 83,
        "alias": "P29",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "свойство замкнутости и однозначности",
        "term_resolved": "свойство замкнутости и однозначности",
        "term_forms": [],
        "definition_formal": "[α∈ℬ(R1), σ∈ℬ((R1×R1)×R1)] Pr1(σ) = α×α & card(σ) = card(Pr1(σ))",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 672,
    "fields": {
        "schema": 34,
        "order": 84,
        "alias": "P30",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "свойство ассоциативности",
        "term_resolved": "свойство ассоциативности",
        "term_forms": [],
        "definition_formal": "[σ∈ℬ((R1×R1)×R1)] ∀α,β,γ∈Pr1(Pr1(σ)) F41[F41[α,β,σ],γ,σ] = F41[α,F41[β,γ,σ],σ]",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 673,
    "fields": {
        "schema": 34,
        "order": 85,
        "alias": "P31",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "свойство коммутативности",
        "term_resolved": "свойство коммутативности",
        "term_forms": [],
        "definition_formal": "[σ∈ℬ((R1×R1)×R1)] ∀((α1,α2),γ)∈σ ((α2,α1),γ)∈σ",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 674,
    "fields": {
        "schema": 34,
        "order": 86,
        "alias": "P32",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "свойство идемпотентности",
        "term_resolved": "свойство идемпотентности",
        "term_forms": [],
        "definition_formal": "[σ∈ℬ((R1×R1)×R1)] ∀α∈Pr1(Pr1(σ)) ((α,α),α)∈σ",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 675,
    "fields": {
        "schema": 34,
        "order": 87,
        "alias": "P33",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "свойство цикличности",
        "term_resolved": "свойство цикличности",
        "term_forms": [],
        "definition_formal": "[σ∈ℬ((R1×R1)×R1)] ∃α∈Pr1(Pr1(σ)) ∀β∈Pr1(Pr1(σ)) ∃μ∈Z F46[α,μ,σ] = β",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 676,
    "fields": {
        "schema": 34,
        "order": 88,
        "alias": "P34",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "группоид",
        "term_resolved": "группоид",
        "term_forms": [],
        "definition_formal": "[α∈ℬ(R1), σ∈ℬ((R1×R1)×R1)] P29[α, σ]",
        "definition_raw": "всюдуопределенная замкнутая функция пары элементов некоторого множества",
        "definition_resolved": "всюдуопределенная замкнутая функция пары элементов некоторого множества"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 677,
    "fields": {
        "schema": 34,
        "order": 89,
        "alias": "P35",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "полугруппа",
        "term_resolved": "полугруппа",
        "term_forms": [],
        "definition_formal": "[α∈ℬ(R1), σ∈ℬ((R1×R1)×R1)] P29[α, σ] & P30[σ]",
        "definition_raw": "ассоциативный группоид",
        "definition_resolved": "ассоциативный группоид"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 678,
    "fields": {
        "schema": 34,
        "order": 90,
        "alias": "P36",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "моноид",
        "term_resolved": "моноид",
        "term_forms": [],
        "definition_formal": "[α∈ℬ(R1), σ∈ℬ((R1×R1)×R1)] P29[α, σ] & P30[σ] & card(F43[σ]) > 0",
        "definition_raw": "полугруппа, в которой существует нейтральный элемент",
        "definition_resolved": "полугруппа, в которой существует нейтральный элемент"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 679,
    "fields": {
        "schema": 34,
        "order": 91,
        "alias": "P37",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "группа",
        "term_resolved": "группа",
        "term_forms": [],
        "definition_formal": "[α∈ℬ(R1), σ∈ℬ((R1×R1)×R1)] P29[α, σ] & P30[σ] & card(F43[σ]) > 0 & ∀ξ∈α card(F45[ξ, σ]) > 0",
        "definition_raw": "моноид, в котором для каждого элемента существует обратный",
        "definition_resolved": "моноид, в котором для каждого элемента существует обратный"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 680,
    "fields": {
        "schema": 34,
        "order": 92,
        "alias": "P38",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "абелева группа",
        "term_resolved": "абелева группа",
        "term_forms": [],
        "definition_formal": "[α∈ℬ(R1), σ∈ℬ((R1×R1)×R1)] P29[α, σ] & P30[σ] & card(F43[σ]) > 0 & ∀ξ∈α card(F45[ξ, σ]) > 0 & P31[σ]",
        "definition_raw": "коммутативная группа",
        "definition_resolved": "коммутативная группа"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 681,
    "fields": {
        "schema": 34,
        "order": 93,
        "alias": "T9",
        "cst_type": "theorem",
        "convention": "Условия для \"левых\" и \"правых\" свойств через конкатенацию\nОперации по умолчанию считаются группоидами",
        "term_raw": "Кольца",
        "term_resolved": "Кольца",
        "term_forms": [],
        "definition_formal": "T8",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 682,
    "fields": {
        "schema": 34,
        "order": 94,
        "alias": "P39",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "свойство дистрибутивности φψ",
        "term_resolved": "свойство дистрибутивности φψ",
        "term_forms": [],
        "definition_formal": "[φ∈ℬ((R1×R1)×R1), ψ∈ℬ((R1×R1)×R1)] ∀α,β,γ∈Pr1(Pr1(φ)) (\n  F41[α, F41[β, γ, φ], ψ] = F41[F41[α, β, ψ], F41[α, γ, ψ], φ] &\n  F41[F41[α, β, φ], γ, ψ] = F41[F41[α, γ, ψ], F41[β, γ, ψ], φ]\n)",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 683,
    "fields": {
        "schema": 34,
        "order": 95,
        "alias": "P40",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "свойство поглощения φψ",
        "term_resolved": "свойство поглощения φψ",
        "term_forms": [],
        "definition_formal": "[φ∈ℬ((R1×R1)×R1), ψ∈ℬ((R1×R1)×R1)] ∀α,β∈Pr1(Pr1(φ)) (\n  F41[α, F41[α, β, φ], ψ] = α & F41[F41[α, β, φ], α, ψ] = α &\n  F41[α, F41[β, α, φ], ψ] = α & F41[F41[β, α, φ], α, ψ] = α\n)",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 684,
    "fields": {
        "schema": 34,
        "order": 96,
        "alias": "P41",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "полукольцо",
        "term_resolved": "полукольцо",
        "term_forms": [],
        "definition_formal": "[α∈ℬ(R1), φ∈ℬ((R1×R1)×R1), ψ∈ℬ((R1×R1)×R1)]\nP36[α, φ] & P31[φ] & P35[α, ψ] & P39[φ, ψ]",
        "definition_raw": "сложение – моноид + коммутативность; умножение – полугруппа; дистрибутивность сложения относительно умножения",
        "definition_resolved": "сложение – моноид + коммутативность; умножение – полугруппа; дистрибутивность сложения относительно умножения"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 685,
    "fields": {
        "schema": 34,
        "order": 97,
        "alias": "P42",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "кольцо",
        "term_resolved": "кольцо",
        "term_forms": [],
        "definition_formal": "[α∈ℬ(R1), φ∈ℬ((R1×R1)×R1), ψ∈ℬ((R1×R1)×R1)]\nP38[α, φ] & P35[α, ψ] & P39[φ, ψ]",
        "definition_raw": "полукольцо, в котором для умножения существуют обратные элементы",
        "definition_resolved": "полукольцо, в котором для умножения существуют обратные элементы"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 686,
    "fields": {
        "schema": 34,
        "order": 98,
        "alias": "P43",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "тело",
        "term_resolved": "тело",
        "term_forms": [],
        "definition_formal": "[α∈ℬ(R1), φ∈ℬ((R1×R1)×R1), ψ∈ℬ((R1×R1)×R1)]\nP38[α, φ] & P35[α, ψ] & P39[φ, ψ] & \ncard(F43[ψ]) > 0 & ∀ξ∈α\\F43[φ] card(F45[ξ, ψ]) > 0",
        "definition_raw": "кольцо, в котором умножение обладает нейтральным элементов и обратными элементами для всех элементов, кроме нейтральных элементов сложения",
        "definition_resolved": "кольцо, в котором умножение обладает нейтральным элементов и обратными элементами для всех элементов, кроме нейтральных элементов сложения"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 687,
    "fields": {
        "schema": 34,
        "order": 99,
        "alias": "P44",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "поле",
        "term_resolved": "поле",
        "term_forms": [],
        "definition_formal": "[α∈ℬ(R1), φ∈ℬ((R1×R1)×R1), ψ∈ℬ((R1×R1)×R1)] \nP38[α, φ] & P35[α, ψ] & P31[ψ] & P39[φ, ψ] & \ncard(F43[ψ]) > 0 & ∀ξ∈α\\F43[φ] card(F45[ξ, ψ]) > 0",
        "definition_raw": "тело, в котором умножение обладает коммутативностью",
        "definition_resolved": "тело, в котором умножение обладает коммутативностью"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 688,
    "fields": {
        "schema": 34,
        "order": 100,
        "alias": "P45",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "свойство покрытия",
        "term_resolved": "свойство покрытия",
        "term_forms": [],
        "definition_formal": "[α∈ℬ(R1), σ∈ℬℬ(R1)] α⊆red(σ)",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 689,
    "fields": {
        "schema": 34,
        "order": 101,
        "alias": "P46",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "алгебраическая решетка",
        "term_resolved": "алгебраическая решетка",
        "term_forms": [],
        "definition_formal": "[α∈ℬ(R1), φ∈ℬ((R1×R1)×R1), ψ∈ℬ((R1×R1)×R1)] \nP35[α, φ] & P31[φ] & P35[α, ψ] & P31[ψ] & P40[φ, ψ] & P40[ψ, φ]",
        "definition_raw": "обе операции - коммутативные полугруппы с идемпотентностью и взаимным поглощением",
        "definition_resolved": "обе операции - коммутативные полугруппы с идемпотентностью и взаимным поглощением"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 690,
    "fields": {
        "schema": 34,
        "order": 102,
        "alias": "T10",
        "cst_type": "theorem",
        "convention": "",
        "term_raw": "Множества подмножеств",
        "term_resolved": "Множества подмножеств",
        "term_forms": [],
        "definition_formal": "",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 691,
    "fields": {
        "schema": 34,
        "order": 103,
        "alias": "P47",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "свойство попарного непересечения",
        "term_resolved": "свойство попарного непересечения",
        "term_forms": [],
        "definition_formal": "[σ∈ℬℬ(R1)] ∀α,β∈σ (α≠β ⇒ α∩β=∅)",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 692,
    "fields": {
        "schema": 34,
        "order": 104,
        "alias": "P48",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "свойство замкнутости по объединению",
        "term_resolved": "свойство замкнутости по объединению",
        "term_forms": [],
        "definition_formal": "[σ∈ℬℬ(R1)] ∀α,β∈σ α∪β∈σ",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 693,
    "fields": {
        "schema": 34,
        "order": 105,
        "alias": "P49",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "свойство замкнутости по пересечению",
        "term_resolved": "свойство замкнутости по пересечению",
        "term_forms": [],
        "definition_formal": "[σ∈ℬℬ(R1)] ∀α,β∈σ α∩β∈σ",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 694,
    "fields": {
        "schema": 34,
        "order": 106,
        "alias": "P50",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "свойство замкнутости по надмножеству",
        "term_resolved": "свойство замкнутости по надмножеству",
        "term_forms": [],
        "definition_formal": "[α∈ℬ(R1), σ∈ℬℬ(R1)] ∀ξ∈σ (ξ≠∅ ⇒ ∀δ∈α\\ξ ξ∪{δ}∈σ)",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 695,
    "fields": {
        "schema": 34,
        "order": 107,
        "alias": "P51",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "свойство полноты подмножеств",
        "term_resolved": "свойство полноты подмножеств",
        "term_forms": [],
        "definition_formal": "[α∈ℬ(R1), σ∈ℬℬ(R1)] ∀ξ∈ℬ(α) ¬(ξ∈σ ⇔ α\\ξ∈σ)",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 696,
    "fields": {
        "schema": 34,
        "order": 108,
        "alias": "P52",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "разбиение",
        "term_resolved": "разбиение",
        "term_forms": [],
        "definition_formal": "[α∈ℬ(R1), σ∈ℬℬ(R1)] α⊆red(σ) & ∀ξ1,ξ2∈σ (ξ1≠ξ2 ⇒ ξ1∩ξ2=∅)",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 697,
    "fields": {
        "schema": 34,
        "order": 109,
        "alias": "F47",
        "cst_type": "function",
        "convention": "",
        "term_raw": "множество-пересечение",
        "term_resolved": "множество-пересечение",
        "term_forms": [],
        "definition_formal": "[σ∈ℬℬ(R1)] D{ξ∈red(σ) | ∀β∈σ (ξ∈β)}",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 698,
    "fields": {
        "schema": 34,
        "order": 110,
        "alias": "P53",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "вложенные подмножества",
        "term_resolved": "вложенные подмножества",
        "term_forms": [],
        "definition_formal": "[σ∈ℬℬ(R1)] ∀α,β∈σ (card(α)≤card(β) ⇒ α⊆β)",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 699,
    "fields": {
        "schema": 34,
        "order": 111,
        "alias": "P54",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "вложенные подмножества (декларативно)",
        "term_resolved": "вложенные подмножества (декларативно)",
        "term_forms": [],
        "definition_formal": "[σ∈ℬℬ(R1)] ∀γ∈ℬ(σ) (σ≠∅ ⇒ red(σ)∈σ)",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 700,
    "fields": {
        "schema": 35,
        "order": 1,
        "alias": "X1",
        "cst_type": "basic",
        "convention": "",
        "term_raw": "элементы",
        "term_resolved": "элементы",
        "term_forms": [],
        "definition_formal": "",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 701,
    "fields": {
        "schema": 35,
        "order": 2,
        "alias": "S1",
        "cst_type": "structure",
        "convention": "",
        "term_raw": "операция",
        "term_resolved": "операция",
        "term_forms": [],
        "definition_formal": "ℬ((X1×X1)×X1)",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 702,
    "fields": {
        "schema": 35,
        "order": 3,
        "alias": "F1",
        "cst_type": "function",
        "convention": "",
        "term_raw": "результат операции для данных аргументов",
        "term_resolved": "результат операции для данных аргументов",
        "term_forms": [],
        "definition_formal": "[α∈X1, β∈X1] debool(Pr2(Fi1[{(α,β)}](S1)))",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 703,
    "fields": {
        "schema": 35,
        "order": 4,
        "alias": "A1",
        "cst_type": "axiom",
        "convention": "",
        "term_raw": "свойство замкнутости",
        "term_resolved": "свойство замкнутости",
        "term_forms": [],
        "definition_formal": "Pr1(S1) = X1×X1 & card(S1) = card(Pr1(S1))",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 704,
    "fields": {
        "schema": 35,
        "order": 5,
        "alias": "A2",
        "cst_type": "axiom",
        "convention": "",
        "term_raw": "свойство ассоциативности",
        "term_resolved": "свойство ассоциативности",
        "term_forms": [],
        "definition_formal": "∀α,β,γ∈X1 F1[F1[α,β],γ]=F1[α,F1[β,γ]]",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 705,
    "fields": {
        "schema": 35,
        "order": 6,
        "alias": "D1",
        "cst_type": "term",
        "convention": "",
        "term_raw": "нейтральные элементы",
        "term_resolved": "нейтральные элементы",
        "term_forms": [],
        "definition_formal": "D{ξ∈X1 | ∀α∈X1 F1[ξ,α]=α}",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 706,
    "fields": {
        "schema": 35,
        "order": 7,
        "alias": "A3",
        "cst_type": "axiom",
        "convention": "",
        "term_raw": "существование нейтрального элемента",
        "term_resolved": "существование нейтрального элемента",
        "term_forms": [],
        "definition_formal": "card(D1)>0",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 707,
    "fields": {
        "schema": 35,
        "order": 8,
        "alias": "F2",
        "cst_type": "function",
        "convention": "",
        "term_raw": "обратный данному элементу элемент",
        "term_resolved": "обратный данному элементу элемент",
        "term_forms": [],
        "definition_formal": "[αα∈X1] D{αω∈X1 | F1[αα,αω]∈D1 & F1[αω,αα]∈D1}",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 708,
    "fields": {
        "schema": 35,
        "order": 9,
        "alias": "D3",
        "cst_type": "term",
        "convention": "",
        "term_raw": "инвариантные элементы",
        "term_resolved": "инвариантные элементы",
        "term_forms": [],
        "definition_formal": "D{ξ∈X1 | ∀α∈X1 F1[ξ,α]=ξ}",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 709,
    "fields": {
        "schema": 35,
        "order": 10,
        "alias": "A4",
        "cst_type": "axiom",
        "convention": "",
        "term_raw": "существования всех обратных элементов",
        "term_resolved": "существования всех обратных элементов",
        "term_forms": [],
        "definition_formal": "∀α∈X1 card(F2[α])>0",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 710,
    "fields": {
        "schema": 35,
        "order": 11,
        "alias": "D2",
        "cst_type": "term",
        "convention": "",
        "term_raw": "коммутативные совокупности аргументов",
        "term_resolved": "коммутативные совокупности аргументов",
        "term_forms": [],
        "definition_formal": "I{{α, β} | α:∈X1; β:∈X1; α≠β; F1[α,β]=F1[β,α]}",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 711,
    "fields": {
        "schema": 35,
        "order": 12,
        "alias": "A5",
        "cst_type": "axiom",
        "convention": "",
        "term_raw": "условие коммутативности",
        "term_resolved": "условие коммутативности",
        "term_forms": [],
        "definition_formal": "∀α,β∈X1 F1[α,β]=F1[β,α]",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 712,
    "fields": {
        "schema": 35,
        "order": 13,
        "alias": "A6",
        "cst_type": "axiom",
        "convention": "",
        "term_raw": "условие идемпотентности",
        "term_resolved": "условие идемпотентности",
        "term_forms": [],
        "definition_formal": "∀α∈X1 F1[α,α]=α",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 713,
    "fields": {
        "schema": 36,
        "order": 1,
        "alias": "X1",
        "cst_type": "basic",
        "convention": "",
        "term_raw": "элементы",
        "term_resolved": "элементы",
        "term_forms": [],
        "definition_formal": "",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 714,
    "fields": {
        "schema": 36,
        "order": 2,
        "alias": "S1",
        "cst_type": "structure",
        "convention": "",
        "term_raw": "операция И",
        "term_resolved": "операция И",
        "term_forms": [],
        "definition_formal": "ℬ((X1×X1)×X1)",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 715,
    "fields": {
        "schema": 36,
        "order": 3,
        "alias": "S2",
        "cst_type": "structure",
        "convention": "",
        "term_raw": "операция ИЛИ",
        "term_resolved": "операция ИЛИ",
        "term_forms": [],
        "definition_formal": "ℬ((X1×X1)×X1)",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 716,
    "fields": {
        "schema": 36,
        "order": 4,
        "alias": "S3",
        "cst_type": "structure",
        "convention": "",
        "term_raw": "операция НЕ",
        "term_resolved": "операция НЕ",
        "term_forms": [],
        "definition_formal": "ℬ(X1×X1)",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 717,
    "fields": {
        "schema": 36,
        "order": 5,
        "alias": "S4",
        "cst_type": "structure",
        "convention": "",
        "term_raw": "значение ИСТИНА",
        "term_resolved": "значение ИСТИНА",
        "term_forms": [],
        "definition_formal": "X1",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 718,
    "fields": {
        "schema": 36,
        "order": 6,
        "alias": "S5",
        "cst_type": "structure",
        "convention": "",
        "term_raw": "значение ЛОЖЬ",
        "term_resolved": "значение ЛОЖЬ",
        "term_forms": [],
        "definition_formal": "X1",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 719,
    "fields": {
        "schema": 36,
        "order": 7,
        "alias": "F2",
        "cst_type": "function",
        "convention": "",
        "term_raw": "результат операции И для данных аргументов",
        "term_resolved": "результат операции И для данных аргументов",
        "term_forms": [],
        "definition_formal": "[α∈X1, β∈X1] debool(Pr2(Fi1[{(α,β)}](S1)))",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 720,
    "fields": {
        "schema": 36,
        "order": 8,
        "alias": "F3",
        "cst_type": "function",
        "convention": "",
        "term_raw": "результат операции ИЛИ для данных аргументов",
        "term_resolved": "результат операции ИЛИ для данных аргументов",
        "term_forms": [],
        "definition_formal": "[α∈X1, β∈X1] debool(Pr2(Fi1[{(α,β)}](S2)))",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 721,
    "fields": {
        "schema": 36,
        "order": 9,
        "alias": "F4",
        "cst_type": "function",
        "convention": "",
        "term_raw": "результат операции НЕ для данного аргумента",
        "term_resolved": "результат операции НЕ для данного аргумента",
        "term_forms": [],
        "definition_formal": "[α∈X1] debool(Pr2(Fi1[{α}](S3)))",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 722,
    "fields": {
        "schema": 36,
        "order": 10,
        "alias": "P1",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "прямая однозначность",
        "term_resolved": "прямая однозначность",
        "term_forms": [],
        "definition_formal": "[σ∈ℬ(R1×R2)] ∀α∈Pr1(σ) card(Pr2(Fi1[{α}](σ))) = 1",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 723,
    "fields": {
        "schema": 36,
        "order": 11,
        "alias": "P2",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "идемпотентность",
        "term_resolved": "идемпотентность",
        "term_forms": [],
        "definition_formal": "[σ∈ℬ((R1×R1)×R1)] ∀α∈Pr1(Pr1(σ)) ((α,α),α)∈σ",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 724,
    "fields": {
        "schema": 36,
        "order": 12,
        "alias": "P3",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "коммутативность",
        "term_resolved": "коммутативность",
        "term_forms": [],
        "definition_formal": "[σ∈ℬ((R1×R1)×R1)] ∀((α1,α2),γ)∈σ ((α2,α1),γ)∈σ",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 725,
    "fields": {
        "schema": 36,
        "order": 13,
        "alias": "P4",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "ассоциативность",
        "term_resolved": "ассоциативность",
        "term_forms": [],
        "definition_formal": "[σ∈ℬ((R1×R1)×R1)] \n∀α1,α2,α3∈Pr1(Pr1(σ)) F1[(F1[(α1, α2),σ],α3),σ] = F1[(α1,F1[(α2, α3), σ]),σ]",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 726,
    "fields": {
        "schema": 36,
        "order": 14,
        "alias": "P5",
        "cst_type": "predicate",
        "convention": "",
        "term_raw": "поглощение бинарных операций",
        "term_resolved": "поглощение бинарных операций",
        "term_forms": [],
        "definition_formal": "[σ1∈ℬ((R1×R1)×R1), σ2∈ℬ((R1×R1)×R1)] \n∀(α1,α2)∈Pr1(σ1) F1[(F1[(α1, α2),σ1],α1),σ2] = α1",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 727,
    "fields": {
        "schema": 36,
        "order": 15,
        "alias": "A1",
        "cst_type": "axiom",
        "convention": "",
        "term_raw": "@{P1|nomn,sing} @{S1|gent,sing}",
        "term_resolved": "прямая однозначность операции И",
        "term_forms": [],
        "definition_formal": "P1[S1]",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 728,
    "fields": {
        "schema": 36,
        "order": 16,
        "alias": "A2",
        "cst_type": "axiom",
        "convention": "",
        "term_raw": "@{P1|nomn,sing} @{S2|gent,sing}",
        "term_resolved": "прямая однозначность операции ИЛИ",
        "term_forms": [],
        "definition_formal": "P1[S2]",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 729,
    "fields": {
        "schema": 36,
        "order": 17,
        "alias": "A3",
        "cst_type": "axiom",
        "convention": "",
        "term_raw": "@{P2|nomn,sing} @{S1|gent,sing}",
        "term_resolved": "идемпотентность операции И",
        "term_forms": [],
        "definition_formal": "P2[S1]",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 730,
    "fields": {
        "schema": 36,
        "order": 18,
        "alias": "A4",
        "cst_type": "axiom",
        "convention": "",
        "term_raw": "@{P2|nomn,sing} @{S2|gent,sing}",
        "term_resolved": "идемпотентность операции ИЛИ",
        "term_forms": [],
        "definition_formal": "P2[S2]",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 731,
    "fields": {
        "schema": 36,
        "order": 19,
        "alias": "A5",
        "cst_type": "axiom",
        "convention": "",
        "term_raw": "@{P3|nomn,sing} @{S1|gent,sing}",
        "term_resolved": "коммутативность операции И",
        "term_forms": [],
        "definition_formal": "P3[S1]",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 732,
    "fields": {
        "schema": 36,
        "order": 20,
        "alias": "A6",
        "cst_type": "axiom",
        "convention": "",
        "term_raw": "@{P3|nomn,sing} @{S2|gent,sing}",
        "term_resolved": "коммутативность операции ИЛИ",
        "term_forms": [],
        "definition_formal": "P3[S2]",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 733,
    "fields": {
        "schema": 36,
        "order": 21,
        "alias": "A7",
        "cst_type": "axiom",
        "convention": "",
        "term_raw": "@{P4|nomn,sing} @{S1|gent,sing}",
        "term_resolved": "ассоциативность операции И",
        "term_forms": [],
        "definition_formal": "P4[S1]",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 734,
    "fields": {
        "schema": 36,
        "order": 22,
        "alias": "A8",
        "cst_type": "axiom",
        "convention": "",
        "term_raw": "@{P4|nomn,sing} @{S2|gent,sing}",
        "term_resolved": "ассоциативность операции ИЛИ",
        "term_forms": [],
        "definition_formal": "P4[S2]",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 735,
    "fields": {
        "schema": 36,
        "order": 23,
        "alias": "A9",
        "cst_type": "axiom",
        "convention": "",
        "term_raw": "поглощение @{S1|gent,sing} @{S2|ablt,sing}",
        "term_resolved": "поглощение операции И операцией ИЛИ",
        "term_forms": [],
        "definition_formal": "P5[S1,S2]",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 736,
    "fields": {
        "schema": 36,
        "order": 24,
        "alias": "A10",
        "cst_type": "axiom",
        "convention": "",
        "term_raw": "поглощение @{S2|gent,sing} @{S1|ablt,sing}",
        "term_resolved": "поглощение операции ИЛИ операцией И",
        "term_forms": [],
        "definition_formal": "P5[S2,S1]",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 737,
    "fields": {
        "schema": 37,
        "order": 1,
        "alias": "X1",
        "cst_type": "basic",
        "convention": "Различимые в предметной области люди",
        "term_raw": "индивиды",
        "term_resolved": "индивиды",
        "term_forms": [],
        "definition_formal": "",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 738,
    "fields": {
        "schema": 37,
        "order": 2,
        "alias": "S1",
        "cst_type": "structure",
        "convention": "Пол человека устанавливается в соответствии с документами",
        "term_raw": "мужчины",
        "term_resolved": "мужчины",
        "term_forms": [],
        "definition_formal": "ℬ(X1)",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 739,
    "fields": {
        "schema": 37,
        "order": 3,
        "alias": "S2",
        "cst_type": "structure",
        "convention": "Пол человека устанавливается в соответствии с документами",
        "term_raw": "женщины",
        "term_resolved": "женщины",
        "term_forms": [],
        "definition_formal": "ℬ(X1)",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 740,
    "fields": {
        "schema": 37,
        "order": 4,
        "alias": "A1",
        "cst_type": "axiom",
        "convention": "",
        "term_raw": "условие разбиения индивидов на @{S1|gent,plur} и @{S2|gent,plur}",
        "term_resolved": "условие разбиения индивидов на мужчин и женщин",
        "term_forms": [],
        "definition_formal": "S1∪S2=X1 & S1∩S2=∅",
        "definition_raw": "каждый индивид является либо мужчиной либо женщиной",
        "definition_resolved": "каждый индивид является либо мужчиной либо женщиной"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 741,
    "fields": {
        "schema": 37,
        "order": 5,
        "alias": "S3",
        "cst_type": "structure",
        "convention": "устанавливается на основе документов, подтверждающих факт рождения или паспорта родителя",
        "term_raw": "отношение @{D2|nomn,sing} - @{D1|nomn,sing}",
        "term_resolved": "отношение родитель - ребёнок",
        "term_forms": [
            {
                "tags": "sing,ablt",
                "text": "отношением родитель - ребёнок"
            },
            {
                "tags": "sing,accs",
                "text": "отношение родитель - ребёнок"
            },
            {
                "tags": "sing,datv",
                "text": "отношению родитель - ребёнок"
            },
            {
                "tags": "sing,gent",
                "text": "отношения родитель - ребёнок"
            },
            {
                "tags": "sing,nomn",
                "text": "отношение родитель - ребёнок"
            },
            {
                "tags": "sing,loct",
                "text": "отношение родителе - ребёнок"
            },
            {
                "tags": "plur,nomn",
                "text": "отношение родители - ребёнок"
            },
            {
                "tags": "plur,gent",
                "text": "отношение родителей - ребёнок"
            },
            {
                "tags": "plur,datv",
                "text": "отношение родителям - ребёнок"
            },
            {
                "tags": "plur,accs",
                "text": "отношение родителей - ребёнок"
            },
            {
                "tags": "plur,ablt",
                "text": "отношение родителями - ребёнок"
            },
            {
                "tags": "plur,loct",
                "text": "отношение родителях - ребёнок"
            }
        ],
        "definition_formal": "ℬ(X1×X1)",
        "definition_raw": "множество пар: @{D2|nomn,sing} и его @{D1|nomn,sing}",
        "definition_resolved": "множество пар: родитель и его ребёнок"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 742,
    "fields": {
        "schema": 37,
        "order": 6,
        "alias": "D1",
        "cst_type": "term",
        "convention": "",
        "term_raw": "дети",
        "term_resolved": "дети",
        "term_forms": [],
        "definition_formal": "Pr2(S3)",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 743,
    "fields": {
        "schema": 37,
        "order": 7,
        "alias": "D2",
        "cst_type": "term",
        "convention": "",
        "term_raw": "родители",
        "term_resolved": "родители",
        "term_forms": [],
        "definition_formal": "Pr1(S3)",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 744,
    "fields": {
        "schema": 37,
        "order": 8,
        "alias": "F1",
        "cst_type": "function",
        "convention": "",
        "term_raw": "@{D2|nomn,plur} @{X1|sing,gent}",
        "term_resolved": "родители индивида",
        "term_forms": [],
        "definition_formal": "[α∈X1] Pr1(Fi2[{α}](S3))",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 745,
    "fields": {
        "schema": 37,
        "order": 9,
        "alias": "F2",
        "cst_type": "function",
        "convention": "",
        "term_raw": "@{D2|nomn,plur} группы @{X1|gent,plur}",
        "term_resolved": "родители группы индивидов",
        "term_forms": [],
        "definition_formal": "[α∈ℬ(X1)] Pr1(Fi2[α](S3))",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 746,
    "fields": {
        "schema": 37,
        "order": 10,
        "alias": "F3",
        "cst_type": "function",
        "convention": "",
        "term_raw": "@{D1|nomn,plur} @{X1|gent,sing}",
        "term_resolved": "дети индивида",
        "term_forms": [],
        "definition_formal": "[α∈X1] Pr2(Fi1[{α}](S3))",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 747,
    "fields": {
        "schema": 37,
        "order": 11,
        "alias": "F4",
        "cst_type": "function",
        "convention": "",
        "term_raw": "@{D1|nomn,plur} группы @{X1|gent,plur}",
        "term_resolved": "дети группы индивидов",
        "term_forms": [],
        "definition_formal": "[α∈ℬ(X1)] Pr2(Fi1[α](S3))",
        "definition_raw": "совокупность @{D1|plur,gent}, одним из родителей которых является индивиди из данной группы индивидов",
        "definition_resolved": "совокупность детей, одним из родителей которых является индивиди из данной группы индивидов"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 748,
    "fields": {
        "schema": 37,
        "order": 12,
        "alias": "F5",
        "cst_type": "function",
        "convention": "",
        "term_raw": "сиблинги",
        "term_resolved": "сиблинги",
        "term_forms": [
            {
                "tags": "plur,gent",
                "text": "сиблингов"
            }
        ],
        "definition_formal": "[α∈X1]  Pr2(Fi1[F1[α]](S3))\\{α}",
        "definition_raw": "@{D1|plur,nomn} @{D2|plur,gent} данного @{X1|sing,gent} за исключением его самого",
        "definition_resolved": "дети родителей данного индивида за исключением его самого"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 749,
    "fields": {
        "schema": 37,
        "order": 13,
        "alias": "F6",
        "cst_type": "function",
        "convention": "",
        "term_raw": "@{F5|nomn,plur} группы @{X1|gent,plur}",
        "term_resolved": "сиблинги группы индивидов",
        "term_forms": [],
        "definition_formal": "[α∈ℬ(X1)] Pr2(Fi1[F2[α]](S3))\\α",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 750,
    "fields": {
        "schema": 37,
        "order": 14,
        "alias": "F7",
        "cst_type": "function",
        "convention": "",
        "term_raw": "прадети",
        "term_resolved": "прадети",
        "term_forms": [],
        "definition_formal": "[α∈X1] F4[F3[α]]",
        "definition_raw": "@{D1|nomn,plur} @{F3|gent,plur}",
        "definition_resolved": "дети детей индивида"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 751,
    "fields": {
        "schema": 37,
        "order": 15,
        "alias": "F8",
        "cst_type": "function",
        "convention": "",
        "term_raw": "прародители",
        "term_resolved": "прародители",
        "term_forms": [],
        "definition_formal": "[α∈X1] F2[F1[α]]",
        "definition_raw": "@{D2|nomn,plur} @{D2|gent,plur} данного @{X1|sing,gent}",
        "definition_resolved": "родители родителей данного индивида"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 752,
    "fields": {
        "schema": 37,
        "order": 16,
        "alias": "S4",
        "cst_type": "structure",
        "convention": "действующие браки",
        "term_raw": "браки",
        "term_resolved": "браки",
        "term_forms": [],
        "definition_formal": "ℬ(S1×S2)",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 753,
    "fields": {
        "schema": 37,
        "order": 17,
        "alias": "D3",
        "cst_type": "term",
        "convention": "",
        "term_raw": "мужья",
        "term_resolved": "мужья",
        "term_forms": [],
        "definition_formal": "Pr1(S4)",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 754,
    "fields": {
        "schema": 37,
        "order": 18,
        "alias": "D4",
        "cst_type": "term",
        "convention": "",
        "term_raw": "жены",
        "term_resolved": "жены",
        "term_forms": [],
        "definition_formal": "Pr2(S4)",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 755,
    "fields": {
        "schema": 37,
        "order": 19,
        "alias": "D5",
        "cst_type": "term",
        "convention": "",
        "term_raw": "супруги",
        "term_resolved": "супруги",
        "term_forms": [],
        "definition_formal": "Pr1(S4)∪Pr2(S4)",
        "definition_raw": "множество множеств @{X1|gent,plur}, состоящих в @{S4|loct,sing}",
        "definition_resolved": "множество множеств индивидов, состоящих в браке"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 756,
    "fields": {
        "schema": 37,
        "order": 20,
        "alias": "A2",
        "cst_type": "axiom",
        "convention": "",
        "term_raw": "единственность @{S4|gent,plur}",
        "term_resolved": "единственность браков",
        "term_forms": [],
        "definition_formal": "card(S4)=card(D3) & card(S4)=card(D4)",
        "definition_raw": "каждый @{X1|nomn,sing} может состоять только в одном @{S4|loct,sing}",
        "definition_resolved": "каждый индивид может состоять только в одном браке"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 757,
    "fields": {
        "schema": 37,
        "order": 21,
        "alias": "F9",
        "cst_type": "function",
        "convention": "",
        "term_raw": "@{D3|nomn,sing} @{D4|gent,sing}",
        "term_resolved": "муж жены",
        "term_forms": [],
        "definition_formal": "[α∈D4] debool(F11[{α}])",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 758,
    "fields": {
        "schema": 37,
        "order": 22,
        "alias": "F10",
        "cst_type": "function",
        "convention": "",
        "term_raw": "@{D4|nomn,sing} @{D3|gent,sing}",
        "term_resolved": "жена мужа",
        "term_forms": [],
        "definition_formal": "[α∈D3] debool(F12[{α}])",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 759,
    "fields": {
        "schema": 37,
        "order": 23,
        "alias": "F11",
        "cst_type": "function",
        "convention": "",
        "term_raw": "@{D3|nomn,plur} группы @{X1|gent,plur}",
        "term_resolved": "мужья группы индивидов",
        "term_forms": [],
        "definition_formal": "[α∈ℬ(X1)] Pr1(Fi2[α](S4))",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 760,
    "fields": {
        "schema": 37,
        "order": 24,
        "alias": "F12",
        "cst_type": "function",
        "convention": "",
        "term_raw": "@{D4|nomn,plur} группы @{X1|gent,plur}",
        "term_resolved": "жены группы индивидов",
        "term_forms": [],
        "definition_formal": "[α∈ℬ(X1)] Pr2(Fi1[α](S4))",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 761,
    "fields": {
        "schema": 37,
        "order": 25,
        "alias": "F13",
        "cst_type": "function",
        "convention": "",
        "term_raw": "@{D5|nomn,plur} группы @{X1|gent,plur}",
        "term_resolved": "супруги группы индивидов",
        "term_forms": [],
        "definition_formal": "[α∈ℬ(X1)] F11[α]∪F12[α]",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 762,
    "fields": {
        "schema": 37,
        "order": 26,
        "alias": "F14",
        "cst_type": "function",
        "convention": "",
        "term_raw": "потомки",
        "term_resolved": "потомки",
        "term_forms": [],
        "definition_formal": "[α∈X1] R{ξ:=F3[α] | ξ∪F4[ξ]}",
        "definition_raw": "@{D1|nomn,plur} данного @{X1|sing,gent} или @{D1|nomn,plur} его @{F14|gent,plur}",
        "definition_resolved": "дети данного индивида или дети его потомков"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 763,
    "fields": {
        "schema": 37,
        "order": 27,
        "alias": "F15",
        "cst_type": "function",
        "convention": "",
        "term_raw": "@{F14|nomn,plur} данной группы @{X1|gent,plur}",
        "term_resolved": "потомки данной группы индивидов",
        "term_forms": [],
        "definition_formal": "[α∈ℬ(X1)] R{ξ:=F4[α] | ξ∪F4[ξ]}",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 764,
    "fields": {
        "schema": 37,
        "order": 28,
        "alias": "A3",
        "cst_type": "axiom",
        "convention": "",
        "term_raw": "ацикличность @{S3|sing,gent}",
        "term_resolved": "ацикличность отношение родителя - ребёнок",
        "term_forms": [],
        "definition_formal": "∀ξ∈X1 ξ∉F14[ξ]",
        "definition_raw": "@{X1|sing,nomn} не может быть своим @{F14|sing,ablt}",
        "definition_resolved": "индивид не может быть своим потомком"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 765,
    "fields": {
        "schema": 37,
        "order": 29,
        "alias": "D6",
        "cst_type": "term",
        "convention": "",
        "term_raw": "отцы",
        "term_resolved": "отцы",
        "term_forms": [],
        "definition_formal": "D2∩S1",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 766,
    "fields": {
        "schema": 37,
        "order": 30,
        "alias": "D7",
        "cst_type": "term",
        "convention": "",
        "term_raw": "матери",
        "term_resolved": "матери",
        "term_forms": [
            {
                "tags": "sing,nomn",
                "text": "мать"
            }
        ],
        "definition_formal": "D2∩S2",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 767,
    "fields": {
        "schema": 37,
        "order": 31,
        "alias": "F16",
        "cst_type": "function",
        "convention": "",
        "term_raw": "@{D6|nomn,plur} группы @{X1|gent,plur}",
        "term_resolved": "отцы группы индивидов",
        "term_forms": [],
        "definition_formal": "[α∈ℬ(X1)] F2[α]∩S1",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 768,
    "fields": {
        "schema": 37,
        "order": 32,
        "alias": "F17",
        "cst_type": "function",
        "convention": "",
        "term_raw": "@{D6|nomn,plur} @{X1|sing,gent}",
        "term_resolved": "отцы индивида",
        "term_forms": [],
        "definition_formal": "[α∈X1] F1[α]∩S1",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 769,
    "fields": {
        "schema": 37,
        "order": 33,
        "alias": "F18",
        "cst_type": "function",
        "convention": "",
        "term_raw": "@{D7|nomn,plur} @{X1|gent,sing}",
        "term_resolved": "матери индивида",
        "term_forms": [],
        "definition_formal": "[α∈X1] F1[α]∩S2",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 770,
    "fields": {
        "schema": 37,
        "order": 34,
        "alias": "F19",
        "cst_type": "function",
        "convention": "",
        "term_raw": "@{D7|nomn,plur} группы @{X1|gent,plur}",
        "term_resolved": "матери группы индивидов",
        "term_forms": [],
        "definition_formal": "[α∈ℬ(X1)] F2[α]∩S2",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 771,
    "fields": {
        "schema": 37,
        "order": 35,
        "alias": "D8",
        "cst_type": "term",
        "convention": "",
        "term_raw": "сироты",
        "term_resolved": "сироты",
        "term_forms": [],
        "definition_formal": "X1\\D1",
        "definition_raw": "@{X1|plur,nomn}, не имеющие являющиеся @{D1|plur,ablt}",
        "definition_resolved": "индивиды, не имеющие являющиеся детьми"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 772,
    "fields": {
        "schema": 37,
        "order": 36,
        "alias": "A4",
        "cst_type": "axiom",
        "convention": "",
        "term_raw": "ограничение @{D2|plur,gent}",
        "term_resolved": "ограничение родителей",
        "term_forms": [],
        "definition_formal": "∀α∈X1 (card(F17[α])≤1 & card(F18[α])≤1)",
        "definition_raw": "у @{D1|sing,gent} может быть максимум один @{D6|sing,nomn} и одна @{D7|sing,nomn}",
        "definition_resolved": "у ребёнка может быть максимум один отец и одна мать"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 773,
    "fields": {
        "schema": 37,
        "order": 37,
        "alias": "F20",
        "cst_type": "function",
        "convention": "",
        "term_raw": "сыновья",
        "term_resolved": "сыновья",
        "term_forms": [
            {
                "tags": "plur,gent",
                "text": "сыновей"
            }
        ],
        "definition_formal": "[α∈X1] F3[α]∩S1",
        "definition_raw": "@{D1|plur,nomn} данного @{X1|sing,gent}, являющиеся @{S1|plur,ablt}",
        "definition_resolved": "дети данного индивида, являющиеся мужчинами"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 774,
    "fields": {
        "schema": 37,
        "order": 38,
        "alias": "F21",
        "cst_type": "function",
        "convention": "",
        "term_raw": "@{F20|nomn,plur} группы @{X1|gent,plur}",
        "term_resolved": "сыновья группы индивидов",
        "term_forms": [],
        "definition_formal": "[α∈ℬ(X1)] F4[α]∩S1",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 775,
    "fields": {
        "schema": 37,
        "order": 39,
        "alias": "F22",
        "cst_type": "function",
        "convention": "",
        "term_raw": "дочери",
        "term_resolved": "дочери",
        "term_forms": [],
        "definition_formal": "[α∈X1] F3[α]∩S2",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 776,
    "fields": {
        "schema": 37,
        "order": 40,
        "alias": "F23",
        "cst_type": "function",
        "convention": "",
        "term_raw": "@{F22|nomn,plur} группы @{X1|gent,plur}",
        "term_resolved": "дочери группы индивидов",
        "term_forms": [],
        "definition_formal": "[α∈ℬ(X1)] F4[α]∩S2",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 777,
    "fields": {
        "schema": 37,
        "order": 41,
        "alias": "F24",
        "cst_type": "function",
        "convention": "",
        "term_raw": "внуки",
        "term_resolved": "внуки",
        "term_forms": [],
        "definition_formal": "[α∈X1] F21[F3[α]]",
        "definition_raw": "@{F20|nomn,plur} @{D1|gent,plur}",
        "definition_resolved": "сыновья детей"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 778,
    "fields": {
        "schema": 37,
        "order": 42,
        "alias": "F25",
        "cst_type": "function",
        "convention": "",
        "term_raw": "внучки",
        "term_resolved": "внучки",
        "term_forms": [],
        "definition_formal": "[α∈X1] F23[F3[α]]",
        "definition_raw": "@{F22|nomn,plur} @{D1|gent,plur}",
        "definition_resolved": "дочери детей"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 779,
    "fields": {
        "schema": 37,
        "order": 43,
        "alias": "F26",
        "cst_type": "function",
        "convention": "",
        "term_raw": "дедушки",
        "term_resolved": "дедушки",
        "term_forms": [],
        "definition_formal": "[α∈X1] F16[F1[α]]",
        "definition_raw": "@{D6|nomn,plur} @{D2|gent,plur}",
        "definition_resolved": "отцы родителей"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 780,
    "fields": {
        "schema": 37,
        "order": 44,
        "alias": "F27",
        "cst_type": "function",
        "convention": "",
        "term_raw": "бабушки",
        "term_resolved": "бабушки",
        "term_forms": [],
        "definition_formal": "[α∈X1] F19[F1[α]]",
        "definition_raw": "@{D7|nomn,plur} @{D2|gent,plur}",
        "definition_resolved": "матери родителей"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 781,
    "fields": {
        "schema": 37,
        "order": 45,
        "alias": "F28",
        "cst_type": "function",
        "convention": "",
        "term_raw": "братья",
        "term_resolved": "братья",
        "term_forms": [
            {
                "tags": "plur,gent",
                "text": "братьев"
            }
        ],
        "definition_formal": "[α∈X1] F5[α]∩S1",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 782,
    "fields": {
        "schema": 37,
        "order": 46,
        "alias": "F29",
        "cst_type": "function",
        "convention": "",
        "term_raw": "@{F28|nomn,plur} группы @{X1|gent,plur}",
        "term_resolved": "братья группы индивидов",
        "term_forms": [],
        "definition_formal": "[α∈ℬ(X1)] F6[α]∩S1",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 783,
    "fields": {
        "schema": 37,
        "order": 47,
        "alias": "F30",
        "cst_type": "function",
        "convention": "",
        "term_raw": "сёстры",
        "term_resolved": "сёстры",
        "term_forms": [],
        "definition_formal": "[α∈X1] F5[α]∩S2",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 784,
    "fields": {
        "schema": 37,
        "order": 48,
        "alias": "F31",
        "cst_type": "function",
        "convention": "",
        "term_raw": "@{F30|nomn,plur} группы @{X1|gent,plur}",
        "term_resolved": "сёстры группы индивидов",
        "term_forms": [],
        "definition_formal": "[α∈ℬ(X1)] F6[α]∩S2",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 785,
    "fields": {
        "schema": 37,
        "order": 49,
        "alias": "F32",
        "cst_type": "function",
        "convention": "",
        "term_raw": "полнородные @{F5|nomn,plur}",
        "term_resolved": "полнородные сиблинги",
        "term_forms": [],
        "definition_formal": "[α∈X1] D{ξ∈F5[α] | F1[α]=F1[ξ] }",
        "definition_raw": "@{F5|plur,nomn} данного @{X1|sing,gent}, @{D2|plur,nomn} которых полностью совпадают с его @{D2|plur,gent}",
        "definition_resolved": "сиблинги данного индивида, родители которых полностью совпадают с его родителей"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 786,
    "fields": {
        "schema": 37,
        "order": 50,
        "alias": "F33",
        "cst_type": "function",
        "convention": "",
        "term_raw": "полнородные @{F28|nomn,plur} @{X1|gent,sing}",
        "term_resolved": "полнородные братья индивида",
        "term_forms": [],
        "definition_formal": "[α∈X1] F32[α]∩S1",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 787,
    "fields": {
        "schema": 37,
        "order": 51,
        "alias": "F34",
        "cst_type": "function",
        "convention": "",
        "term_raw": "полнородные @{F30|nomn,plur} @{X1|gent,sing}",
        "term_resolved": "полнородные сёстры индивида",
        "term_forms": [],
        "definition_formal": "[α∈X1] F32[α]∩S2",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 788,
    "fields": {
        "schema": 37,
        "order": 52,
        "alias": "F35",
        "cst_type": "function",
        "convention": "",
        "term_raw": "единокровные @{F5|nomn,plur}",
        "term_resolved": "единокровные сиблинги",
        "term_forms": [],
        "definition_formal": "[α∈X1] D{ξ∈F5[α] | F17[α]=F17[ξ] & F18[α]≠F18[ξ] }",
        "definition_raw": "@{F5|nomn,plur}, у которых @{1|общий} @{D6|nomn,sing}, но разные @{D7|nomn,plur}",
        "definition_resolved": "сиблинги, у которых общий отец, но разные матери"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 789,
    "fields": {
        "schema": 37,
        "order": 53,
        "alias": "F36",
        "cst_type": "function",
        "convention": "",
        "term_raw": "единокровные @{F28|nomn,plur}",
        "term_resolved": "единокровные братья",
        "term_forms": [],
        "definition_formal": "[α∈X1] F35[α]∩S1",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 790,
    "fields": {
        "schema": 37,
        "order": 54,
        "alias": "F37",
        "cst_type": "function",
        "convention": "",
        "term_raw": "единокровные @{F30|nomn,plur}",
        "term_resolved": "единокровные сёстры",
        "term_forms": [],
        "definition_formal": "[α∈X1] F35[α]∩S2",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 791,
    "fields": {
        "schema": 37,
        "order": 55,
        "alias": "F38",
        "cst_type": "function",
        "convention": "",
        "term_raw": "единоутробные @{F5|nomn,plur}",
        "term_resolved": "единоутробные сиблинги",
        "term_forms": [],
        "definition_formal": "[α∈X1] D{ξ∈F5[α] | F17[α]≠F17[ξ] & F18[α]=F18[ξ] }",
        "definition_raw": "@{F5|nomn,plur}, у которых @{1|общий} @{D7|nomn,sing}, но разные @{D6|nomn,plur}",
        "definition_resolved": "сиблинги, у которых общая мать, но разные отцы"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 792,
    "fields": {
        "schema": 37,
        "order": 56,
        "alias": "F39",
        "cst_type": "function",
        "convention": "",
        "term_raw": "единоутробные @{F28|nomn,plur}",
        "term_resolved": "единоутробные братья",
        "term_forms": [],
        "definition_formal": "[α∈X1] F38[α]∩F28[α]",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 793,
    "fields": {
        "schema": 37,
        "order": 57,
        "alias": "F40",
        "cst_type": "function",
        "convention": "",
        "term_raw": "единоутробные @{F30|nomn,plur}",
        "term_resolved": "единоутробные сёстры",
        "term_forms": [],
        "definition_formal": "[α∈X1] F38[α]∩F30[α]",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 794,
    "fields": {
        "schema": 37,
        "order": 58,
        "alias": "F41",
        "cst_type": "function",
        "convention": "",
        "term_raw": "двоюродные @{F5|nomn,plur}",
        "term_resolved": "двоюродные сиблинги",
        "term_forms": [
            {
                "tags": "plur,gent",
                "text": "двоюродных сиблингов"
            }
        ],
        "definition_formal": "[α∈X1] F15[F6[F1[α]]]",
        "definition_raw": "@{D1|nomn,plur} @{F5|gent,plur} @{D2|gent,plur}",
        "definition_resolved": "дети сиблингов родителей"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 795,
    "fields": {
        "schema": 37,
        "order": 59,
        "alias": "F42",
        "cst_type": "function",
        "convention": "",
        "term_raw": "@{F41|nomn,plur} группы @{X1|gent,plur}",
        "term_resolved": "двоюродные сиблинги группы индивидов",
        "term_forms": [],
        "definition_formal": "[α∈ℬ(X1)] F15[F6[F2[α]]]",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 796,
    "fields": {
        "schema": 37,
        "order": 60,
        "alias": "F43",
        "cst_type": "function",
        "convention": "",
        "term_raw": "@{F41|nomn,plur} по @{D6|datv,sing}",
        "term_resolved": "двоюродные сиблинги по отцу",
        "term_forms": [],
        "definition_formal": "[α∈X1] F15[F6[F17[α]]]",
        "definition_raw": "@{D1|nomn,plur} @{F5|gent,plur} @{D6|gent,sing}",
        "definition_resolved": "дети сиблингов отца"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 797,
    "fields": {
        "schema": 37,
        "order": 61,
        "alias": "F44",
        "cst_type": "function",
        "convention": "",
        "term_raw": "@{F41|nomn,plur} по @{D7|datv,sing}",
        "term_resolved": "двоюродные сиблинги по матери",
        "term_forms": [],
        "definition_formal": "[α∈X1] F15[F6[F18[α]]]",
        "definition_raw": "@{D1|nomn,plur} @{F5|gent,plur} @{D7|gent,sing}",
        "definition_resolved": "дети сиблингов матери"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 798,
    "fields": {
        "schema": 37,
        "order": 62,
        "alias": "F45",
        "cst_type": "function",
        "convention": "",
        "term_raw": "двоюродные @{F28|nomn,plur}",
        "term_resolved": "двоюродные братья",
        "term_forms": [],
        "definition_formal": "[α∈X1] F21[F6[F1[α]]]",
        "definition_raw": "@{F20|nomn,plur} @{F5|gent,plur} @{D2|gent,plur}",
        "definition_resolved": "сыновья сиблингов родителей"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 799,
    "fields": {
        "schema": 37,
        "order": 63,
        "alias": "F46",
        "cst_type": "function",
        "convention": "",
        "term_raw": "@{F45|nomn,plur} группы @{X1|gent,plur}",
        "term_resolved": "двоюродные братья группы индивидов",
        "term_forms": [],
        "definition_formal": "[α∈ℬ(X1)] F21[F6[F2[α]]]",
        "definition_raw": "",
        "definition_resolved": ""
    }
},
{
    "model": "rsform.constituenta",
    "pk": 800,
    "fields": {
        "schema": 37,
        "order": 64,
        "alias": "F47",
        "cst_type": "function",
        "convention": "",
        "term_raw": "двоюродные @{F30|nomn,plur}",
        "term_resolved": "двоюродные сёстры",
        "term_forms": [],
        "definition_formal": "[α∈X1] F23[F6[F1[α]]]",
        "definition_raw": "@{F41|nomn,plur}, являющиеся @{S2|ablt,plur}",
        "definition_resolved": "двоюродные сиблинги, являющиеся женщинами"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 801,
    "fields": {
        "schema": 37,
        "order": 65,
        "alias": "F48",
        "cst_type": "function",
        "convention": "",
        "term_raw": "@{F47|nomn,plur} группы @{X1|gent,plur}",
        "term_resolved": "двоюродные сёстры группы индивидов",
        "term_forms": [],
        "definition_formal": "[α∈ℬ(X1)] F23[F6[F2[α]]]",
        "definition_raw": "@{F22|nomn,plur} @{F5|gent,plur} @{D2|gent,plur}",
        "definition_resolved": "дочери сиблингов родителей"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 802,
    "fields": {
        "schema": 37,
        "order": 66,
        "alias": "F49",
        "cst_type": "function",
        "convention": "",
        "term_raw": "стрыйчичи",
        "term_resolved": "стрыйчичи",
        "term_forms": [],
        "definition_formal": "[α∈X1] F45[α]∩F43[α]",
        "definition_raw": "@{F45|nomn,plur} по @{D6|datv,sing}",
        "definition_resolved": "двоюродные братья по отцу"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 803,
    "fields": {
        "schema": 37,
        "order": 67,
        "alias": "F50",
        "cst_type": "function",
        "convention": "",
        "term_raw": "стрыечки",
        "term_resolved": "стрыечки",
        "term_forms": [],
        "definition_formal": "[α∈X1] F47[α]∩F43[α]",
        "definition_raw": "@{F47|nomn,plur} по @{D6|datv,sing}",
        "definition_resolved": "двоюродные сёстры по отцу"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 804,
    "fields": {
        "schema": 37,
        "order": 68,
        "alias": "F51",
        "cst_type": "function",
        "convention": "",
        "term_raw": "уйчичи",
        "term_resolved": "уйчичи",
        "term_forms": [],
        "definition_formal": "[α∈X1] F45[α]∩F44[α]",
        "definition_raw": "@{F45|nomn,plur} по @{D7|datv,sing}",
        "definition_resolved": "двоюродные братья по матери"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 805,
    "fields": {
        "schema": 37,
        "order": 69,
        "alias": "F52",
        "cst_type": "function",
        "convention": "",
        "term_raw": "дяди",
        "term_resolved": "дяди",
        "term_forms": [],
        "definition_formal": "[α∈X1] F29[F1[α]]",
        "definition_raw": "@{F28|nomn,plur} @{D2|gent,plur}",
        "definition_resolved": "братья родителей"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 806,
    "fields": {
        "schema": 37,
        "order": 70,
        "alias": "F53",
        "cst_type": "function",
        "convention": "",
        "term_raw": "стрыи",
        "term_resolved": "стрыи",
        "term_forms": [],
        "definition_formal": "[α∈D1] F29[F17[α]]",
        "definition_raw": "@{F28|nomn,plur} @{D6|gent,sing}",
        "definition_resolved": "братья отца"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 807,
    "fields": {
        "schema": 37,
        "order": 71,
        "alias": "F54",
        "cst_type": "function",
        "convention": "",
        "term_raw": "вуи",
        "term_resolved": "вуи",
        "term_forms": [
            {
                "tags": "sing,nomn",
                "text": "вуй"
            },
            {
                "tags": "sing,gent",
                "text": "вуя"
            },
            {
                "tags": "sing,datv",
                "text": "вую"
            },
            {
                "tags": "plur,gent",
                "text": "вуёв"
            }
        ],
        "definition_formal": "[α∈D1] F29[F18[α]]",
        "definition_raw": "@{F28|nomn,plur} @{D7|gent,sing}",
        "definition_resolved": "братья матери"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 808,
    "fields": {
        "schema": 37,
        "order": 72,
        "alias": "F55",
        "cst_type": "function",
        "convention": "",
        "term_raw": "тёти",
        "term_resolved": "тёти",
        "term_forms": [],
        "definition_formal": "[α∈X1] F31[F1[α]]",
        "definition_raw": "@{F30|nomn,plur} @{D2|gent,plur}",
        "definition_resolved": "сёстры родителей"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 809,
    "fields": {
        "schema": 37,
        "order": 73,
        "alias": "F56",
        "cst_type": "function",
        "convention": "",
        "term_raw": "стрыйны",
        "term_resolved": "стрыйны",
        "term_forms": [],
        "definition_formal": "[α∈D1] F31[F17[α]]",
        "definition_raw": "@{F30|nomn,plur} @{D6|gent,sing}",
        "definition_resolved": "сёстры отца"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 810,
    "fields": {
        "schema": 37,
        "order": 74,
        "alias": "F57",
        "cst_type": "function",
        "convention": "",
        "term_raw": "вуйны",
        "term_resolved": "вуйны",
        "term_forms": [],
        "definition_formal": "[α∈D1] F31[F18[α]]",
        "definition_raw": "@{F30|nomn,plur} @{D7|gent,sing}",
        "definition_resolved": "сёстры матери"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 811,
    "fields": {
        "schema": 37,
        "order": 75,
        "alias": "F58",
        "cst_type": "function",
        "convention": "",
        "term_raw": "племянники",
        "term_resolved": "племянники",
        "term_forms": [],
        "definition_formal": "[α∈X1] F21[F5[α]]",
        "definition_raw": "@{F20|nomn,plur} @{F5|gent,plur}",
        "definition_resolved": "сыновья сиблингов"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 812,
    "fields": {
        "schema": 37,
        "order": 76,
        "alias": "F59",
        "cst_type": "function",
        "convention": "",
        "term_raw": "братычи",
        "term_resolved": "братычи",
        "term_forms": [],
        "definition_formal": "[α∈X1] F21[F28[α]]",
        "definition_raw": "@{F20|nomn,plur} @{F28|gent,plur}",
        "definition_resolved": "сыновья братьев"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 813,
    "fields": {
        "schema": 37,
        "order": 77,
        "alias": "F60",
        "cst_type": "function",
        "convention": "",
        "term_raw": "сестричи",
        "term_resolved": "сестричи",
        "term_forms": [],
        "definition_formal": "[α∈X1] F21[F30[α]]",
        "definition_raw": "@{F20|nomn,plur} @{F30|gent,plur}",
        "definition_resolved": "сыновья сестёр"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 814,
    "fields": {
        "schema": 37,
        "order": 78,
        "alias": "F61",
        "cst_type": "function",
        "convention": "",
        "term_raw": "племянницы",
        "term_resolved": "племянницы",
        "term_forms": [],
        "definition_formal": "[α∈X1] F23[F5[α]]",
        "definition_raw": "@{F22|gent,sing} @{F5|gent,plur}",
        "definition_resolved": "дочери сиблингов"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 815,
    "fields": {
        "schema": 37,
        "order": 79,
        "alias": "F62",
        "cst_type": "function",
        "convention": "",
        "term_raw": "братанины",
        "term_resolved": "братанины",
        "term_forms": [],
        "definition_formal": "[α∈X1] F23[F28[α]]",
        "definition_raw": "@{F22|gent,sing} @{F28|gent,plur}",
        "definition_resolved": "дочери братьев"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 816,
    "fields": {
        "schema": 37,
        "order": 80,
        "alias": "F63",
        "cst_type": "function",
        "convention": "",
        "term_raw": "сестрины",
        "term_resolved": "сестрины",
        "term_forms": [],
        "definition_formal": "[α∈X1] F23[F30[α]]",
        "definition_raw": "@{F22|gent,sing} @{F30|gent,plur}",
        "definition_resolved": "дочери сестёр"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 817,
    "fields": {
        "schema": 37,
        "order": 81,
        "alias": "F64",
        "cst_type": "function",
        "convention": "",
        "term_raw": "двоюродные @{F52|nomn,plur}",
        "term_resolved": "двоюродные дяди",
        "term_forms": [],
        "definition_formal": "[α∈X1] F46[F1[α]]",
        "definition_raw": "@{F45|nomn,plur} @{D2|gent,plur}",
        "definition_resolved": "двоюродные братья родителей"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 818,
    "fields": {
        "schema": 37,
        "order": 82,
        "alias": "F65",
        "cst_type": "function",
        "convention": "",
        "term_raw": "двоюродные @{F55|nomn,plur}",
        "term_resolved": "двоюродные тёти",
        "term_forms": [],
        "definition_formal": "[α∈X1] F48[F1[α]]",
        "definition_raw": "@{F47|nomn,plur} @{D2|gent,plur}",
        "definition_resolved": "двоюродные сёстры родителей"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 819,
    "fields": {
        "schema": 37,
        "order": 83,
        "alias": "F66",
        "cst_type": "function",
        "convention": "",
        "term_raw": "двоюродные @{F58|nomn,plur}",
        "term_resolved": "двоюродные племянники",
        "term_forms": [],
        "definition_formal": "[α∈X1] F21[F41[α]]",
        "definition_raw": "@{F20|nomn,plur} @{F41|gent,plur}",
        "definition_resolved": "сыновья двоюродных сиблингов"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 820,
    "fields": {
        "schema": 37,
        "order": 84,
        "alias": "F67",
        "cst_type": "function",
        "convention": "",
        "term_raw": "дщеричи",
        "term_resolved": "дщеричи",
        "term_forms": [],
        "definition_formal": "[α∈X1] F21[F47[α]]",
        "definition_raw": "@{F58|nomn,plur} по @{F55|datv,sing}",
        "definition_resolved": "племянники по тёте"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 821,
    "fields": {
        "schema": 37,
        "order": 85,
        "alias": "F68",
        "cst_type": "function",
        "convention": "",
        "term_raw": "двоюродные @{F61|nomn,plur}",
        "term_resolved": "двоюродные племянницы",
        "term_forms": [],
        "definition_formal": "[α∈X1] F23[F41[α]]",
        "definition_raw": "@{F22|nomn,plur} @{F41|gent,plur}",
        "definition_resolved": "дочери двоюродных сиблингов"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 822,
    "fields": {
        "schema": 37,
        "order": 86,
        "alias": "F69",
        "cst_type": "function",
        "convention": "",
        "term_raw": "дщерши",
        "term_resolved": "дщерши",
        "term_forms": [],
        "definition_formal": "[α∈X1] F23[F47[α]]",
        "definition_raw": "@{F22|nomn,plur} @{F47|gent,plur}",
        "definition_resolved": "дочери двоюродных сестёр"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 823,
    "fields": {
        "schema": 37,
        "order": 87,
        "alias": "F70",
        "cst_type": "function",
        "convention": "альтернативное определение: великий дядя - дядя родителя",
        "term_raw": "двоюродные @{F26|nomn,plur}",
        "term_resolved": "двоюродные дедушки",
        "term_forms": [],
        "definition_formal": "[α∈X1] F29[F8[α]]",
        "definition_raw": "@{F28|nomn,plur} @{F8|gent,plur}",
        "definition_resolved": "братья прародителей"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 824,
    "fields": {
        "schema": 37,
        "order": 88,
        "alias": "F71",
        "cst_type": "function",
        "convention": "",
        "term_raw": "двоюродные @{F27|nomn,plur}",
        "term_resolved": "двоюродные бабушки",
        "term_forms": [],
        "definition_formal": "[α∈X1] F31[F8[α]]",
        "definition_raw": "@{F30|nomn,plur} @{F8|gent,plur}",
        "definition_resolved": "сёстры прародителей"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 825,
    "fields": {
        "schema": 37,
        "order": 89,
        "alias": "F72",
        "cst_type": "function",
        "convention": "альтернативное определение: внук родного брата или сестры",
        "term_raw": "внучатые @{F58|nomn,plur}",
        "term_resolved": "внучатые племянники",
        "term_forms": [],
        "definition_formal": "[α∈X1] F21[F58[α]∪F61[α]]",
        "definition_raw": "@{F20|nomn,plur} @{F58|gent,plur} и @{F61|gent,plur}",
        "definition_resolved": "сыновья племянников и племянниц"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 826,
    "fields": {
        "schema": 37,
        "order": 90,
        "alias": "F73",
        "cst_type": "function",
        "convention": "",
        "term_raw": "внучатые @{F61|nomn,plur}",
        "term_resolved": "внучатые племянницы",
        "term_forms": [],
        "definition_formal": "[α∈X1] F23[F58[α]∪F61[α]]",
        "definition_raw": "@{F22|nomn,plur} @{F58|gent,plur} и @{F61|gent,plur}",
        "definition_resolved": "дочери племянников и племянниц"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 827,
    "fields": {
        "schema": 37,
        "order": 91,
        "alias": "F74",
        "cst_type": "function",
        "convention": "",
        "term_raw": "свёкр",
        "term_resolved": "свёкр",
        "term_forms": [],
        "definition_formal": "[α∈D4] F17[F9[α]]",
        "definition_raw": "@{D6|nomn,sing} @{D3|gent,sing}",
        "definition_resolved": "отец мужа"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 828,
    "fields": {
        "schema": 37,
        "order": 92,
        "alias": "F75",
        "cst_type": "function",
        "convention": "",
        "term_raw": "свекровь",
        "term_resolved": "свекровь",
        "term_forms": [],
        "definition_formal": "[α∈D4] F18[F9[α]]",
        "definition_raw": "@{D7|nomn,sing} @{D3|gent,sing}",
        "definition_resolved": "мать мужа"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 829,
    "fields": {
        "schema": 37,
        "order": 93,
        "alias": "F76",
        "cst_type": "function",
        "convention": "",
        "term_raw": "тесть",
        "term_resolved": "тесть",
        "term_forms": [],
        "definition_formal": "[α∈D3] F17[F10[α]]",
        "definition_raw": "@{D6|nomn,sing} @{D4|gent,sing}",
        "definition_resolved": "отец жены"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 830,
    "fields": {
        "schema": 37,
        "order": 94,
        "alias": "F77",
        "cst_type": "function",
        "convention": "",
        "term_raw": "тёща",
        "term_resolved": "тёща",
        "term_forms": [],
        "definition_formal": "[α∈D3] F18[F10[α]]",
        "definition_raw": "@{D7|nomn,sing} @{D4|gent,sing}",
        "definition_resolved": "мать жены"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 831,
    "fields": {
        "schema": 37,
        "order": 95,
        "alias": "F78",
        "cst_type": "function",
        "convention": "",
        "term_raw": "сваты",
        "term_resolved": "сваты",
        "term_forms": [],
        "definition_formal": "[α∈X1] F16[F13[F3[α]]]",
        "definition_raw": "@{D6|nomn,plur} @{D5|gent,plur} @{D1|gent,plur}",
        "definition_resolved": "отцы супругов детей"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 832,
    "fields": {
        "schema": 37,
        "order": 96,
        "alias": "F79",
        "cst_type": "function",
        "convention": "",
        "term_raw": "сватьи",
        "term_resolved": "сватьи",
        "term_forms": [],
        "definition_formal": "[α∈X1] F19[F13[F3[α]]]",
        "definition_raw": "@{D7|gent,sing} @{D5|gent,plur} @{D1|gent,plur}",
        "definition_resolved": "матери супругов детей"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 833,
    "fields": {
        "schema": 37,
        "order": 97,
        "alias": "F80",
        "cst_type": "function",
        "convention": "",
        "term_raw": "девери",
        "term_resolved": "девери",
        "term_forms": [],
        "definition_formal": "[α∈D4] F28[F9[α]]",
        "definition_raw": "@{F28|nomn,plur} @{D3|gent,sing}",
        "definition_resolved": "братья мужа"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 834,
    "fields": {
        "schema": 37,
        "order": 98,
        "alias": "F81",
        "cst_type": "function",
        "convention": "",
        "term_raw": "золовки",
        "term_resolved": "золовки",
        "term_forms": [],
        "definition_formal": "[α∈D4] F30[F9[α]]",
        "definition_raw": "@{F30|nomn,plur} @{D3|gent,sing}",
        "definition_resolved": "сёстры мужа"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 835,
    "fields": {
        "schema": 37,
        "order": 99,
        "alias": "F82",
        "cst_type": "function",
        "convention": "",
        "term_raw": "шурины",
        "term_resolved": "шурины",
        "term_forms": [],
        "definition_formal": "[α∈D3] F28[F10[α]]",
        "definition_raw": "@{F28|nomn,plur} @{D4|gent,sing}",
        "definition_resolved": "братья жены"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 836,
    "fields": {
        "schema": 37,
        "order": 100,
        "alias": "F83",
        "cst_type": "function",
        "convention": "",
        "term_raw": "свояченицы",
        "term_resolved": "свояченицы",
        "term_forms": [],
        "definition_formal": "[α∈D3] F30[F10[α]]",
        "definition_raw": "@{F30|nomn,plur} @{D4|gent,sing}",
        "definition_resolved": "сёстры жены"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 837,
    "fields": {
        "schema": 37,
        "order": 101,
        "alias": "F84",
        "cst_type": "function",
        "convention": "",
        "term_raw": "шуричи",
        "term_resolved": "шуричи",
        "term_forms": [],
        "definition_formal": "[α∈D3] F21[F82[α]]",
        "definition_raw": "@{F20|nomn,plur} @{F82|gent,plur}",
        "definition_resolved": "сыновья шуринов"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 838,
    "fields": {
        "schema": 37,
        "order": 102,
        "alias": "F85",
        "cst_type": "function",
        "convention": "",
        "term_raw": "снохи",
        "term_resolved": "снохи",
        "term_forms": [],
        "definition_formal": "[α∈X1] F12[F20[α]]",
        "definition_raw": "@{D4|nomn,plur} @{F20|gent,plur}",
        "definition_resolved": "жены сыновей"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 839,
    "fields": {
        "schema": 37,
        "order": 103,
        "alias": "F86",
        "cst_type": "function",
        "convention": "",
        "term_raw": "свояки",
        "term_resolved": "свояки",
        "term_forms": [],
        "definition_formal": "[α∈D3] F11[F83[α]]",
        "definition_raw": "@{D3|nomn,plur} @{F83|gent,plur}",
        "definition_resolved": "мужья своячениц"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 840,
    "fields": {
        "schema": 37,
        "order": 104,
        "alias": "F87",
        "cst_type": "function",
        "convention": "",
        "term_raw": "ятровки",
        "term_resolved": "ятровки",
        "term_forms": [],
        "definition_formal": "[α∈D4] F12[F80[α]]",
        "definition_raw": "@{D4|nomn,plur} @{F80|gent,plur}",
        "definition_resolved": "жены деверей"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 841,
    "fields": {
        "schema": 37,
        "order": 105,
        "alias": "F88",
        "cst_type": "function",
        "convention": "",
        "term_raw": "зятья",
        "term_resolved": "зятья",
        "term_forms": [],
        "definition_formal": "[α∈X1] F11[F22[α]∪F30[α]∪F81[α]∪F61[α]]",
        "definition_raw": "@{D3|nomn,plur} @{F22|gent,plur}, @{F30|gent,plur}, @{F81|gent,plur} или @{F61|gent,plur}",
        "definition_resolved": "мужья дочерей, сестёр, золовок или племянниц"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 842,
    "fields": {
        "schema": 37,
        "order": 106,
        "alias": "F89",
        "cst_type": "function",
        "convention": "",
        "term_raw": "невестки",
        "term_resolved": "невестки",
        "term_forms": [],
        "definition_formal": "[α∈X1] F12[F20[α]∪F28[α]∪F80[α]∪F58[α]]",
        "definition_raw": "@{D4|nomn,plur} @{F20|gent,plur}, @{F28|gent,plur}, @{F80|gent,plur} или @{F58|gent,plur}",
        "definition_resolved": "жены сыновей, братьев, деверей или племянников"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 843,
    "fields": {
        "schema": 37,
        "order": 107,
        "alias": "F90",
        "cst_type": "function",
        "convention": "",
        "term_raw": "вуйки",
        "term_resolved": "вуйки",
        "term_forms": [],
        "definition_formal": "[α∈X1] F12[F54[α]]",
        "definition_raw": "@{D4|nomn,plur} @{F54|gent,plur}",
        "definition_resolved": "жены вуи"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 844,
    "fields": {
        "schema": 37,
        "order": 108,
        "alias": "F91",
        "cst_type": "function",
        "convention": "",
        "term_raw": "братанихи",
        "term_resolved": "братанихи",
        "term_forms": [],
        "definition_formal": "[α∈X1] F12[F45[α]]",
        "definition_raw": "@{D4|nomn,plur} @{F45|gent,plur}",
        "definition_resolved": "жены двоюродных братьев"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 845,
    "fields": {
        "schema": 37,
        "order": 109,
        "alias": "D9",
        "cst_type": "term",
        "convention": "",
        "term_raw": "законные @{D1|nomn,plur}",
        "term_resolved": "законные дети",
        "term_forms": [],
        "definition_formal": "D{ξ∈D1 | F13[F1[ξ]]=F1[ξ]}",
        "definition_raw": "@{D1|nomn,plur}, @{D2|nomn,plur} которых состоят в @{S4|loct,sing}",
        "definition_resolved": "дети, родители которых состоят в браке"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 846,
    "fields": {
        "schema": 37,
        "order": 110,
        "alias": "D10",
        "cst_type": "term",
        "convention": "",
        "term_raw": "бастарды",
        "term_resolved": "бастарды",
        "term_forms": [],
        "definition_formal": "D1\\D9",
        "definition_raw": "@{D1|nomn,plur}, @{D2|nomn,plur} которых не состоят в @{S4|loct,sing}",
        "definition_resolved": "дети, родители которых не состоят в браке"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 847,
    "fields": {
        "schema": 37,
        "order": 111,
        "alias": "F92",
        "cst_type": "function",
        "convention": "",
        "term_raw": "сводные @{F5|nomn,plur}",
        "term_resolved": "сводные сиблинги",
        "term_forms": [],
        "definition_formal": "[α∈X1] F4[F13[F1[α]]] \\ F5[α] \\ {α}",
        "definition_raw": "@{D1|nomn,plur} @{D5|gent,plur} @{D2|gent,plur}, не являющиеся @{F5|ablt,plur}",
        "definition_resolved": "дети супругов родителей, не являющиеся сиблингами"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 848,
    "fields": {
        "schema": 37,
        "order": 112,
        "alias": "F93",
        "cst_type": "function",
        "convention": "",
        "term_raw": "сводные @{F28|nomn,plur}",
        "term_resolved": "сводные братья",
        "term_forms": [],
        "definition_formal": "[α∈X1] F21[F13[F1[α]]] \\ F28[α] \\ {α}",
        "definition_raw": "@{F20|nomn,plur} @{D5|gent,plur} @{D2|gent,plur}, не являющиеся @{F28|ablt,plur}",
        "definition_resolved": "сыновья супругов родителей, не являющиеся братьями"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 849,
    "fields": {
        "schema": 37,
        "order": 113,
        "alias": "F94",
        "cst_type": "function",
        "convention": "",
        "term_raw": "сводные @{F30|nomn,plur}",
        "term_resolved": "сводные сёстры",
        "term_forms": [],
        "definition_formal": "[α∈X1] F23[F13[F1[α]]] \\ F30[α] \\ {α}",
        "definition_raw": "@{F22|nomn,plur} @{D5|gent,plur} @{D2|gent,plur}, не являющиеся @{F30|ablt,plur}",
        "definition_resolved": "дочери супругов родителей, не являющиеся сёстрами"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 850,
    "fields": {
        "schema": 37,
        "order": 114,
        "alias": "F95",
        "cst_type": "function",
        "convention": "",
        "term_raw": "пасынки",
        "term_resolved": "пасынки",
        "term_forms": [],
        "definition_formal": "[α∈X1] F21[F13[{α}]] \\ F20[α]",
        "definition_raw": "@{F20|nomn,plur} @{D5|gent,sing}, не являющиеся @{D1|ablt,plur}",
        "definition_resolved": "сыновья супруга, не являющиеся детьми"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 851,
    "fields": {
        "schema": 37,
        "order": 115,
        "alias": "F96",
        "cst_type": "function",
        "convention": "",
        "term_raw": "падчерицы",
        "term_resolved": "падчерицы",
        "term_forms": [],
        "definition_formal": "[α∈X1] F23[F13[{α}]] \\ F22[α]",
        "definition_raw": "@{F22|nomn,plur} @{D5|gent,sing}, не являющиеся @{D1|ablt,plur}",
        "definition_resolved": "дочери супруга, не являющиеся детьми"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 852,
    "fields": {
        "schema": 37,
        "order": 116,
        "alias": "F97",
        "cst_type": "function",
        "convention": "",
        "term_raw": "отчимы",
        "term_resolved": "отчимы",
        "term_forms": [],
        "definition_formal": "[α∈X1] F11[F19[{α}]] \\ F16[{α}]",
        "definition_raw": "@{D3|nomn,sing} @{D7|gent,sing}, не являющийся @{D6|ablt,sing}",
        "definition_resolved": "муж матери, не являющийся отцом"
    }
},
{
    "model": "rsform.constituenta",
    "pk": 853,
    "fields": {
        "schema": 37,
        "order": 117,
        "alias": "F98",
        "cst_type": "function",
        "convention": "",
        "term_raw": "мачехи",
        "term_resolved": "мачехи",
        "term_forms": [],
        "definition_formal": "[α∈X1] F12[F16[{α}]] \\ F19[{α}]",
        "definition_raw": "@{D4|nomn,sing} @{D6|gent,sing}, не являющаяся @{D7|ablt,sing}",
        "definition_resolved": "жена отца, не являющаяся матерью"
    }
},
{
    "model": "rsform.editor",
    "pk": 2,
    "fields": {
        "item": 35,
        "editor": 3,
        "time_create": "2024-06-03T20:55:45.359Z"
    }
},
{
    "model": "rsform.subscription",
    "pk": 11,
    "fields": {
        "user": 1,
        "item": 34
    }
},
{
    "model": "rsform.subscription",
    "pk": 12,
    "fields": {
        "user": 5,
        "item": 35
    }
},
{
    "model": "rsform.subscription",
    "pk": 13,
    "fields": {
        "user": 3,
        "item": 36
    }
},
{
    "model": "rsform.subscription",
    "pk": 14,
    "fields": {
        "user": 3,
        "item": 37
    }
},
{
    "model": "rsform.libraryitem",
    "pk": 34,
    "fields": {
        "item_type": "rsform",
        "owner": 1,
        "title": "Банк выражений",
        "alias": "БВ",
        "comment": "Банк шаблонов для генерации выражений",
        "visible": true,
        "read_only": false,
        "access_policy": "public",
        "location": "/L",
        "time_create": "2024-06-03T20:52:06.322Z",
        "time_update": "2024-06-03T20:52:06.325Z"
    }
},
{
    "model": "rsform.libraryitem",
    "pk": 35,
    "fields": {
        "item_type": "rsform",
        "owner": 5,
        "title": "Групповая операция",
        "alias": "БК09",
        "comment": "",
        "visible": true,
        "read_only": false,
        "access_policy": "public",
        "location": "/S",
        "time_create": "2024-06-03T20:55:36.489Z",
        "time_update": "2024-06-03T20:55:36.492Z"
    }
},
{
    "model": "rsform.libraryitem",
    "pk": 36,
    "fields": {
        "item_type": "rsform",
        "owner": 3,
        "title": "Булева алгебра",
        "alias": "БК12",
        "comment": "",
        "visible": true,
        "read_only": false,
        "access_policy": "public",
        "location": "/S",
        "time_create": "2024-06-03T20:58:30.529Z",
        "time_update": "2024-06-03T20:58:32.512Z"
    }
},
{
    "model": "rsform.libraryitem",
    "pk": 37,
    "fields": {
        "item_type": "rsform",
        "owner": 3,
        "title": "Генеалогия",
        "alias": "D0001",
        "comment": "построено на основе понятия \"родство\" из Википедии",
        "visible": true,
        "read_only": false,
        "access_policy": "public",
        "location": "/U/test",
        "time_create": "2024-06-03T20:59:40.845Z",
        "time_update": "2024-06-03T21:00:01.809Z"
    }
},
{
    "model": "rsform.librarytemplate",
    "pk": 1,
    "fields": {
        "lib_source": 34
    }
}
]