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

[
  {
    "model": "auth.user",
    "pk": 1,
    "fields": {
      "password": "pbkdf2_sha256$720000$gFZkaBswurtL0naQKiUnW7$3b6SUN3fY2Xl1H7erAszVpQl2LpoKusan+yJP7Bp3JA=",
      "last_login": "2024-08-02T07:02:14.815Z",
      "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": "library.editor",
    "pk": 2,
    "fields": {
      "item": 35,
      "editor": 3,
      "time_create": "2024-06-03T20:55:45.359Z"
    }
  },
  {
    "model": "library.libraryitem",
    "pk": 34,
    "fields": {
      "item_type": "rsform",
      "owner": 1,
      "title": "Банк выражений",
      "alias": "БВ",
      "description": "Банк шаблонов для генерации выражений",
      "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": "library.libraryitem",
    "pk": 35,
    "fields": {
      "item_type": "rsform",
      "owner": 5,
      "title": "Групповая операция",
      "alias": "БК09",
      "description": "",
      "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": "library.libraryitem",
    "pk": 36,
    "fields": {
      "item_type": "rsform",
      "owner": 3,
      "title": "Булева алгебра",
      "alias": "БК12",
      "description": "",
      "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": "library.libraryitem",
    "pk": 37,
    "fields": {
      "item_type": "rsform",
      "owner": 3,
      "title": "Генеалогия",
      "alias": "D0001",
      "description": "построено на основе понятия \"родство\" из Википедии",
      "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": "library.libraryitem",
    "pk": 38,
    "fields": {
      "item_type": "rsform",
      "owner": 1,
      "title": "Вещества и смеси",
      "alias": "КС Вещества",
      "description": "",
      "visible": false,
      "read_only": false,
      "access_policy": "public",
      "location": "/S/ЭКОС",
      "time_create": "2024-08-02T07:02:58.345Z",
      "time_update": "2024-08-02T08:12:02.994Z"
    }
  },
  {
    "model": "library.libraryitem",
    "pk": 39,
    "fields": {
      "item_type": "rsform",
      "owner": 1,
      "title": "Объект-объектные отношения",
      "alias": "КС ООО",
      "description": "",
      "visible": false,
      "read_only": false,
      "access_policy": "public",
      "location": "/S/ЭКОС",
      "time_create": "2024-08-02T07:04:27.061Z",
      "time_update": "2024-08-02T08:12:06.878Z"
    }
  },
  {
    "model": "library.libraryitem",
    "pk": 40,
    "fields": {
      "item_type": "rsform",
      "owner": 1,
      "title": "Процессы",
      "alias": "КС Процессы",
      "description": "",
      "visible": false,
      "read_only": false,
      "access_policy": "public",
      "location": "/S/ЭКОС",
      "time_create": "2024-08-02T07:06:59.641Z",
      "time_update": "2024-08-02T08:12:10.834Z"
    }
  },
  {
    "model": "library.libraryitem",
    "pk": 41,
    "fields": {
      "item_type": "oss",
      "owner": 1,
      "title": "Экологические правоотношения",
      "alias": "ЭКОС",
      "description": "",
      "visible": true,
      "read_only": false,
      "access_policy": "public",
      "location": "/S/ЭКОС",
      "time_create": "2024-08-02T07:08:12.218Z",
      "time_update": "2024-08-02T11:53:36.734Z"
    }
  },
  {
    "model": "library.libraryitem",
    "pk": 43,
    "fields": {
      "item_type": "rsform",
      "owner": 1,
      "title": "Объектная среда",
      "alias": "КС Объект-сред",
      "description": "",
      "visible": false,
      "read_only": false,
      "access_policy": "public",
      "location": "/S/ЭКОС",
      "time_create": "2024-08-02T11:52:30.658Z",
      "time_update": "2024-08-02T11:52:30.683Z"
    }
  },
  {
    "model": "library.libraryitem",
    "pk": 44,
    "fields": {
      "item_type": "rsform",
      "owner": 1,
      "title": "Процессные среды",
      "alias": "КС Проц-сред",
      "description": "",
      "visible": false,
      "read_only": false,
      "access_policy": "public",
      "location": "/S/ЭКОС",
      "time_create": "2024-08-02T11:53:36.619Z",
      "time_update": "2024-08-02T11:53:36.650Z"
    }
  },
  {
    "model": "library.librarytemplate",
    "pk": 1,
    "fields": {
      "lib_source": 34
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 589,
    "fields": {
      "schema": 34,
      "order": 0,
      "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": 1,
      "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": 2,
      "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": 3,
      "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": 4,
      "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": 5,
      "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": 6,
      "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": 7,
      "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": 8,
      "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": 9,
      "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": 10,
      "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": 11,
      "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": 12,
      "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": 13,
      "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": 14,
      "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": 15,
      "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": 16,
      "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": 17,
      "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": 18,
      "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": 19,
      "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": 20,
      "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": 21,
      "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": 22,
      "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": 23,
      "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": 24,
      "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": 25,
      "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": 26,
      "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": 27,
      "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": 28,
      "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": 29,
      "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": 30,
      "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": 31,
      "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": 32,
      "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": 33,
      "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": 34,
      "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": 35,
      "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": 36,
      "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": 37,
      "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": 38,
      "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": 39,
      "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": 40,
      "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": 41,
      "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": 42,
      "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": 43,
      "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": 44,
      "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": 45,
      "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": 46,
      "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": 47,
      "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": 48,
      "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": 49,
      "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": 50,
      "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": 51,
      "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": 52,
      "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": 53,
      "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": 54,
      "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": 55,
      "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": 56,
      "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": 57,
      "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": 58,
      "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": 59,
      "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": 60,
      "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": 61,
      "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": 62,
      "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": 63,
      "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": 64,
      "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": 65,
      "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": 66,
      "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": 67,
      "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": 68,
      "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": 69,
      "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": 70,
      "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": 71,
      "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": 72,
      "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": 73,
      "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": 74,
      "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": 75,
      "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": 76,
      "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": 77,
      "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": 78,
      "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": 79,
      "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": 80,
      "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": 81,
      "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": 82,
      "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": 83,
      "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": 84,
      "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": 85,
      "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": 86,
      "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": 87,
      "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": 88,
      "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": 89,
      "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": 90,
      "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": 91,
      "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": 92,
      "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": 93,
      "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": 94,
      "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": 95,
      "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": 96,
      "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": 97,
      "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": 98,
      "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": 99,
      "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": 100,
      "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": 101,
      "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": 102,
      "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": 103,
      "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": 104,
      "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": 105,
      "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": 106,
      "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": 107,
      "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": 108,
      "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": 109,
      "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": 110,
      "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": 0,
      "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": 1,
      "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": 2,
      "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": 3,
      "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": 4,
      "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": 5,
      "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": 6,
      "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": 7,
      "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": 8,
      "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": 9,
      "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": 10,
      "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": 11,
      "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": 12,
      "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": 0,
      "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": 1,
      "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": 2,
      "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": 3,
      "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": 4,
      "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": 5,
      "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": 6,
      "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": 7,
      "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": 8,
      "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": 9,
      "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": 10,
      "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": 11,
      "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": 12,
      "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": 13,
      "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": 14,
      "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": 15,
      "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": 16,
      "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": 17,
      "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": 18,
      "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": 19,
      "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": 20,
      "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": 21,
      "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": 22,
      "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": 23,
      "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": 0,
      "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": 1,
      "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": 2,
      "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": 3,
      "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": 4,
      "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": 5,
      "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": 6,
      "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": 7,
      "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": 8,
      "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": 9,
      "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": 10,
      "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": 11,
      "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": 12,
      "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": 13,
      "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": 14,
      "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": 15,
      "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": 16,
      "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": 17,
      "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": 18,
      "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": 19,
      "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": 20,
      "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": 21,
      "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": 22,
      "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": 23,
      "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": 24,
      "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": 25,
      "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": 26,
      "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": 27,
      "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": 28,
      "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": 29,
      "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": 30,
      "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": 31,
      "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": 32,
      "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": 33,
      "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": 34,
      "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": 35,
      "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": 36,
      "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": 37,
      "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": 38,
      "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": 39,
      "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": 40,
      "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": 41,
      "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": 42,
      "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": 43,
      "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": 44,
      "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": 45,
      "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": 46,
      "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": 47,
      "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": 48,
      "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": 49,
      "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": 50,
      "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": 51,
      "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": 52,
      "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": 53,
      "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": 54,
      "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": 55,
      "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": 56,
      "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": 57,
      "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": 58,
      "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": 59,
      "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": 60,
      "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": 61,
      "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": 62,
      "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": 63,
      "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": 64,
      "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": 65,
      "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": 66,
      "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": 67,
      "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": 68,
      "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": 69,
      "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": 70,
      "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": 71,
      "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": 72,
      "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": 73,
      "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": 74,
      "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": 75,
      "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": 76,
      "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": 77,
      "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": 78,
      "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": 79,
      "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": 80,
      "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": 81,
      "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": 82,
      "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": 83,
      "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": 84,
      "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": 85,
      "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": 86,
      "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": 87,
      "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": 88,
      "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": 89,
      "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": 90,
      "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": 91,
      "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": 92,
      "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": 93,
      "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": 94,
      "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": 95,
      "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": 96,
      "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": 97,
      "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": 98,
      "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": 99,
      "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": 100,
      "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": 101,
      "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": 102,
      "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": 103,
      "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": 104,
      "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": 105,
      "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": 106,
      "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": 107,
      "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": 108,
      "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": 109,
      "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": 110,
      "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": 111,
      "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": 112,
      "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": 113,
      "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": 114,
      "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": 115,
      "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": 116,
      "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.constituenta",
    "pk": 854,
    "fields": {
      "schema": 38,
      "order": 0,
      "alias": "X1",
      "cst_type": "basic",
      "convention": "Под «веществом» понимается химическое название вещества",
      "term_raw": "Вещества",
      "term_resolved": "Вещества",
      "term_forms": [],
      "definition_formal": "",
      "definition_raw": "Множества веществ",
      "definition_resolved": "Множества веществ"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 855,
    "fields": {
      "schema": 38,
      "order": 1,
      "alias": "X2",
      "cst_type": "basic",
      "convention": "«Объекты» представляют собой неопределяемые материальные сущности – физические тела",
      "term_raw": "Объекты",
      "term_resolved": "Объекты",
      "term_forms": [],
      "definition_formal": "",
      "definition_raw": "Множество объектов",
      "definition_resolved": "Множество объектов"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 856,
    "fields": {
      "schema": 38,
      "order": 2,
      "alias": "X3",
      "cst_type": "basic",
      "convention": "«Топос» понимается как часть пространства, имеющая определение, по которому доступными способами идентифицируемы ее границы, в частности, может содержать процессы и объекты, являющиеся входами/выходами в естественных и искусственных процессах данного топоса (термин, более общий, чем сбросы/выбросы/отходы, позволяющий вести регулирование, не специфическое для каждого из трех, а общее)",
      "term_raw": "Топосы",
      "term_resolved": "Топосы",
      "term_forms": [],
      "definition_formal": "",
      "definition_raw": "Множество топосов",
      "definition_resolved": "Множество топосов"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 857,
    "fields": {
      "schema": 38,
      "order": 3,
      "alias": "S1",
      "cst_type": "structure",
      "convention": "",
      "term_raw": "Отношение объектов и веществ",
      "term_resolved": "Отношение объектов и веществ",
      "term_forms": [],
      "definition_formal": "ℬ(X2×X1) ",
      "definition_raw": "Множество пар: объект и вещество, входящее в состав данного объекта",
      "definition_resolved": "Множество пар: объект и вещество, входящее в состав данного объекта"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 858,
    "fields": {
      "schema": 38,
      "order": 4,
      "alias": "S2",
      "cst_type": "structure",
      "convention": "",
      "term_raw": "Положение объектов",
      "term_resolved": "Положение объектов",
      "term_forms": [],
      "definition_formal": "ℬ(X2×X3)",
      "definition_raw": "Множество пар: объект и топос, в котором находится объект",
      "definition_resolved": "Множество пар: объект и топос, в котором находится объект"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 859,
    "fields": {
      "schema": 38,
      "order": 5,
      "alias": "D1",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Непротяженные объекты",
      "term_resolved": "Непротяженные объекты",
      "term_forms": [],
      "definition_formal": "X2 \\ Pr1(S2)",
      "definition_raw": "Множество объектов, не находящихся ни в одном топосе",
      "definition_resolved": "Множество объектов, не находящихся ни в одном топосе"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 860,
    "fields": {
      "schema": 38,
      "order": 6,
      "alias": "D2",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Нематериальные объекты",
      "term_resolved": "Нематериальные объекты",
      "term_forms": [],
      "definition_formal": "X2 \\ Pr1(S1)",
      "definition_raw": "Множество объектов, не состоящих из веществ",
      "definition_resolved": "Множество объектов, не состоящих из веществ"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 861,
    "fields": {
      "schema": 38,
      "order": 7,
      "alias": "A1",
      "cst_type": "axiom",
      "convention": "",
      "term_raw": "",
      "term_resolved": "",
      "term_forms": [],
      "definition_formal": "D2 = ∅",
      "definition_raw": "Каждый объект состоит хотя бы из одного вещества",
      "definition_resolved": "Каждый объект состоит хотя бы из одного вещества"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 862,
    "fields": {
      "schema": 38,
      "order": 8,
      "alias": "D3",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Пустые топосы",
      "term_resolved": "Пустые топосы",
      "term_forms": [],
      "definition_formal": "X3 \\ Pr2(S2)",
      "definition_raw": "Множество топосов, в которых не находится ни одного объекта",
      "definition_resolved": "Множество топосов, в которых не находится ни одного объекта"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 863,
    "fields": {
      "schema": 38,
      "order": 9,
      "alias": "A2",
      "cst_type": "axiom",
      "convention": "",
      "term_raw": "Пустых топосов нет",
      "term_resolved": "Пустых топосов нет",
      "term_forms": [],
      "definition_formal": "D3 = ∅",
      "definition_raw": "Каждый топос содержит хотя бы один объект",
      "definition_resolved": "Каждый топос содержит хотя бы один объект"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 864,
    "fields": {
      "schema": 38,
      "order": 10,
      "alias": "D4",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Составы объектов",
      "term_resolved": "Составы объектов",
      "term_forms": [],
      "definition_formal": "I{(ξ,σ) | ξ:∈X2; σ:=Pr2(Fi1[{ξ}](S1))}",
      "definition_raw": "Множество пар: объект и множество всех составляющих его веществ",
      "definition_resolved": "Множество пар: объект и множество всех составляющих его веществ"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 865,
    "fields": {
      "schema": 38,
      "order": 11,
      "alias": "D5",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Объекты, содержащие вещество",
      "term_resolved": "Объекты, содержащие вещество",
      "term_forms": [],
      "definition_formal": "I{(α,σ) | α:∈X1; σ:=Pr1(Fi2[{α}](S1))}",
      "definition_raw": "Множество пар: вещество и множество всех объектов, содержащих данное вещество",
      "definition_resolved": "Множество пар: вещество и множество всех объектов, содержащих данное вещество"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 866,
    "fields": {
      "schema": 38,
      "order": 12,
      "alias": "D6",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Смеси (Объектные среды)",
      "term_resolved": "Смеси (Объектные среды)",
      "term_forms": [],
      "definition_formal": "I{(λ,σ) | λ:∈X3; σ:=Pr1(Fi2[{λ}](S2))}",
      "definition_raw": "Множество пар: топос и подмножество объектов, находящихся в данном топосе",
      "definition_resolved": "Множество пар: топос и подмножество объектов, находящихся в данном топосе"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 867,
    "fields": {
      "schema": 38,
      "order": 13,
      "alias": "D7",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Составы смесей",
      "term_resolved": "Составы смесей",
      "term_forms": [],
      "definition_formal": "I{(ξ,σ) | ξ:∈D6; σ:=Pr2(Fi1[pr2(ξ)](S1))}",
      "definition_raw": "Множество пар: смесь и вещества, входящие в состав ее объектов",
      "definition_resolved": "Множество пар: смесь и вещества, входящие в состав ее объектов"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 868,
    "fields": {
      "schema": 38,
      "order": 14,
      "alias": "D9",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Концентрации веществ в топосе",
      "term_resolved": "Концентрации веществ в топосе",
      "term_forms": [],
      "definition_formal": "I{(α,τ,σ1,σ2) | α:∈X1; τ:∈X3; \nσ2:=Pr1(Fi2[{τ}](S2)); \nσα:=Pr1(Fi2[{α}](S1)); \nσ1:=σ2∩σα}",
      "definition_raw": "Множество четверок: вещество, топос, множество объектов, содержащих данное вещество в данном топосе, множество объектов, содержащихся в данном топосе",
      "definition_resolved": "Множество четверок: вещество, топос, множество объектов, содержащих данное вещество в данном топосе, множество объектов, содержащихся в данном топосе"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 869,
    "fields": {
      "schema": 38,
      "order": 15,
      "alias": "D10",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Универсальные вещества",
      "term_resolved": "Универсальные вещества",
      "term_forms": [],
      "definition_formal": "D{ξ∈X1 | Pr1(Fi2[{ξ}](S1)) = X2}",
      "definition_raw": "Множество веществ, входящий в каждый объект",
      "definition_resolved": "Множество веществ, входящий в каждый объект"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 871,
    "fields": {
      "schema": 39,
      "order": 0,
      "alias": "X1",
      "cst_type": "basic",
      "convention": "",
      "term_raw": "Абстрактные объекты",
      "term_resolved": "Абстрактные объекты",
      "term_forms": [],
      "definition_formal": "",
      "definition_raw": "Множество объектов",
      "definition_resolved": "Множество объектов"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 872,
    "fields": {
      "schema": 39,
      "order": 1,
      "alias": "X2",
      "cst_type": "basic",
      "convention": "",
      "term_raw": "Типы отношений",
      "term_resolved": "Типы отношений",
      "term_forms": [],
      "definition_formal": "",
      "definition_raw": "Множество типов отношений",
      "definition_resolved": "Множество типов отношений"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 873,
    "fields": {
      "schema": 39,
      "order": 2,
      "alias": "S1",
      "cst_type": "structure",
      "convention": "",
      "term_raw": "Отношения между объектами",
      "term_resolved": "Отношения между объектами",
      "term_forms": [],
      "definition_formal": "ℬ(X1×X1×X2)",
      "definition_raw": "Множество троек: два объекта и тип отношения между ними",
      "definition_resolved": "Множество троек: два объекта и тип отношения между ними"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 874,
    "fields": {
      "schema": 39,
      "order": 3,
      "alias": "A1",
      "cst_type": "axiom",
      "convention": "",
      "term_raw": "Симметричность",
      "term_resolved": "Симметричность",
      "term_forms": [],
      "definition_formal": "∀(α,β,γ)∈S1 (β,α,γ)∈S1",
      "definition_raw": "Симметричность отношений между объектами",
      "definition_resolved": "Симметричность отношений между объектами"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 875,
    "fields": {
      "schema": 39,
      "order": 4,
      "alias": "D1",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Аспекты объекта",
      "term_resolved": "Аспекты объекта",
      "term_forms": [],
      "definition_formal": "I{(ξ,σ) | ξ:∈X1; σ:=Pr3(Fi1[{ξ}](S1))}",
      "definition_raw": "Множество пар: объект и множество отношений, в которых он состоит",
      "definition_resolved": "Множество пар: объект и множество отношений, в которых он состоит"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 876,
    "fields": {
      "schema": 39,
      "order": 5,
      "alias": "D2",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Связанные объекты",
      "term_resolved": "Связанные объекты",
      "term_forms": [],
      "definition_formal": "Pr1,2(S1)",
      "definition_raw": "Множество пар: объект и связанный с ним объект",
      "definition_resolved": "Множество пар: объект и связанный с ним объект"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 877,
    "fields": {
      "schema": 39,
      "order": 6,
      "alias": "D3",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Объекты, состоящие в заданном отношении",
      "term_resolved": "Объекты, состоящие в заданном отношении",
      "term_forms": [],
      "definition_formal": "I{(ξ,σ) | ξ:∈X2; σ:=Pr1(Fi3[{ξ}](S1))}",
      "definition_raw": "",
      "definition_resolved": ""
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 878,
    "fields": {
      "schema": 40,
      "order": 0,
      "alias": "X1",
      "cst_type": "basic",
      "convention": "Под объектами понимаются физические тела",
      "term_raw": "Объекты",
      "term_resolved": "Объекты",
      "term_forms": [],
      "definition_formal": "",
      "definition_raw": "Множество объектов",
      "definition_resolved": "Множество объектов"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 879,
    "fields": {
      "schema": 40,
      "order": 1,
      "alias": "X2",
      "cst_type": "basic",
      "convention": "Типовые изменения объектов представляют собой, например, \"химические реакции\", \"преобразование формы\", \"преобразование фазового состояния\"",
      "term_raw": "Типы изменений",
      "term_resolved": "Типы изменений",
      "term_forms": [],
      "definition_formal": "",
      "definition_raw": "Множество типовых изменений",
      "definition_resolved": "Множество типовых изменений"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 880,
    "fields": {
      "schema": 40,
      "order": 2,
      "alias": "S1",
      "cst_type": "structure",
      "convention": "",
      "term_raw": "Элементарные процессы",
      "term_resolved": "Элементарные процессы",
      "term_forms": [],
      "definition_formal": "ℬ(ℬ(X1)×X2×ℬ(X1))",
      "definition_raw": "Множество троек: множество объектов-входов, типовое изменение, множество объектов-выходов",
      "definition_resolved": "Множество троек: множество объектов-входов, типовое изменение, множество объектов-выходов"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 881,
    "fields": {
      "schema": 40,
      "order": 3,
      "alias": "A1",
      "cst_type": "axiom",
      "convention": "",
      "term_raw": "",
      "term_resolved": "",
      "term_forms": [],
      "definition_formal": "∀σ1,σ2∈S1 ((pr1(σ1) = pr1(σ2) & pr3(σ1) = pr3(σ2)) ⇒ pr2(σ1) = pr2(σ2))",
      "definition_raw": "Для одного набора входов и выходов только один тип",
      "definition_resolved": "Для одного набора входов и выходов только один тип"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 882,
    "fields": {
      "schema": 40,
      "order": 4,
      "alias": "D1",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Неизменямые объекты процесса",
      "term_resolved": "Неизменямые объекты процесса",
      "term_forms": [],
      "definition_formal": "I{(ξ,σ) | ξ:∈S1; σ:=pr1(ξ)∩pr3(ξ)}",
      "definition_raw": "Множество пар: элементарный процесс и множество всех объектов, входящих одновременно во вход и в выход этого процесса",
      "definition_resolved": "Множество пар: элементарный процесс и множество всех объектов, входящих одновременно во вход и в выход этого процесса"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 883,
    "fields": {
      "schema": 40,
      "order": 5,
      "alias": "D2",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Поглощаемые объекты процесса",
      "term_resolved": "Поглощаемые объекты процесса",
      "term_forms": [],
      "definition_formal": "I{(ξ,σ) | ξ:∈S1; σ:=pr1(ξ)\\pr3(ξ)}",
      "definition_raw": "Множество пар: элементарный процесс и множество всех объектов, входящих во вход, но не в выход этого элементарного процесса",
      "definition_resolved": "Множество пар: элементарный процесс и множество всех объектов, входящих во вход, но не в выход этого элементарного процесса"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 884,
    "fields": {
      "schema": 40,
      "order": 6,
      "alias": "D3",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Создаваемые объекты процесса",
      "term_resolved": "Создаваемые объекты процесса",
      "term_forms": [],
      "definition_formal": "I{(ξ,σ) | ξ:∈S1; σ:=pr3(ξ)\\pr1(ξ)}",
      "definition_raw": "Множество пар: элементарный процесс и множество всех объектов, входящих в выход, но не во вход этого элементарного процесса",
      "definition_resolved": "Множество пар: элементарный процесс и множество всех объектов, входящих в выход, но не во вход этого элементарного процесса"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 885,
    "fields": {
      "schema": 40,
      "order": 7,
      "alias": "D4",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Неизменяемые объекты",
      "term_resolved": "Неизменяемые объекты",
      "term_forms": [],
      "definition_formal": "X1 \\ red(Pr2(D2))",
      "definition_raw": "Множество объектов, для которых нет процесса, поглащающего данный объект",
      "definition_resolved": "Множество объектов, для которых нет процесса, поглащающего данный объект"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 886,
    "fields": {
      "schema": 40,
      "order": 8,
      "alias": "D5",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Невосполнимые объекты",
      "term_resolved": "Невосполнимые объекты",
      "term_forms": [],
      "definition_formal": "X1 \\ red(Pr2(D3))",
      "definition_raw": "Множество объектов, для которых нет процесса, создающего данный объект",
      "definition_resolved": "Множество объектов, для которых нет процесса, создающего данный объект"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 887,
    "fields": {
      "schema": 40,
      "order": 9,
      "alias": "F1",
      "cst_type": "function",
      "convention": "",
      "term_raw": "Связанные тройки",
      "term_resolved": "Связанные тройки",
      "term_forms": [],
      "definition_formal": "[α∈ℬ(ℬ(R1)×R2×ℬ(R1))] D{(σ1,σ2)∈α×α | pr3(σ1)∩pr1(σ2)≠∅}",
      "definition_raw": "",
      "definition_resolved": ""
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 888,
    "fields": {
      "schema": 40,
      "order": 10,
      "alias": "F2",
      "cst_type": "function",
      "convention": "",
      "term_raw": "Связные сети",
      "term_resolved": "Связные сети",
      "term_forms": [],
      "definition_formal": "[λ∈ℬ(R1×R1)] \nD{ξ∈ℬ(Pr1(λ)∪Pr2(λ)) | ∀α∈ξ ∃β∈ξ (α≠β & ((α,β)∈λ ∨ (β,α)∈λ))}",
      "definition_raw": "",
      "definition_resolved": ""
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 889,
    "fields": {
      "schema": 40,
      "order": 11,
      "alias": "D6",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Связанные элементарные процессы",
      "term_resolved": "Связанные элементарные процессы",
      "term_forms": [],
      "definition_formal": "F1[S1]",
      "definition_raw": "Множество пар процессов, в которых выход первого процесса и вход второго пересекаются",
      "definition_resolved": "Множество пар процессов, в которых выход первого процесса и вход второго пересекаются"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 890,
    "fields": {
      "schema": 40,
      "order": 12,
      "alias": "D7",
      "cst_type": "term",
      "convention": "(в т.ч. составного, т.е. сети процессов)",
      "term_raw": "Необходимые процессы для процесса",
      "term_resolved": "Необходимые процессы для процесса",
      "term_forms": [],
      "definition_formal": "I{(ξ,σ) | ξ:∈S1; σ:=Pr1(Fi2[{ξ}](D6))}",
      "definition_raw": "Процессы, обеспечивающие протекание процесса - все процессы, некоторыми выходами которых являются входы в данный процесс",
      "definition_resolved": "Процессы, обеспечивающие протекание процесса - все процессы, некоторыми выходами которых являются входы в данный процесс"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 891,
    "fields": {
      "schema": 40,
      "order": 13,
      "alias": "D8",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Сети элементарных процессов",
      "term_resolved": "Сети элементарных процессов",
      "term_forms": [],
      "definition_formal": "F2[D6]",
      "definition_raw": "Множество множеств процессов, связанных по входам и выходам",
      "definition_resolved": "Множество множеств процессов, связанных по входам и выходам"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 892,
    "fields": {
      "schema": 40,
      "order": 14,
      "alias": "D9",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Несвязанные входы и выходы сети процессов",
      "term_resolved": "Несвязанные входы и выходы сети процессов",
      "term_forms": [],
      "definition_formal": "I{(ξ,σ1,σ2) | ξ:∈D8; σ1:= red(Pr1(ξ)\\Pr3(ξ)); σ2:= red(Pr3(ξ)\\Pr1(ξ))}",
      "definition_raw": "Множество троек: сеть элементарных процессов, множество несвязанных входов, множество несвязанных выходов",
      "definition_resolved": "Множество троек: сеть элементарных процессов, множество несвязанных входов, множество несвязанных выходов"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 893,
    "fields": {
      "schema": 40,
      "order": 15,
      "alias": "D10",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Внутренние объекты сети процессов",
      "term_resolved": "Внутренние объекты сети процессов",
      "term_forms": [],
      "definition_formal": "I{(ξ,σ) | ξ:∈D8; σ:=red(Pr1(ξ))∩red(Pr3(ξ))}",
      "definition_raw": "Множество пар: сеть процессов и множество объектов, являющихся одновременно входами и выходами процессов данной сети",
      "definition_resolved": "Множество пар: сеть процессов и множество объектов, являющихся одновременно входами и выходами процессов данной сети"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 894,
    "fields": {
      "schema": 40,
      "order": 16,
      "alias": "D11",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Составные процессы",
      "term_resolved": "Составные процессы",
      "term_forms": [],
      "definition_formal": "Pr2,1,3(D9)",
      "definition_raw": "Множество троек: несвязанные входы, сеть элементарных процессов и несвязанные выходы этой сети процессов",
      "definition_resolved": "Множество троек: несвязанные входы, сеть элементарных процессов и несвязанные выходы этой сети процессов"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 895,
    "fields": {
      "schema": 40,
      "order": 17,
      "alias": "D12",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Связанные составные процессы",
      "term_resolved": "Связанные составные процессы",
      "term_forms": [],
      "definition_formal": "F1[D11]",
      "definition_raw": "Множество пар составных процессов, для которых существуют общие элементы выхода первого процесса и входа второго",
      "definition_resolved": "Множество пар составных процессов, для которых существуют общие элементы выхода первого процесса и входа второго"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 896,
    "fields": {
      "schema": 40,
      "order": 18,
      "alias": "D13",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Сети составных процессов",
      "term_resolved": "Сети составных процессов",
      "term_forms": [],
      "definition_formal": "F2[D12]",
      "definition_raw": "Множество множеств составных процессов, связанных по входам и выходам",
      "definition_resolved": "Множество множеств составных процессов, связанных по входам и выходам"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 897,
    "fields": {
      "schema": 40,
      "order": 19,
      "alias": "D14",
      "cst_type": "term",
      "convention": "!!!",
      "term_raw": "Топология сети процессов",
      "term_resolved": "Топология сети процессов",
      "term_forms": [],
      "definition_formal": "{ξ∈ℬ(D13) |∀α,β∈ξ ∀γ∈ℬ(ℬ(X1)×ℬ(ℬ(X1)×X2×ℬ(X1))×ℬ(X1)) ((debool(α)=debool(β)) &  (debool(γ)=debool(α) ⇒ γ∈ξ))}",
      "definition_raw": "Группы сетей составных процессов с одинаковой топологией.\nТопология задается пересечением входом/выходов процессов. Поэтому чтобы у группы сетей была одинаковая топология достаточно одинакового состава процессов в сети.",
      "definition_resolved": "Группы сетей составных процессов с одинаковой топологией.\nТопология задается пересечением входом/выходов процессов. Поэтому чтобы у группы сетей была одинаковая топология достаточно одинакового состава процессов в сети."
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 898,
    "fields": {
      "schema": 40,
      "order": 20,
      "alias": "D15",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Однократная сеть процессов",
      "term_resolved": "Однократная сеть процессов",
      "term_forms": [],
      "definition_formal": "{ξ∈D13 |{ξ}∈D14 }",
      "definition_raw": "Сеть процессов, топология которой не повторяется ни в одной другой сети процессов",
      "definition_resolved": "Сеть процессов, топология которой не повторяется ни в одной другой сети процессов"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 899,
    "fields": {
      "schema": 40,
      "order": 21,
      "alias": "D16",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Воспроизводящаяся сеть процессов",
      "term_resolved": "Воспроизводящаяся сеть процессов",
      "term_forms": [],
      "definition_formal": "{ξ∈D14 | card(ξ)≥2}",
      "definition_raw": "Группы из двух и более сетей процессов с одинаковой топологией",
      "definition_resolved": "Группы из двух и более сетей процессов с одинаковой топологией"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 900,
    "fields": {
      "schema": 40,
      "order": 22,
      "alias": "D17",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Процессная целостность",
      "term_resolved": "Процессная целостность",
      "term_forms": [],
      "definition_formal": "{ξ∈D16| ∀α∈ξ ∃β∈ξ ((α≠β) ⇒ ((Pr1(α)∩Pr3(β))≠∅ ∨ (Pr3(α)∩Pr1(β))≠∅))}",
      "definition_raw": "Устойчиво повторяющаяся сеть процессов (с одинаковой топологией)\nГруппы сетей процессов с одинаковой топологией, связанных по входам и выходам.",
      "definition_resolved": "Устойчиво повторяющаяся сеть процессов (с одинаковой топологией)\nГруппы сетей процессов с одинаковой топологией, связанных по входам и выходам."
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 924,
    "fields": {
      "schema": 43,
      "order": 0,
      "alias": "X1",
      "cst_type": "basic",
      "convention": "Под «веществом» понимается химическое название вещества",
      "term_raw": "Вещества",
      "term_resolved": "Вещества",
      "term_forms": [],
      "definition_formal": "",
      "definition_raw": "Множества веществ",
      "definition_resolved": "Множества веществ"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 925,
    "fields": {
      "schema": 43,
      "order": 1,
      "alias": "X2",
      "cst_type": "basic",
      "convention": "«Объекты» представляют собой неопределяемые материальные сущности – физические тела",
      "term_raw": "Объекты",
      "term_resolved": "Объекты",
      "term_forms": [],
      "definition_formal": "",
      "definition_raw": "Множество объектов",
      "definition_resolved": "Множество объектов"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 926,
    "fields": {
      "schema": 43,
      "order": 2,
      "alias": "X3",
      "cst_type": "basic",
      "convention": "«Топос» понимается как часть пространства, имеющая определение, по которому доступными способами идентифицируемы ее границы, в частности, может содержать процессы и объекты, являющиеся входами/выходами в естественных и искусственных процессах данного топоса (термин, более общий, чем сбросы/выбросы/отходы, позволяющий вести регулирование, не специфическое для каждого из трех, а общее)",
      "term_raw": "Топосы",
      "term_resolved": "Топосы",
      "term_forms": [],
      "definition_formal": "",
      "definition_raw": "Множество топосов",
      "definition_resolved": "Множество топосов"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 927,
    "fields": {
      "schema": 43,
      "order": 4,
      "alias": "S1",
      "cst_type": "structure",
      "convention": "",
      "term_raw": "Отношение объектов и веществ",
      "term_resolved": "Отношение объектов и веществ",
      "term_forms": [],
      "definition_formal": "ℬ(X2×X1) ",
      "definition_raw": "Множество пар: объект и вещество, входящее в состав данного объекта",
      "definition_resolved": "Множество пар: объект и вещество, входящее в состав данного объекта"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 928,
    "fields": {
      "schema": 43,
      "order": 5,
      "alias": "S2",
      "cst_type": "structure",
      "convention": "",
      "term_raw": "Положение объектов",
      "term_resolved": "Положение объектов",
      "term_forms": [],
      "definition_formal": "ℬ(X2×X3)",
      "definition_raw": "Множество пар: объект и топос, в котором находится объект",
      "definition_resolved": "Множество пар: объект и топос, в котором находится объект"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 929,
    "fields": {
      "schema": 43,
      "order": 14,
      "alias": "D5",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Непротяженные объекты",
      "term_resolved": "Непротяженные объекты",
      "term_forms": [],
      "definition_formal": "X2 \\ Pr1(S2)",
      "definition_raw": "Множество объектов, не находящихся ни в одном топосе",
      "definition_resolved": "Множество объектов, не находящихся ни в одном топосе"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 930,
    "fields": {
      "schema": 43,
      "order": 6,
      "alias": "D1",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Нематериальные объекты",
      "term_resolved": "Нематериальные объекты",
      "term_forms": [],
      "definition_formal": "X2 \\ Pr1(S1)",
      "definition_raw": "Множество объектов, не состоящих из веществ",
      "definition_resolved": "Множество объектов, не состоящих из веществ"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 931,
    "fields": {
      "schema": 43,
      "order": 7,
      "alias": "A1",
      "cst_type": "axiom",
      "convention": "",
      "term_raw": "",
      "term_resolved": "",
      "term_forms": [],
      "definition_formal": "D1 = ∅",
      "definition_raw": "Каждый объект состоит хотя бы из одного вещества",
      "definition_resolved": "Каждый объект состоит хотя бы из одного вещества"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 932,
    "fields": {
      "schema": 43,
      "order": 8,
      "alias": "D2",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Пустые топосы",
      "term_resolved": "Пустые топосы",
      "term_forms": [],
      "definition_formal": "X3 \\ Pr2(S2)",
      "definition_raw": "Множество топосов, в которых не находится ни одного объекта",
      "definition_resolved": "Множество топосов, в которых не находится ни одного объекта"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 933,
    "fields": {
      "schema": 43,
      "order": 9,
      "alias": "A2",
      "cst_type": "axiom",
      "convention": "",
      "term_raw": "Пустых топосов нет",
      "term_resolved": "Пустых топосов нет",
      "term_forms": [],
      "definition_formal": "D2 = ∅",
      "definition_raw": "Каждый топос содержит хотя бы один объект",
      "definition_resolved": "Каждый топос содержит хотя бы один объект"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 934,
    "fields": {
      "schema": 43,
      "order": 15,
      "alias": "D6",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Составы объектов",
      "term_resolved": "Составы объектов",
      "term_forms": [],
      "definition_formal": "I{(ξ,σ) | ξ:∈X2; σ:=Pr2(Fi1[{ξ}](S1))}",
      "definition_raw": "Множество пар: объект и множество всех составляющих его веществ",
      "definition_resolved": "Множество пар: объект и множество всех составляющих его веществ"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 935,
    "fields": {
      "schema": 43,
      "order": 16,
      "alias": "D7",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Объекты, содержащие вещество",
      "term_resolved": "Объекты, содержащие вещество",
      "term_forms": [],
      "definition_formal": "I{(α,σ) | α:∈X1; σ:=Pr1(Fi2[{α}](S1))}",
      "definition_raw": "Множество пар: вещество и множество всех объектов, содержащих данное вещество",
      "definition_resolved": "Множество пар: вещество и множество всех объектов, содержащих данное вещество"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 936,
    "fields": {
      "schema": 43,
      "order": 10,
      "alias": "D3",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Смеси (Объектные среды)",
      "term_resolved": "Смеси (Объектные среды)",
      "term_forms": [],
      "definition_formal": "I{(λ,σ) | λ:∈X3; σ:=Pr1(Fi2[{λ}](S2))}",
      "definition_raw": "Множество пар: топос и подмножество объектов, находящихся в данном топосе",
      "definition_resolved": "Множество пар: топос и подмножество объектов, находящихся в данном топосе"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 937,
    "fields": {
      "schema": 43,
      "order": 17,
      "alias": "D8",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Составы смесей",
      "term_resolved": "Составы смесей",
      "term_forms": [],
      "definition_formal": "I{(ξ,σ) | ξ:∈D3; σ:=Pr2(Fi1[pr2(ξ)](S1))}",
      "definition_raw": "Множество пар: смесь и вещества, входящие в состав ее объектов",
      "definition_resolved": "Множество пар: смесь и вещества, входящие в состав ее объектов"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 938,
    "fields": {
      "schema": 43,
      "order": 18,
      "alias": "D9",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Концентрации веществ в топосе",
      "term_resolved": "Концентрации веществ в топосе",
      "term_forms": [],
      "definition_formal": "I{(α,τ,σ1,σ2) | α:∈X1; τ:∈X3; \nσ2:=Pr1(Fi2[{τ}](S2)); \nσα:=Pr1(Fi2[{α}](S1)); \nσ1:=σ2∩σα}",
      "definition_raw": "Множество четверок: вещество, топос, множество объектов, содержащих данное вещество в данном топосе, множество объектов, содержащихся в данном топосе",
      "definition_resolved": "Множество четверок: вещество, топос, множество объектов, содержащих данное вещество в данном топосе, множество объектов, содержащихся в данном топосе"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 939,
    "fields": {
      "schema": 43,
      "order": 19,
      "alias": "D10",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Универсальные вещества",
      "term_resolved": "Универсальные вещества",
      "term_forms": [],
      "definition_formal": "D{ξ∈X1 | Pr1(Fi2[{ξ}](S1)) = X2}",
      "definition_raw": "Множество веществ, входящий в каждый объект",
      "definition_resolved": "Множество веществ, входящий в каждый объект"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 941,
    "fields": {
      "schema": 43,
      "order": 3,
      "alias": "X4",
      "cst_type": "basic",
      "convention": "",
      "term_raw": "Типы отношений",
      "term_resolved": "Типы отношений",
      "term_forms": [],
      "definition_formal": "",
      "definition_raw": "Множество типов отношений",
      "definition_resolved": "Множество типов отношений"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 942,
    "fields": {
      "schema": 43,
      "order": 11,
      "alias": "S3",
      "cst_type": "structure",
      "convention": "",
      "term_raw": "Отношения между объектами",
      "term_resolved": "Отношения между объектами",
      "term_forms": [],
      "definition_formal": "ℬ(D3×D3×X4)",
      "definition_raw": "Множество троек: два объекта и тип отношения между ними",
      "definition_resolved": "Множество троек: два объекта и тип отношения между ними"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 943,
    "fields": {
      "schema": 43,
      "order": 13,
      "alias": "A3",
      "cst_type": "axiom",
      "convention": "",
      "term_raw": "Симметричность",
      "term_resolved": "Симметричность",
      "term_forms": [],
      "definition_formal": "∀(α,β,γ)∈S3 (β,α,γ)∈S3",
      "definition_raw": "Симметричность отношений между объектами",
      "definition_resolved": "Симметричность отношений между объектами"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 944,
    "fields": {
      "schema": 43,
      "order": 20,
      "alias": "D11",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Аспекты объекта",
      "term_resolved": "Аспекты объекта",
      "term_forms": [],
      "definition_formal": "I{(ξ,σ) | ξ:∈D3; σ:=Pr3(Fi1[{ξ}](S3))}",
      "definition_raw": "Множество пар: объект и множество отношений, в которых он состоит",
      "definition_resolved": "Множество пар: объект и множество отношений, в которых он состоит"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 945,
    "fields": {
      "schema": 43,
      "order": 12,
      "alias": "D4",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Связанные объекты",
      "term_resolved": "Связанные объекты",
      "term_forms": [],
      "definition_formal": "Pr1,2(S3)",
      "definition_raw": "Множество пар: объект и связанный с ним объект",
      "definition_resolved": "Множество пар: объект и связанный с ним объект"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 946,
    "fields": {
      "schema": 43,
      "order": 21,
      "alias": "D12",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Объекты, состоящие в заданном отношении",
      "term_resolved": "Объекты, состоящие в заданном отношении",
      "term_forms": [],
      "definition_formal": "I{(ξ,σ) | ξ:∈X4; σ:=Pr1(Fi3[{ξ}](S3))}",
      "definition_raw": "",
      "definition_resolved": ""
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 947,
    "fields": {
      "schema": 44,
      "order": 0,
      "alias": "X1",
      "cst_type": "basic",
      "convention": "Под объектами понимаются физические тела",
      "term_raw": "Объекты",
      "term_resolved": "Объекты",
      "term_forms": [],
      "definition_formal": "",
      "definition_raw": "Множество объектов",
      "definition_resolved": "Множество объектов"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 948,
    "fields": {
      "schema": 44,
      "order": 1,
      "alias": "X2",
      "cst_type": "basic",
      "convention": "Типовые изменения объектов представляют собой, например, \"химические реакции\", \"преобразование формы\", \"преобразование фазового состояния\"",
      "term_raw": "Типы изменений",
      "term_resolved": "Типы изменений",
      "term_forms": [],
      "definition_formal": "",
      "definition_raw": "Множество типовых изменений",
      "definition_resolved": "Множество типовых изменений"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 949,
    "fields": {
      "schema": 44,
      "order": 5,
      "alias": "S1",
      "cst_type": "structure",
      "convention": "",
      "term_raw": "Элементарные процессы",
      "term_resolved": "Элементарные процессы",
      "term_forms": [],
      "definition_formal": "ℬ(ℬ(X1)×X2×ℬ(X1))",
      "definition_raw": "Множество троек: множество объектов-входов, типовое изменение, множество объектов-выходов",
      "definition_resolved": "Множество троек: множество объектов-входов, типовое изменение, множество объектов-выходов"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 950,
    "fields": {
      "schema": 44,
      "order": 6,
      "alias": "A1",
      "cst_type": "axiom",
      "convention": "",
      "term_raw": "",
      "term_resolved": "",
      "term_forms": [],
      "definition_formal": "∀σ1,σ2∈S1 ((pr1(σ1) = pr1(σ2) & pr3(σ1) = pr3(σ2)) ⇒ pr2(σ1) = pr2(σ2))",
      "definition_raw": "Для одного набора входов и выходов только один тип",
      "definition_resolved": "Для одного набора входов и выходов только один тип"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 951,
    "fields": {
      "schema": 44,
      "order": 17,
      "alias": "D5",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Неизменямые объекты процесса",
      "term_resolved": "Неизменямые объекты процесса",
      "term_forms": [],
      "definition_formal": "I{(ξ,σ) | ξ:∈S1; σ:=pr1(ξ)∩pr3(ξ)}",
      "definition_raw": "Множество пар: элементарный процесс и множество всех объектов, входящих одновременно во вход и в выход этого процесса",
      "definition_resolved": "Множество пар: элементарный процесс и множество всех объектов, входящих одновременно во вход и в выход этого процесса"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 952,
    "fields": {
      "schema": 44,
      "order": 18,
      "alias": "D6",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Поглощаемые объекты процесса",
      "term_resolved": "Поглощаемые объекты процесса",
      "term_forms": [],
      "definition_formal": "I{(ξ,σ) | ξ:∈S1; σ:=pr1(ξ)\\pr3(ξ)}",
      "definition_raw": "Множество пар: элементарный процесс и множество всех объектов, входящих во вход, но не в выход этого элементарного процесса",
      "definition_resolved": "Множество пар: элементарный процесс и множество всех объектов, входящих во вход, но не в выход этого элементарного процесса"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 953,
    "fields": {
      "schema": 44,
      "order": 19,
      "alias": "D7",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Создаваемые объекты процесса",
      "term_resolved": "Создаваемые объекты процесса",
      "term_forms": [],
      "definition_formal": "I{(ξ,σ) | ξ:∈S1; σ:=pr3(ξ)\\pr1(ξ)}",
      "definition_raw": "Множество пар: элементарный процесс и множество всех объектов, входящих в выход, но не во вход этого элементарного процесса",
      "definition_resolved": "Множество пар: элементарный процесс и множество всех объектов, входящих в выход, но не во вход этого элементарного процесса"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 954,
    "fields": {
      "schema": 44,
      "order": 20,
      "alias": "D8",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Неизменяемые объекты",
      "term_resolved": "Неизменяемые объекты",
      "term_forms": [],
      "definition_formal": "X1 \\ red(Pr2(D6))",
      "definition_raw": "Множество объектов, для которых нет процесса, поглащающего данный объект",
      "definition_resolved": "Множество объектов, для которых нет процесса, поглащающего данный объект"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 955,
    "fields": {
      "schema": 44,
      "order": 21,
      "alias": "D9",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Невосполнимые объекты",
      "term_resolved": "Невосполнимые объекты",
      "term_forms": [],
      "definition_formal": "X1 \\ red(Pr2(D7))",
      "definition_raw": "Множество объектов, для которых нет процесса, создающего данный объект",
      "definition_resolved": "Множество объектов, для которых нет процесса, создающего данный объект"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 956,
    "fields": {
      "schema": 44,
      "order": 22,
      "alias": "F1",
      "cst_type": "function",
      "convention": "",
      "term_raw": "Связанные тройки",
      "term_resolved": "Связанные тройки",
      "term_forms": [],
      "definition_formal": "[α∈ℬ(ℬ(R1)×R2×ℬ(R1))] D{(σ1,σ2)∈α×α | pr3(σ1)∩pr1(σ2)≠∅}",
      "definition_raw": "",
      "definition_resolved": ""
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 957,
    "fields": {
      "schema": 44,
      "order": 23,
      "alias": "F2",
      "cst_type": "function",
      "convention": "",
      "term_raw": "Связные сети",
      "term_resolved": "Связные сети",
      "term_forms": [],
      "definition_formal": "[λ∈ℬ(R1×R1)] \nD{ξ∈ℬ(Pr1(λ)∪Pr2(λ)) | ∀α∈ξ ∃β∈ξ (α≠β & ((α,β)∈λ ∨ (β,α)∈λ))}",
      "definition_raw": "",
      "definition_resolved": ""
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 958,
    "fields": {
      "schema": 44,
      "order": 24,
      "alias": "D10",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Связанные элементарные процессы",
      "term_resolved": "Связанные элементарные процессы",
      "term_forms": [],
      "definition_formal": "F1[S1]",
      "definition_raw": "Множество пар процессов, в которых выход первого процесса и вход второго пересекаются",
      "definition_resolved": "Множество пар процессов, в которых выход первого процесса и вход второго пересекаются"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 959,
    "fields": {
      "schema": 44,
      "order": 25,
      "alias": "D11",
      "cst_type": "term",
      "convention": "(в т.ч. составного, т.е. сети процессов)",
      "term_raw": "Необходимые процессы для процесса",
      "term_resolved": "Необходимые процессы для процесса",
      "term_forms": [],
      "definition_formal": "I{(ξ,σ) | ξ:∈S1; σ:=Pr1(Fi2[{ξ}](D10))}",
      "definition_raw": "Процессы, обеспечивающие протекание процесса - все процессы, некоторыми выходами которых являются входы в данный процесс",
      "definition_resolved": "Процессы, обеспечивающие протекание процесса - все процессы, некоторыми выходами которых являются входы в данный процесс"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 960,
    "fields": {
      "schema": 44,
      "order": 26,
      "alias": "D12",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Сети элементарных процессов",
      "term_resolved": "Сети элементарных процессов",
      "term_forms": [],
      "definition_formal": "F2[D10]",
      "definition_raw": "Множество множеств процессов, связанных по входам и выходам",
      "definition_resolved": "Множество множеств процессов, связанных по входам и выходам"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 961,
    "fields": {
      "schema": 44,
      "order": 27,
      "alias": "D13",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Несвязанные входы и выходы сети процессов",
      "term_resolved": "Несвязанные входы и выходы сети процессов",
      "term_forms": [],
      "definition_formal": "I{(ξ,σ1,σ2) | ξ:∈D12; σ1:= red(Pr1(ξ)\\Pr3(ξ)); σ2:= red(Pr3(ξ)\\Pr1(ξ))}",
      "definition_raw": "Множество троек: сеть элементарных процессов, множество несвязанных входов, множество несвязанных выходов",
      "definition_resolved": "Множество троек: сеть элементарных процессов, множество несвязанных входов, множество несвязанных выходов"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 962,
    "fields": {
      "schema": 44,
      "order": 29,
      "alias": "D15",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Внутренние объекты сети процессов",
      "term_resolved": "Внутренние объекты сети процессов",
      "term_forms": [],
      "definition_formal": "I{(ξ,σ) | ξ:∈D12; σ:=red(Pr1(ξ))∩red(Pr3(ξ))}",
      "definition_raw": "Множество пар: сеть процессов и множество объектов, являющихся одновременно входами и выходами процессов данной сети",
      "definition_resolved": "Множество пар: сеть процессов и множество объектов, являющихся одновременно входами и выходами процессов данной сети"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 963,
    "fields": {
      "schema": 44,
      "order": 28,
      "alias": "D14",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Составные процессы",
      "term_resolved": "Составные процессы",
      "term_forms": [],
      "definition_formal": "Pr2,1,3(D13)",
      "definition_raw": "Множество троек: несвязанные входы, сеть элементарных процессов и несвязанные выходы этой сети процессов",
      "definition_resolved": "Множество троек: несвязанные входы, сеть элементарных процессов и несвязанные выходы этой сети процессов"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 964,
    "fields": {
      "schema": 44,
      "order": 30,
      "alias": "D16",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Связанные составные процессы",
      "term_resolved": "Связанные составные процессы",
      "term_forms": [],
      "definition_formal": "F1[D14]",
      "definition_raw": "Множество пар составных процессов, для которых существуют общие элементы выхода первого процесса и входа второго",
      "definition_resolved": "Множество пар составных процессов, для которых существуют общие элементы выхода первого процесса и входа второго"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 965,
    "fields": {
      "schema": 44,
      "order": 31,
      "alias": "D17",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Сети составных процессов",
      "term_resolved": "Сети составных процессов",
      "term_forms": [],
      "definition_formal": "F2[D16]",
      "definition_raw": "Множество множеств составных процессов, связанных по входам и выходам",
      "definition_resolved": "Множество множеств составных процессов, связанных по входам и выходам"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 966,
    "fields": {
      "schema": 44,
      "order": 32,
      "alias": "D18",
      "cst_type": "term",
      "convention": "!!!",
      "term_raw": "Топология сети процессов",
      "term_resolved": "Топология сети процессов",
      "term_forms": [],
      "definition_formal": "{ξ∈ℬ(D17) |∀α,β∈ξ ∀γ∈ℬ(ℬ(X1)×ℬ(ℬ(X1)×X2×ℬ(X1))×ℬ(X1)) ((debool(α)=debool(β)) &  (debool(γ)=debool(α) ⇒ γ∈ξ))}",
      "definition_raw": "Группы сетей составных процессов с одинаковой топологией.\nТопология задается пересечением входом/выходов процессов. Поэтому чтобы у группы сетей была одинаковая топология достаточно одинакового состава процессов в сети.",
      "definition_resolved": "Группы сетей составных процессов с одинаковой топологией.\nТопология задается пересечением входом/выходов процессов. Поэтому чтобы у группы сетей была одинаковая топология достаточно одинакового состава процессов в сети."
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 967,
    "fields": {
      "schema": 44,
      "order": 33,
      "alias": "D19",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Однократная сеть процессов",
      "term_resolved": "Однократная сеть процессов",
      "term_forms": [],
      "definition_formal": "{ξ∈D17 |{ξ}∈D18 }",
      "definition_raw": "Сеть процессов, топология которой не повторяется ни в одной другой сети процессов",
      "definition_resolved": "Сеть процессов, топология которой не повторяется ни в одной другой сети процессов"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 968,
    "fields": {
      "schema": 44,
      "order": 34,
      "alias": "D20",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Воспроизводящаяся сеть процессов",
      "term_resolved": "Воспроизводящаяся сеть процессов",
      "term_forms": [],
      "definition_formal": "{ξ∈D18 | card(ξ)≥2}",
      "definition_raw": "Группы из двух и более сетей процессов с одинаковой топологией",
      "definition_resolved": "Группы из двух и более сетей процессов с одинаковой топологией"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 969,
    "fields": {
      "schema": 44,
      "order": 35,
      "alias": "D21",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Процессная целостность",
      "term_resolved": "Процессная целостность",
      "term_forms": [],
      "definition_formal": "{ξ∈D20| ∀α∈ξ ∃β∈ξ ((α≠β) ⇒ ((Pr1(α)∩Pr3(β))≠∅ ∨ (Pr3(α)∩Pr1(β))≠∅))}",
      "definition_raw": "Устойчиво повторяющаяся сеть процессов (с одинаковой топологией)\nГруппы сетей процессов с одинаковой топологией, связанных по входам и выходам.",
      "definition_resolved": "Устойчиво повторяющаяся сеть процессов (с одинаковой топологией)\nГруппы сетей процессов с одинаковой топологией, связанных по входам и выходам."
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 970,
    "fields": {
      "schema": 44,
      "order": 2,
      "alias": "X3",
      "cst_type": "basic",
      "convention": "Под «веществом» понимается химическое название вещества",
      "term_raw": "Вещества",
      "term_resolved": "Вещества",
      "term_forms": [],
      "definition_formal": "",
      "definition_raw": "Множества веществ",
      "definition_resolved": "Множества веществ"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 972,
    "fields": {
      "schema": 44,
      "order": 3,
      "alias": "X4",
      "cst_type": "basic",
      "convention": "«Топос» понимается как часть пространства, имеющая определение, по которому доступными способами идентифицируемы ее границы, в частности, может содержать процессы и объекты, являющиеся входами/выходами в естественных и искусственных процессах данного топоса (термин, более общий, чем сбросы/выбросы/отходы, позволяющий вести регулирование, не специфическое для каждого из трех, а общее)",
      "term_raw": "Топосы",
      "term_resolved": "Топосы",
      "term_forms": [],
      "definition_formal": "",
      "definition_raw": "Множество топосов",
      "definition_resolved": "Множество топосов"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 973,
    "fields": {
      "schema": 44,
      "order": 7,
      "alias": "S2",
      "cst_type": "structure",
      "convention": "",
      "term_raw": "Отношение объектов и веществ",
      "term_resolved": "Отношение объектов и веществ",
      "term_forms": [],
      "definition_formal": "ℬ(X1×X3) ",
      "definition_raw": "Множество пар: объект и вещество, входящее в состав данного объекта",
      "definition_resolved": "Множество пар: объект и вещество, входящее в состав данного объекта"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 974,
    "fields": {
      "schema": 44,
      "order": 8,
      "alias": "S3",
      "cst_type": "structure",
      "convention": "",
      "term_raw": "Положение объектов",
      "term_resolved": "Положение объектов",
      "term_forms": [],
      "definition_formal": "ℬ(X1×X4)",
      "definition_raw": "Множество пар: объект и топос, в котором находится объект",
      "definition_resolved": "Множество пар: объект и топос, в котором находится объект"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 975,
    "fields": {
      "schema": 44,
      "order": 36,
      "alias": "D22",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Непротяженные объекты",
      "term_resolved": "Непротяженные объекты",
      "term_forms": [],
      "definition_formal": "X1 \\ Pr1(S3)",
      "definition_raw": "Множество объектов, не находящихся ни в одном топосе",
      "definition_resolved": "Множество объектов, не находящихся ни в одном топосе"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 976,
    "fields": {
      "schema": 44,
      "order": 9,
      "alias": "D1",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Нематериальные объекты",
      "term_resolved": "Нематериальные объекты",
      "term_forms": [],
      "definition_formal": "X1 \\ Pr1(S2)",
      "definition_raw": "Множество объектов, не состоящих из веществ",
      "definition_resolved": "Множество объектов, не состоящих из веществ"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 977,
    "fields": {
      "schema": 44,
      "order": 10,
      "alias": "A2",
      "cst_type": "axiom",
      "convention": "",
      "term_raw": "",
      "term_resolved": "",
      "term_forms": [],
      "definition_formal": "D1 = ∅",
      "definition_raw": "Каждый объект состоит хотя бы из одного вещества",
      "definition_resolved": "Каждый объект состоит хотя бы из одного вещества"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 978,
    "fields": {
      "schema": 44,
      "order": 11,
      "alias": "D2",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Пустые топосы",
      "term_resolved": "Пустые топосы",
      "term_forms": [],
      "definition_formal": "X4 \\ Pr2(S3)",
      "definition_raw": "Множество топосов, в которых не находится ни одного объекта",
      "definition_resolved": "Множество топосов, в которых не находится ни одного объекта"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 979,
    "fields": {
      "schema": 44,
      "order": 12,
      "alias": "A3",
      "cst_type": "axiom",
      "convention": "",
      "term_raw": "Пустых топосов нет",
      "term_resolved": "Пустых топосов нет",
      "term_forms": [],
      "definition_formal": "D2 = ∅",
      "definition_raw": "Каждый топос содержит хотя бы один объект",
      "definition_resolved": "Каждый топос содержит хотя бы один объект"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 980,
    "fields": {
      "schema": 44,
      "order": 37,
      "alias": "D23",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Составы объектов",
      "term_resolved": "Составы объектов",
      "term_forms": [],
      "definition_formal": "I{(ξ,σ) | ξ:∈X1; σ:=Pr2(Fi1[{ξ}](S2))}",
      "definition_raw": "Множество пар: объект и множество всех составляющих его веществ",
      "definition_resolved": "Множество пар: объект и множество всех составляющих его веществ"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 981,
    "fields": {
      "schema": 44,
      "order": 38,
      "alias": "D24",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Объекты, содержащие вещество",
      "term_resolved": "Объекты, содержащие вещество",
      "term_forms": [],
      "definition_formal": "I{(α,σ) | α:∈X3; σ:=Pr1(Fi2[{α}](S2))}",
      "definition_raw": "Множество пар: вещество и множество всех объектов, содержащих данное вещество",
      "definition_resolved": "Множество пар: вещество и множество всех объектов, содержащих данное вещество"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 982,
    "fields": {
      "schema": 44,
      "order": 13,
      "alias": "D3",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Смеси (Объектные среды)",
      "term_resolved": "Смеси (Объектные среды)",
      "term_forms": [],
      "definition_formal": "I{(λ,σ) | λ:∈X4; σ:=Pr1(Fi2[{λ}](S3))}",
      "definition_raw": "Множество пар: топос и подмножество объектов, находящихся в данном топосе",
      "definition_resolved": "Множество пар: топос и подмножество объектов, находящихся в данном топосе"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 983,
    "fields": {
      "schema": 44,
      "order": 39,
      "alias": "D25",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Составы смесей",
      "term_resolved": "Составы смесей",
      "term_forms": [],
      "definition_formal": "I{(ξ,σ) | ξ:∈D3; σ:=Pr2(Fi1[pr2(ξ)](S2))}",
      "definition_raw": "Множество пар: смесь и вещества, входящие в состав ее объектов",
      "definition_resolved": "Множество пар: смесь и вещества, входящие в состав ее объектов"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 984,
    "fields": {
      "schema": 44,
      "order": 40,
      "alias": "D26",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Концентрации веществ в топосе",
      "term_resolved": "Концентрации веществ в топосе",
      "term_forms": [],
      "definition_formal": "I{(α,τ,σ1,σ2) | α:∈X3; τ:∈X4; \nσ2:=Pr1(Fi2[{τ}](S3)); \nσα:=Pr1(Fi2[{α}](S2)); \nσ1:=σ2∩σα}",
      "definition_raw": "Множество четверок: вещество, топос, множество объектов, содержащих данное вещество в данном топосе, множество объектов, содержащихся в данном топосе",
      "definition_resolved": "Множество четверок: вещество, топос, множество объектов, содержащих данное вещество в данном топосе, множество объектов, содержащихся в данном топосе"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 985,
    "fields": {
      "schema": 44,
      "order": 41,
      "alias": "D27",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Универсальные вещества",
      "term_resolved": "Универсальные вещества",
      "term_forms": [],
      "definition_formal": "D{ξ∈X3 | Pr1(Fi2[{ξ}](S2)) = X1}",
      "definition_raw": "Множество веществ, входящий в каждый объект",
      "definition_resolved": "Множество веществ, входящий в каждый объект"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 986,
    "fields": {
      "schema": 44,
      "order": 4,
      "alias": "X5",
      "cst_type": "basic",
      "convention": "",
      "term_raw": "Типы отношений",
      "term_resolved": "Типы отношений",
      "term_forms": [],
      "definition_formal": "",
      "definition_raw": "Множество типов отношений",
      "definition_resolved": "Множество типов отношений"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 987,
    "fields": {
      "schema": 44,
      "order": 14,
      "alias": "S4",
      "cst_type": "structure",
      "convention": "",
      "term_raw": "Отношения между объектами",
      "term_resolved": "Отношения между объектами",
      "term_forms": [],
      "definition_formal": "ℬ(D3×D3×X5)",
      "definition_raw": "Множество троек: два объекта и тип отношения между ними",
      "definition_resolved": "Множество троек: два объекта и тип отношения между ними"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 988,
    "fields": {
      "schema": 44,
      "order": 16,
      "alias": "A4",
      "cst_type": "axiom",
      "convention": "",
      "term_raw": "Симметричность",
      "term_resolved": "Симметричность",
      "term_forms": [],
      "definition_formal": "∀(α,β,γ)∈S4 (β,α,γ)∈S4",
      "definition_raw": "Симметричность отношений между объектами",
      "definition_resolved": "Симметричность отношений между объектами"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 989,
    "fields": {
      "schema": 44,
      "order": 42,
      "alias": "D28",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Аспекты объекта",
      "term_resolved": "Аспекты объекта",
      "term_forms": [],
      "definition_formal": "I{(ξ,σ) | ξ:∈D3; σ:=Pr3(Fi1[{ξ}](S4))}",
      "definition_raw": "Множество пар: объект и множество отношений, в которых он состоит",
      "definition_resolved": "Множество пар: объект и множество отношений, в которых он состоит"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 990,
    "fields": {
      "schema": 44,
      "order": 15,
      "alias": "D4",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Связанные объекты",
      "term_resolved": "Связанные объекты",
      "term_forms": [],
      "definition_formal": "Pr1,2(S4)",
      "definition_raw": "Множество пар: объект и связанный с ним объект",
      "definition_resolved": "Множество пар: объект и связанный с ним объект"
    }
  },
  {
    "model": "rsform.constituenta",
    "pk": 991,
    "fields": {
      "schema": 44,
      "order": 43,
      "alias": "D29",
      "cst_type": "term",
      "convention": "",
      "term_raw": "Объекты, состоящие в заданном отношении",
      "term_resolved": "Объекты, состоящие в заданном отношении",
      "term_forms": [],
      "definition_formal": "I{(ξ,σ) | ξ:∈X5; σ:=Pr1(Fi3[{ξ}](S4))}",
      "definition_raw": "",
      "definition_resolved": ""
    }
  },
  {
    "model": "oss.argument",
    "pk": 7,
    "fields": {
      "operation": 9,
      "argument": 1,
      "order": 0
    }
  },
  {
    "model": "oss.argument",
    "pk": 8,
    "fields": {
      "operation": 9,
      "argument": 2,
      "order": 1
    }
  },
  {
    "model": "oss.argument",
    "pk": 9,
    "fields": {
      "operation": 10,
      "argument": 4,
      "order": 0
    }
  },
  {
    "model": "oss.argument",
    "pk": 10,
    "fields": {
      "operation": 10,
      "argument": 9,
      "order": 1
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 24,
    "fields": {
      "operation": 9,
      "parent": 854,
      "child": 924
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 25,
    "fields": {
      "operation": 9,
      "parent": 855,
      "child": 925
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 26,
    "fields": {
      "operation": 9,
      "parent": 856,
      "child": 926
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 27,
    "fields": {
      "operation": 9,
      "parent": 857,
      "child": 927
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 28,
    "fields": {
      "operation": 9,
      "parent": 858,
      "child": 928
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 29,
    "fields": {
      "operation": 9,
      "parent": 859,
      "child": 929
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 30,
    "fields": {
      "operation": 9,
      "parent": 860,
      "child": 930
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 31,
    "fields": {
      "operation": 9,
      "parent": 861,
      "child": 931
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 32,
    "fields": {
      "operation": 9,
      "parent": 862,
      "child": 932
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 33,
    "fields": {
      "operation": 9,
      "parent": 863,
      "child": 933
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 34,
    "fields": {
      "operation": 9,
      "parent": 864,
      "child": 934
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 35,
    "fields": {
      "operation": 9,
      "parent": 865,
      "child": 935
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 36,
    "fields": {
      "operation": 9,
      "parent": 866,
      "child": 936
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 37,
    "fields": {
      "operation": 9,
      "parent": 867,
      "child": 937
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 38,
    "fields": {
      "operation": 9,
      "parent": 868,
      "child": 938
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 39,
    "fields": {
      "operation": 9,
      "parent": 869,
      "child": 939
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 40,
    "fields": {
      "operation": 9,
      "parent": 872,
      "child": 941
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 41,
    "fields": {
      "operation": 9,
      "parent": 873,
      "child": 942
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 42,
    "fields": {
      "operation": 9,
      "parent": 874,
      "child": 943
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 43,
    "fields": {
      "operation": 9,
      "parent": 875,
      "child": 944
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 44,
    "fields": {
      "operation": 9,
      "parent": 876,
      "child": 945
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 45,
    "fields": {
      "operation": 9,
      "parent": 877,
      "child": 946
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 46,
    "fields": {
      "operation": 10,
      "parent": 878,
      "child": 947
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 47,
    "fields": {
      "operation": 10,
      "parent": 879,
      "child": 948
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 48,
    "fields": {
      "operation": 10,
      "parent": 880,
      "child": 949
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 49,
    "fields": {
      "operation": 10,
      "parent": 881,
      "child": 950
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 50,
    "fields": {
      "operation": 10,
      "parent": 882,
      "child": 951
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 51,
    "fields": {
      "operation": 10,
      "parent": 883,
      "child": 952
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 52,
    "fields": {
      "operation": 10,
      "parent": 884,
      "child": 953
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 53,
    "fields": {
      "operation": 10,
      "parent": 885,
      "child": 954
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 54,
    "fields": {
      "operation": 10,
      "parent": 886,
      "child": 955
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 55,
    "fields": {
      "operation": 10,
      "parent": 887,
      "child": 956
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 56,
    "fields": {
      "operation": 10,
      "parent": 888,
      "child": 957
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 57,
    "fields": {
      "operation": 10,
      "parent": 889,
      "child": 958
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 58,
    "fields": {
      "operation": 10,
      "parent": 890,
      "child": 959
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 59,
    "fields": {
      "operation": 10,
      "parent": 891,
      "child": 960
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 60,
    "fields": {
      "operation": 10,
      "parent": 892,
      "child": 961
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 61,
    "fields": {
      "operation": 10,
      "parent": 893,
      "child": 962
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 62,
    "fields": {
      "operation": 10,
      "parent": 894,
      "child": 963
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 63,
    "fields": {
      "operation": 10,
      "parent": 895,
      "child": 964
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 64,
    "fields": {
      "operation": 10,
      "parent": 896,
      "child": 965
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 65,
    "fields": {
      "operation": 10,
      "parent": 897,
      "child": 966
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 66,
    "fields": {
      "operation": 10,
      "parent": 898,
      "child": 967
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 67,
    "fields": {
      "operation": 10,
      "parent": 899,
      "child": 968
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 68,
    "fields": {
      "operation": 10,
      "parent": 900,
      "child": 969
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 69,
    "fields": {
      "operation": 10,
      "parent": 924,
      "child": 970
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 70,
    "fields": {
      "operation": 10,
      "parent": 926,
      "child": 972
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 71,
    "fields": {
      "operation": 10,
      "parent": 927,
      "child": 973
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 72,
    "fields": {
      "operation": 10,
      "parent": 928,
      "child": 974
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 73,
    "fields": {
      "operation": 10,
      "parent": 929,
      "child": 975
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 74,
    "fields": {
      "operation": 10,
      "parent": 930,
      "child": 976
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 75,
    "fields": {
      "operation": 10,
      "parent": 931,
      "child": 977
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 76,
    "fields": {
      "operation": 10,
      "parent": 932,
      "child": 978
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 77,
    "fields": {
      "operation": 10,
      "parent": 933,
      "child": 979
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 78,
    "fields": {
      "operation": 10,
      "parent": 934,
      "child": 980
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 79,
    "fields": {
      "operation": 10,
      "parent": 935,
      "child": 981
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 80,
    "fields": {
      "operation": 10,
      "parent": 936,
      "child": 982
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 81,
    "fields": {
      "operation": 10,
      "parent": 937,
      "child": 983
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 82,
    "fields": {
      "operation": 10,
      "parent": 938,
      "child": 984
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 83,
    "fields": {
      "operation": 10,
      "parent": 939,
      "child": 985
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 84,
    "fields": {
      "operation": 10,
      "parent": 941,
      "child": 986
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 85,
    "fields": {
      "operation": 10,
      "parent": 942,
      "child": 987
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 86,
    "fields": {
      "operation": 10,
      "parent": 943,
      "child": 988
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 87,
    "fields": {
      "operation": 10,
      "parent": 944,
      "child": 989
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 88,
    "fields": {
      "operation": 10,
      "parent": 945,
      "child": 990
    }
  },
  {
    "model": "oss.inheritance",
    "pk": 89,
    "fields": {
      "operation": 10,
      "parent": 946,
      "child": 991
    }
  },
  {
    "model": "oss.substitution",
    "pk": 1,
    "fields": {
      "operation": 9,
      "original": 871,
      "substitution": 866
    }
  },
  {
    "model": "oss.substitution",
    "pk": 2,
    "fields": {
      "operation": 10,
      "original": 925,
      "substitution": 878
    }
  },
  {
    "model": "oss.operation",
    "pk": 1,
    "fields": {
      "oss": 41,
      "parent": null,
      "operation_type": "input",
      "result": 38,
      "alias": "КС Вещества",
      "title": "Вещества и смеси",
      "description": ""
    }
  },
  {
    "model": "oss.operation",
    "pk": 2,
    "fields": {
      "oss": 41,
      "parent": null,
      "operation_type": "input",
      "result": 39,
      "alias": "КС ООО",
      "title": "Объект-объектные отношения",
      "description": ""
    }
  },
  {
    "model": "oss.operation",
    "pk": 4,
    "fields": {
      "oss": 41,
      "parent": null,
      "operation_type": "input",
      "result": 40,
      "alias": "КС Процессы",
      "title": "Процессы",
      "description": ""
    }
  },
  {
    "model": "oss.operation",
    "pk": 9,
    "fields": {
      "oss": 41,
      "parent": null,
      "operation_type": "synthesis",
      "result": 43,
      "alias": "КС Объект-сред",
      "title": "Объектная среда",
      "description": ""
    }
  },
  {
    "model": "oss.operation",
    "pk": 10,
    "fields": {
      "oss": 41,
      "parent": null,
      "operation_type": "synthesis",
      "result": 44,
      "alias": "КС Проц-сред",
      "title": "Процессные среды",
      "description": ""
    }
  },
  {
    "model": "oss.layout",
    "pk": 1,
    "fields": {
      "oss": 41,
      "data": [
        {
          "x": 530.0,
          "y": 370.0,
          "nodeID": "o1",
          "width": 150.0,
          "height": 40.0
        },

        {
          "x": 710.0,
          "y": 370.0,
          "nodeID": "o2",
          "width": 150.0,
          "height": 40.0
        },
        {
          "x": 890.0,
          "y": 370.0,
          "nodeID": "o4",
          "width": 150.0,
          "height": 40.0
        },
        {
          "x": 620.0,
          "y": 470.0,
          "nodeID": "o9",
          "width": 150.0,
          "height": 40.0
        },
        {
          "x": 760.0,
          "y": 570.0,
          "nodeID": "o10",
          "width": 150.0,
          "height": 40.0
        }
      ]
    }
  }
]