+
+
+
++ - axios + - clsx + - react-icons + - react-router-dom + - react-toastify + - react-loader-spinner + - react-tabs + - react-intl + - react-select + - react-error-boundary + - react-pdf + - react-tooltip + - js-file-download + - use-debounce + - framer-motion + - reagraph + - @tanstack/react-table + - @uiw/react-codemirror + - @uiw/codemirror-themes + - @lezer/lr ++
+ - tailwindcss + - postcss + - autoprefixer + - eslint-plugin-simple-import-sort + - eslint-plugin-tsdoc + - jest + - ts-jest + - @types/jest + - @lezer/generator ++
+ - ESLint + - Colorize + - Code Spell Checker (eng + rus) + - Backticks + - Svg Preview + - TODO Highlight v2 ++
+ - Fira Code + - Rubik + - Alegreya Sans SC + - Noto Sans Math ++
+ - django + - djangorestframework + - django-cors-headers + - django-filter + - drf-spectacular + - tzdata + - gunicorn + - coreapi + - psycopg2-binary + - cctext + - pyconcept ++
+ - coverage + - pylint + - mypy + - djangorestframework-stubs[compatible-mypy] ++
+ - Pylance + - Pylint + - Django + - autopep8 ++
Здравствуйте, {{first_name}}
++ Мы получили запрос на восстановление пароля для пользователя, привязанного + к данному email. +
+ +Логин: {{username}}
+ ++ Если Вы отправили указанный запрос, то перейдите по ссылке для задания + нового пароля: +
+ ++ Если Вы не отправляли запрос, то можете игнорировать данное сообщение. +
+С уважением,
+Команда КонцептПортал
+ + diff --git a/rsconcept/backend/apps/users/tests/__init__.py b/rsconcept/backend/apps/users/tests/__init__.py new file mode 100644 index 00000000..bdcf0305 --- /dev/null +++ b/rsconcept/backend/apps/users/tests/__init__.py @@ -0,0 +1,3 @@ +''' Tests. ''' +from .t_serializers import * +from .t_views import * diff --git a/rsconcept/backend/apps/users/tests/t_serializers.py b/rsconcept/backend/apps/users/tests/t_serializers.py new file mode 100644 index 00000000..fd12fad9 --- /dev/null +++ b/rsconcept/backend/apps/users/tests/t_serializers.py @@ -0,0 +1,37 @@ +''' Testing serializers ''' +from rest_framework.test import APIClient, APIRequestFactory, APITestCase + +from apps.users.models import User +from apps.users.serializers import LoginSerializer + + +class TestLoginSerializer(APITestCase): + def setUp(self): + self.user = User.objects.create_user(username='UserTest', password='123') + self.factory = APIRequestFactory() + self.client = APIClient() + + def test_validate(self): + data = {'username': 'UserTest', 'password': '123'} + request = self.factory.post('/users/api/login', data) + serializer = LoginSerializer(data=data, context={'request': request}) + self.assertTrue(serializer.is_valid(raise_exception=True)) + self.assertEqual(serializer.validated_data['user'], self.user) + + def test_validate_invalid_password(self): + data = {'username': 'UserTest', 'password': 'invalid'} + request = self.factory.post('/users/api/login', data) + serializer = LoginSerializer(data=data, context={'request': request}) + self.assertFalse(serializer.is_valid(raise_exception=False)) + + def test_validate_invalid_request(self): + data = {'username': 'UserTest', 'auth': 'invalid'} + request = self.factory.post('/users/api/login', data) + serializer = LoginSerializer(data=data, context={'request': request}) + self.assertFalse(serializer.is_valid(raise_exception=False)) + + def test_validate_empty_username(self): + data = {'username': '', 'auth': 'invalid'} + request = self.factory.post('/users/api/login', data) + serializer = LoginSerializer(data=data, context={'request': request}) + self.assertFalse(serializer.is_valid(raise_exception=False)) diff --git a/rsconcept/backend/apps/users/tests/t_views.py b/rsconcept/backend/apps/users/tests/t_views.py new file mode 100644 index 00000000..44551a5c --- /dev/null +++ b/rsconcept/backend/apps/users/tests/t_views.py @@ -0,0 +1,192 @@ +''' Testing API: users. ''' +from rest_framework.test import APIClient, APITestCase + +from apps.rsform.tests.EndpointTester import EndpointTester, decl_endpoint +from apps.users.models import User + + +class TestUserAPIViews(EndpointTester): + ''' Testing Authentication views. ''' + + def setUp(self): + super().setUp() + + + @decl_endpoint('/users/api/login', method='post') + def test_login(self): + self.logout() + data = {'username': self.user.username, 'password': 'invalid'} + self.executeBadData(data) + + data = {'username': self.user.username, 'password': 'password'} + self.executeAccepted(data) + self.executeAccepted(data) + + self.logout() + data = {'username': self.user.email, 'password': 'password'} + self.executeAccepted(data) + + + @decl_endpoint('/users/api/logout', method='post') + def test_logout(self): + self.logout() + self.executeForbidden() + + self.login() + self.executeNoContent() + self.executeNoContent() + + + @decl_endpoint('/users/api/auth', method='get') + def test_auth(self): + response = self.executeOK() + self.assertEqual(response.data['id'], self.user.pk) + self.assertEqual(response.data['username'], self.user.username) + self.assertEqual(response.data['is_staff'], self.user.is_staff) + self.assertEqual(response.data['subscriptions'], []) + self.assertEqual(response.data['editor'], []) + + self.logout() + response = self.executeOK() + self.assertEqual(response.data['id'], None) + self.assertEqual(response.data['username'], '') + self.assertEqual(response.data['is_staff'], False) + self.assertEqual(response.data['subscriptions'], []) + self.assertEqual(response.data['editor'], []) + + +class TestUserUserProfileAPIView(EndpointTester): + ''' Testing User profile views. ''' + + def setUp(self): + super().setUp() + self.user.first_name = 'John' + self.user.second_name = 'Smith' + self.user.save() + + + @decl_endpoint('/users/api/profile', method='get') + def test_read_profile(self): + response = self.executeOK() + self.assertEqual(response.data['username'], self.user.username) + self.assertEqual(response.data['email'], self.user.email) + self.assertEqual(response.data['first_name'], self.user.first_name) + self.assertEqual(response.data['last_name'], self.user.last_name) + + self.logout() + self.executeForbidden() + + + @decl_endpoint('/users/api/profile', method='patch') + def test_edit_profile(self): + data = { + 'email': '123@mail.ru', + 'first_name': 'firstName', + 'last_name': 'lastName', + } + response = self.executeOK(data) + self.user.refresh_from_db() + self.assertEqual(response.data['email'], '123@mail.ru') + self.assertEqual(self.user.email, '123@mail.ru') + self.assertEqual(response.data['first_name'], 'firstName') + self.assertEqual(self.user.first_name, 'firstName') + self.assertEqual(response.data['last_name'], 'lastName') + self.assertEqual(self.user.last_name, 'lastName') + + data = { + 'email': data['email'], + 'first_name': 'new', + 'last_name': 'new2', + } + self.executeOK(data) + + data = {'email': self.user2.email} + self.executeBadData(data) + + self.logout() + self.executeForbidden() + + + @decl_endpoint('/users/api/change-password', method='patch') + def test_change_password(self): + data = { + 'old_password': 'invalid', + 'new_password': 'password2' + } + self.executeBadData(data) + + data = { + 'old_password': 'password', + 'new_password': 'password2' + } + oldHash = self.user.password + response = self.executeNoContent(data) + self.user.refresh_from_db() + self.assertNotEqual(self.user.password, oldHash) + self.assertTrue(self.client.login(username=self.user.username, password='password2')) + self.assertFalse(self.client.login(username=self.user.username, password='password')) + + self.logout() + self.executeForbidden() + + + @decl_endpoint('/users/api/password-reset', method='post') + def test_password_reset_request(self): + self.executeBadData({'email': 'invalid@mail.ru'}) + self.executeOK({'email': self.user.email}) + # TODO: check if mail server actually sent email and if reset procedure works + + +class TestSignupAPIView(EndpointTester): + ''' Testing signup. ''' + + def setUp(self): + super().setUp() + + + @decl_endpoint('/users/api/signup', method='post') + def test_signup(self): + data = { + 'username': 'NewUser', + 'email': 'newMail@mail.ru', + 'password': 'Test@@123', + 'password2': 'Test@@123456', + 'first_name': 'firstName', + 'last_name': 'lastName' + } + self.executeBadData(data) + + data = { + 'username': 'NewUser', + 'email': 'newMail@mail.ru', + 'password': 'Test@@123', + 'password2': 'Test@@123', + 'first_name': 'firstName', + 'last_name': 'lastName' + } + response = self.executeCreated(data) + self.assertTrue('id' in response.data) + self.assertEqual(response.data['username'], data['username']) + self.assertEqual(response.data['email'], data['email']) + self.assertEqual(response.data['first_name'], data['first_name']) + self.assertEqual(response.data['last_name'], data['last_name']) + + data = { + 'username': 'NewUser', + 'email': 'newMail2@mail.ru', + 'password': 'Test@@123', + 'password2': 'Test@@123', + 'first_name': 'firstName', + 'last_name': 'lastName' + } + self.executeBadData(data) + + data = { + 'username': 'NewUser2', + 'email': self.user.email, + 'password': 'Test@@123', + 'password2': 'Test@@123', + 'first_name': 'firstName', + 'last_name': 'lastName' + } + self.executeBadData(data) diff --git a/rsconcept/backend/apps/users/urls.py b/rsconcept/backend/apps/users/urls.py new file mode 100644 index 00000000..4972e3c1 --- /dev/null +++ b/rsconcept/backend/apps/users/urls.py @@ -0,0 +1,21 @@ +''' Routing: User profile and Authorization. ''' +from django.urls import path +from django_rest_passwordreset.views import reset_password_confirm # type: ignore +from django_rest_passwordreset.views import reset_password_request_token # type: ignore +from django_rest_passwordreset.views import reset_password_validate_token # type: ignore + +from . import views + +urlpatterns = [ + path('api/auth', views.AuthAPIView.as_view()), + path('api/active-users', views.ActiveUsersView.as_view()), + path('api/profile', views.UserProfileAPIView.as_view()), + path('api/signup', views.SignupAPIView.as_view()), + path('api/login', views.LoginAPIView.as_view()), + path('api/logout', views.LogoutAPIView.as_view()), + path('api/change-password', views.UpdatePassword.as_view()), + # django_rest_passwordreset APIs see https://pypi.org/project/django-rest-passwordreset/ + path('api/password-reset', reset_password_request_token, name='reset-password-request'), + path('api/password-reset/validate', reset_password_validate_token, name='reset-password-validate'), + path('api/password-reset/confirm', reset_password_confirm, name='reset-password-confirm') +] diff --git a/rsconcept/backend/apps/users/views.py b/rsconcept/backend/apps/users/views.py new file mode 100644 index 00000000..ef67bb72 --- /dev/null +++ b/rsconcept/backend/apps/users/views.py @@ -0,0 +1,123 @@ +''' REST API: User profile and Authorization. ''' +from django.contrib.auth import login, logout +from drf_spectacular.utils import extend_schema, extend_schema_view +from rest_framework import generics, permissions +from rest_framework import status as c +from rest_framework import views +from rest_framework.response import Response + +from . import models as m +from . import serializers as s + + +class LoginAPIView(views.APIView): + ''' Endpoint: Login via username + password. ''' + permission_classes = (permissions.AllowAny,) + + @extend_schema( + summary='login user', + tags=['Auth'], + request=s.LoginSerializer, + responses={ + c.HTTP_202_ACCEPTED: None, + c.HTTP_400_BAD_REQUEST: s.NonFieldErrorSerializer + } + ) + def post(self, request): + serializer = s.LoginSerializer( + data=self.request.data, + context={'request': self.request} + ) + serializer.is_valid(raise_exception=True) + user = serializer.validated_data['user'] + login(request, user) + return Response(None, status=c.HTTP_202_ACCEPTED) + + +class LogoutAPIView(views.APIView): + ''' Endpoint: Logout. ''' + permission_classes = (permissions.IsAuthenticated,) + + @extend_schema( + summary='logout current user', + tags=['Auth'], + request=None, + responses={c.HTTP_204_NO_CONTENT: None} + ) + def post(self, request): + logout(request) + return Response(None, status=c.HTTP_204_NO_CONTENT) + + +@extend_schema(tags=['User']) +@extend_schema_view() +class SignupAPIView(generics.CreateAPIView): + ''' Endpoint: Register user. ''' + permission_classes = (permissions.AllowAny, ) + serializer_class = s.SignupSerializer + + +@extend_schema(tags=['Auth']) +@extend_schema_view() +class AuthAPIView(generics.RetrieveAPIView): + ''' Endpoint: Current user info. ''' + permission_classes = (permissions.AllowAny,) + serializer_class = s.AuthSerializer + + def get_object(self): + return self.request.user + + +@extend_schema(tags=['User']) +@extend_schema_view() +class ActiveUsersView(generics.ListAPIView): + ''' Endpoint: Get list of active users. ''' + permission_classes = (permissions.AllowAny,) + serializer_class = s.UserSerializer + + def get_queryset(self): + return m.User.objects.filter(is_active=True) + + +@extend_schema(tags=['User']) +@extend_schema_view() +class UserProfileAPIView(generics.RetrieveUpdateAPIView): + ''' Endpoint: User profile. ''' + permission_classes = (permissions.IsAuthenticated,) + serializer_class = s.UserSerializer + + def get_object(self): + return self.request.user + + +class UpdatePassword(views.APIView): + ''' Endpoint: Change password for current user. ''' + permission_classes = (permissions.IsAuthenticated, ) + + def get_object(self, queryset=None): + return self.request.user + + @extend_schema( + description='change current user password', + tags=['Auth'], + request=s.ChangePasswordSerializer, + responses={ + c.HTTP_204_NO_CONTENT: None, + c.HTTP_400_BAD_REQUEST: None + } + ) + def patch(self, request, *args, **kwargs): + self.object = self.get_object() + serializer = s.ChangePasswordSerializer(data=request.data) + if serializer.is_valid(): + old_password = serializer.data.get("old_password") + if not self.object.check_password(old_password): + return Response( + {"old_password": ["Wrong password."]}, + status=c.HTTP_400_BAD_REQUEST + ) + # Note: set_password also hashes the password that the user will get + self.object.set_password(serializer.data.get("new_password")) + self.object.save() + return Response(status=c.HTTP_204_NO_CONTENT) + return Response(serializer.errors, status=c.HTTP_400_BAD_REQUEST) diff --git a/rsconcept/backend/entrypoint.sh b/rsconcept/backend/entrypoint.sh new file mode 100644 index 00000000..e1a33d1f --- /dev/null +++ b/rsconcept/backend/entrypoint.sh @@ -0,0 +1,19 @@ +# Before doing anything wait for database to come online +if [ "$DB_ENGINE" = "django.db.backends.postgresql_psycopg2" ] +then + echo "Waiting DB..." + + while ! nc -z $DB_HOST $DB_PORT; + do + sleep 0.1 + done + + echo "Ready!" +fi + +cd $APP_HOME +python3.12 $APP_HOME/manage.py collectstatic --noinput --clear +python3.12 $APP_HOME/manage.py migrate + +# Execute given input command +exec "$@" \ No newline at end of file diff --git a/rsconcept/backend/fixtures/InitialData.json b/rsconcept/backend/fixtures/InitialData.json new file mode 100644 index 00000000..cfb7982c --- /dev/null +++ b/rsconcept/backend/fixtures/InitialData.json @@ -0,0 +1,4786 @@ +[ +{ + "model": "auth.user", + "pk": 1, + "fields": { + "password": "pbkdf2_sha256$720000$gFZkaBswurtL0naQKiUnW7$3b6SUN3fY2Xl1H7erAszVpQl2LpoKusan+yJP7Bp3JA=", + "last_login": "2024-06-03T20:57:02.522Z", + "is_superuser": true, + "username": "admin", + "first_name": "Администратор", + "last_name": "", + "email": "admin@mail.ru", + "is_staff": true, + "is_active": true, + "date_joined": "2024-05-27T18:31:48.913Z", + "groups": [], + "user_permissions": [] + } +}, +{ + "model": "auth.user", + "pk": 3, + "fields": { + "password": "pbkdf2_sha256$720000$UrGOcoUoKyC5A0nCXwNszp$UR3FdvkB9EkQ8PT+mJ7CtCyrwbmmz3tYZcZKTaxyzoM=", + "last_login": "2024-06-03T20:57:25.539Z", + "is_superuser": false, + "username": "User1", + "first_name": "User1", + "last_name": "", + "email": "User1@test.ru", + "is_staff": false, + "is_active": true, + "date_joined": "2024-06-03T20:52:55.670Z", + "groups": [], + "user_permissions": [] + } +}, +{ + "model": "auth.user", + "pk": 4, + "fields": { + "password": "pbkdf2_sha256$720000$2gYTKuX3Wiap5y3AokUpub$PExwc31nwYTLFOZDwHpg5loC8WOi//EZvSJ8V9TCmIs=", + "last_login": null, + "is_superuser": false, + "username": "User2", + "first_name": "User2", + "last_name": "", + "email": "User2@test.ru", + "is_staff": false, + "is_active": true, + "date_joined": "2024-06-03T20:53:20.356Z", + "groups": [], + "user_permissions": [] + } +}, +{ + "model": "auth.user", + "pk": 5, + "fields": { + "password": "pbkdf2_sha256$720000$uoCzGQ7zxoJOqZ3d8y99nl$d0frHrK9a4ydo0iNp4kGLAsq5eZ4QpQl1lU2bXR3elI=", + "last_login": "2024-06-03T20:53:51.231Z", + "is_superuser": false, + "username": "User3", + "first_name": "User3", + "last_name": "", + "email": "User3@test.ru", + "is_staff": false, + "is_active": true, + "date_joined": "2024-06-03T20:53:45.900Z", + "groups": [], + "user_permissions": [] + } +}, +{ + "model": "rsform.constituenta", + "pk": 589, + "fields": { + "schema": 34, + "order": 1, + "alias": "T1", + "cst_type": "theorem", + "convention": "", + "term_raw": "Управляющие конструкции", + "term_resolved": "Управляющие конструкции", + "term_forms": [], + "definition_formal": "", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 590, + "fields": { + "schema": 34, + "order": 2, + "alias": "F1", + "cst_type": "function", + "convention": "", + "term_raw": "схема ограниченного выделения", + "term_resolved": "схема ограниченного выделения", + "term_forms": [], + "definition_formal": "[α∈ℬ(R1)] D{ ξ∈α | ξ=ξ }", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 591, + "fields": { + "schema": 34, + "order": 3, + "alias": "F2", + "cst_type": "function", + "convention": "", + "term_raw": "условный переход", + "term_resolved": "условный переход", + "term_forms": [], + "definition_formal": "[α∈ℬ(R1)] debool(I{ α | 1=1} ∪ I{ α\\α | 1≠1})", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 592, + "fields": { + "schema": 34, + "order": 4, + "alias": "F3", + "cst_type": "function", + "convention": "", + "term_raw": "рекурсивное определение", + "term_resolved": "рекурсивное определение", + "term_forms": [], + "definition_formal": "[α∈ℬ(R1)] R{ ξ:=α | ξ≠∅ | ξ\\ξ }", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 593, + "fields": { + "schema": 34, + "order": 5, + "alias": "T2", + "cst_type": "theorem", + "convention": "", + "term_raw": "Бинарные отношения двух множеств", + "term_resolved": "Бинарные отношения двух множеств", + "term_forms": [], + "definition_formal": "", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 594, + "fields": { + "schema": 34, + "order": 6, + "alias": "F4", + "cst_type": "function", + "convention": "", + "term_raw": "обратное отношение", + "term_resolved": "обратное отношение", + "term_forms": [], + "definition_formal": "[σ∈ℬ(R1×R2)] Pr2,1(σ)", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 595, + "fields": { + "schema": 34, + "order": 7, + "alias": "P1", + "cst_type": "predicate", + "convention": "", + "term_raw": "свойство всюдуопределенности", + "term_resolved": "свойство всюдуопределенности", + "term_forms": [], + "definition_formal": "[α∈ℬ(R1), σ∈ℬ(R1×R2)] Pr1(σ) = α", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 596, + "fields": { + "schema": 34, + "order": 8, + "alias": "P2", + "cst_type": "predicate", + "convention": "", + "term_raw": "свойство всюдузначности", + "term_resolved": "свойство всюдузначности", + "term_forms": [], + "definition_formal": "[α∈ℬ(R2), σ∈ℬ(R1×R2)] Pr2(σ) = α", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 597, + "fields": { + "schema": 34, + "order": 9, + "alias": "P3", + "cst_type": "predicate", + "convention": "", + "term_raw": "свойство прямой однозначности", + "term_resolved": "свойство прямой однозначности", + "term_forms": [], + "definition_formal": "[σ∈ℬ(R1×R2)] card(Pr1(σ)) = card(σ)", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 598, + "fields": { + "schema": 34, + "order": 10, + "alias": "P4", + "cst_type": "predicate", + "convention": "", + "term_raw": "свойство обратной однозначности", + "term_resolved": "свойство обратной однозначности", + "term_forms": [], + "definition_formal": "[σ∈ℬ(R1×R2)] card(Pr2(σ)) = card(σ)", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 599, + "fields": { + "schema": 34, + "order": 11, + "alias": "P5", + "cst_type": "predicate", + "convention": "", + "term_raw": "функция", + "term_resolved": "функция", + "term_forms": [], + "definition_formal": "[α∈ℬ(R1), σ∈ℬ(R1×R2)] card(Pr1(σ)) = card(σ) & Pr1(σ) = α", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 600, + "fields": { + "schema": 34, + "order": 12, + "alias": "F5", + "cst_type": "function", + "convention": "", + "term_raw": "образ элемента", + "term_resolved": "образ элемента", + "term_forms": [], + "definition_formal": "[α∈R1, σ∈ℬ(R1×R2)] debool(Pr2(Fi1[{α}](σ)))", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 601, + "fields": { + "schema": 34, + "order": 13, + "alias": "F6", + "cst_type": "function", + "convention": "", + "term_raw": "сечение по элементу", + "term_resolved": "сечение по элементу", + "term_forms": [], + "definition_formal": "[α∈R1, σ∈ℬ(R1×R2)] Pr2(Fi1[{α}](σ))", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 602, + "fields": { + "schema": 34, + "order": 14, + "alias": "F7", + "cst_type": "function", + "convention": "", + "term_raw": "прообраз значения", + "term_resolved": "прообраз значения", + "term_forms": [], + "definition_formal": "[α∈R2, σ∈ℬ(R1×R2)] debool(Pr1(Fi2[{α}](σ)))", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 603, + "fields": { + "schema": 34, + "order": 15, + "alias": "F8", + "cst_type": "function", + "convention": "", + "term_raw": "сечение по значению", + "term_resolved": "сечение по значению", + "term_forms": [], + "definition_formal": "[α∈R2, σ∈ℬ(R1×R2)] Pr1(Fi2[{α}](σ))", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 604, + "fields": { + "schema": 34, + "order": 16, + "alias": "F9", + "cst_type": "function", + "convention": "", + "term_raw": "образ множества", + "term_resolved": "образ множества", + "term_forms": [], + "definition_formal": "[α∈ℬ(R1), σ∈ℬ(R1×R2)] Pr2(Fi1[α](σ))", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 605, + "fields": { + "schema": 34, + "order": 17, + "alias": "F10", + "cst_type": "function", + "convention": "", + "term_raw": "прообраз множества", + "term_resolved": "прообраз множества", + "term_forms": [], + "definition_formal": "[α∈ℬ(R2), σ∈ℬ(R1×R2)] Pr1(Fi2[α](σ))", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 606, + "fields": { + "schema": 34, + "order": 18, + "alias": "F11", + "cst_type": "function", + "convention": "", + "term_raw": "композиция отношений", + "term_resolved": "композиция отношений", + "term_forms": [], + "definition_formal": "[σ1∈ℬ(R1×R2), σ2∈ℬ(R2×R3)] \nI{(ξ1, ξ3) | (ξ1,ξ2):∈σ1; ξ3:∈Pr2(Fi1[{ξ2}](σ2))}", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 607, + "fields": { + "schema": 34, + "order": 19, + "alias": "T3", + "cst_type": "theorem", + "convention": "", + "term_raw": "Бинарные отношения на множестве", + "term_resolved": "Бинарные отношения на множестве", + "term_forms": [], + "definition_formal": "T2", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 608, + "fields": { + "schema": 34, + "order": 20, + "alias": "F12", + "cst_type": "function", + "convention": "", + "term_raw": "участники отношения", + "term_resolved": "участники отношения", + "term_forms": [], + "definition_formal": "[σ∈ℬ(R1×R1)] Pr1(σ)∪Pr2(σ)", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 609, + "fields": { + "schema": 34, + "order": 21, + "alias": "P6", + "cst_type": "predicate", + "convention": "", + "term_raw": "свойство полноты (линейности)", + "term_resolved": "свойство полноты (линейности)", + "term_forms": [], + "definition_formal": "[α∈ℬ(R1), σ∈ℬ(R1×R1)] σ∪Pr2,1(σ)∪Pr1,1(σ)∪Pr2,2(σ) = α×α", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 610, + "fields": { + "schema": 34, + "order": 22, + "alias": "P7", + "cst_type": "predicate", + "convention": "", + "term_raw": "свойство симметричности", + "term_resolved": "свойство симметричности", + "term_forms": [], + "definition_formal": "[σ∈ℬ(R1×R1)] Pr2,1(σ) = σ", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 611, + "fields": { + "schema": 34, + "order": 23, + "alias": "P8", + "cst_type": "predicate", + "convention": "", + "term_raw": "свойство антисимметричности", + "term_resolved": "свойство антисимметричности", + "term_forms": [], + "definition_formal": "[σ∈ℬ(R1×R1)] (Pr2,1(σ)∩σ)\\Pr1,1(σ) = ∅", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 612, + "fields": { + "schema": 34, + "order": 24, + "alias": "P9", + "cst_type": "predicate", + "convention": "", + "term_raw": "свойство рефлексивности", + "term_resolved": "свойство рефлексивности", + "term_forms": [], + "definition_formal": "[σ∈ℬ(R1×R1)] Pr1,1(σ) ⊆ σ", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 613, + "fields": { + "schema": 34, + "order": 25, + "alias": "P10", + "cst_type": "predicate", + "convention": "", + "term_raw": "свойство антирефлексивности", + "term_resolved": "свойство антирефлексивности", + "term_forms": [], + "definition_formal": "[σ∈ℬ(R1×R1)] Pr1,1(σ)∩σ = ∅", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 614, + "fields": { + "schema": 34, + "order": 26, + "alias": "P11", + "cst_type": "predicate", + "convention": "", + "term_raw": "свойство транзитивности", + "term_resolved": "свойство транзитивности", + "term_forms": [], + "definition_formal": "[σ∈ℬ(R1×R1)] ∀(α1,α2),(β1,β2)∈σ (α2=β1 ⇒ (α1,β2)∈σ)", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 615, + "fields": { + "schema": 34, + "order": 27, + "alias": "P12", + "cst_type": "predicate", + "convention": "", + "term_raw": "свойство фундированности", + "term_resolved": "свойство фундированности", + "term_forms": [], + "definition_formal": "[α∈ℬ(R1), σ∈ℬ(R1×R1)] ∀γ∈ℬ(α) (γ≠∅ ⇒ card(F13[γ,σ])>0)", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 616, + "fields": { + "schema": 34, + "order": 28, + "alias": "P13", + "cst_type": "predicate", + "convention": "", + "term_raw": "существование infinum для отношения на данном !подмножестве!", + "term_resolved": "существование infinum для отношения на данном !подмножестве!", + "term_forms": [], + "definition_formal": "[α∈ℬ(R1), σ∈ℬ(R1×R1)] ∀ξ1,ξ2∈α ∃ε∈α ((ε,ξ1)∈σ & (ε,ξ2)∈σ & ∀ξ3∈α\\{ε} ((ξ3,ξ1)∈σ & (ξ3,ξ2)∈σ ⇒ (ξ3,ε)∈σ))", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 617, + "fields": { + "schema": 34, + "order": 29, + "alias": "P14", + "cst_type": "predicate", + "convention": "", + "term_raw": "существование supremum для отношения на данном !подмножестве!", + "term_resolved": "существование supremum для отношения на данном !подмножестве!", + "term_forms": [], + "definition_formal": "[α∈ℬ(R1), σ∈ℬ(R1×R1)] ∀ξ1,ξ2∈α ∃π∈α ((ξ1,π)∈σ & (ξ2,π)∈σ & ∀ξ3∈α\\{π} ((ξ1,ξ3)∈σ & (ξ2,ξ3)∈σ ⇒ (π,ξ3)∈σ))", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 618, + "fields": { + "schema": 34, + "order": 30, + "alias": "P15", + "cst_type": "predicate", + "convention": "", + "term_raw": "частичный порядок", + "term_resolved": "частичный порядок", + "term_forms": [], + "definition_formal": "[σ∈ℬ(R1×R1)]\nPr2,1(σ)∩σ\\Pr1,1(σ) = ∅ & \n(Pr1,1(σ)∩σ = ∅ ∨ Pr1,1(σ) ⊆ σ) & \n∀(α1,α2),(β1,β2)∈σ (α2=β1 ⇒ (α1,β2)∈σ)", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 619, + "fields": { + "schema": 34, + "order": 31, + "alias": "P16", + "cst_type": "predicate", + "convention": "", + "term_raw": "линейный порядок", + "term_resolved": "линейный порядок", + "term_forms": [], + "definition_formal": "[α∈ℬ(R1), σ∈ℬ(R1×R1)]\nPr2,1(σ)∩σ\\Pr1,1(σ) = ∅ & \n(Pr1,1(σ)∩σ = ∅ ∨ Pr1,1(σ) ⊆ σ) & \n∀(α1,α2),(β1,β2)∈σ (α2=β1 ⇒ (α1,β2)∈σ) & \nσ∪Pr2,1(σ)∪Pr1,1(σ)∪Pr2,2(σ) = α×α", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 620, + "fields": { + "schema": 34, + "order": 32, + "alias": "F13", + "cst_type": "function", + "convention": "альтернативное определение:\n[α∈ℬ(R1), σ∈ℬ(R1×R1)] D{ξ∈α | ∀ω∈α\\{ξ} (ω, ξ)∉σ}", + "term_raw": "минимальные элементы !порядка! на данном !подмножестве!", + "term_resolved": "минимальные элементы !порядка! на данном !подмножестве!", + "term_forms": [], + "definition_formal": "[α∈ℬ(R1), σ∈ℬ(R1×R1)] α \\ Pr2(Fi1,2[α, α](σ))", + "definition_raw": "элементы, для которых отсутствуют большие их элементы", + "definition_resolved": "элементы, для которых отсутствуют большие их элементы" + } +}, +{ + "model": "rsform.constituenta", + "pk": 621, + "fields": { + "schema": 34, + "order": 33, + "alias": "F14", + "cst_type": "function", + "convention": "альтернативное определение:\n[α∈ℬ(R1), σ∈ℬ(R1×R1)] debool(D{ξ∈α | ∀ω∈α\\{ξ} (ξ, ω)∈σ})", + "term_raw": "наименьший элемент !порядка! на данном !подмножестве!", + "term_resolved": "наименьший элемент !порядка! на данном !подмножестве!", + "term_forms": [], + "definition_formal": "[α∈ℬ(R1), σ∈ℬ(R1×R1)] debool(I{ β | δ1:=Fi1,2[α, α](σ); δ2:=δ1\\Pr1,1(δ1); β:=Pr1(δ2)\\Pr2(δ2) })", + "definition_raw": "элементы, меньшие или равные всем остальным", + "definition_resolved": "элементы, меньшие или равные всем остальным" + } +}, +{ + "model": "rsform.constituenta", + "pk": 622, + "fields": { + "schema": 34, + "order": 34, + "alias": "P17", + "cst_type": "predicate", + "convention": "", + "term_raw": "эквивалентность", + "term_resolved": "эквивалентность", + "term_forms": [], + "definition_formal": "[σ∈ℬ(R1×R1)] Pr1,1(σ) ⊆ σ & Pr2,1(σ) = σ & \n∀(α1,α2),(β1,β2)∈σ (α2=β1 ⇒ (α1,β2)∈σ)", + "definition_raw": "транзитивное рефлексивное симметричное бинарное отношение", + "definition_resolved": "транзитивное рефлексивное симметричное бинарное отношение" + } +}, +{ + "model": "rsform.constituenta", + "pk": 623, + "fields": { + "schema": 34, + "order": 35, + "alias": "F15", + "cst_type": "function", + "convention": "", + "term_raw": "класс эквивалентности !элемента!", + "term_resolved": "класс эквивалентности !элемента!", + "term_forms": [], + "definition_formal": "[α∈R1, σ∈ℬ(R1×R1)] Pr2(Fi1[{α}](σ))", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 624, + "fields": { + "schema": 34, + "order": 36, + "alias": "P18", + "cst_type": "predicate", + "convention": "", + "term_raw": "толерантность", + "term_resolved": "толерантность", + "term_forms": [], + "definition_formal": "[σ∈ℬ(R1×R1)] Pr1,1(σ) ⊆ σ & Pr2,1(σ) = σ", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 625, + "fields": { + "schema": 34, + "order": 37, + "alias": "T4", + "cst_type": "theorem", + "convention": "", + "term_raw": "Цепочки", + "term_resolved": "Цепочки", + "term_forms": [], + "definition_formal": "T2 & T3", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 626, + "fields": { + "schema": 34, + "order": 38, + "alias": "P19", + "cst_type": "predicate", + "convention": "", + "term_raw": "условие связности цепочки", + "term_resolved": "условие связности цепочки", + "term_forms": [], + "definition_formal": "[σ∈ℬ(R1×R1)]\ncard(Pr1(σ)) = card(σ) & card(Pr2(σ)) = card(σ) &\ncard(Pr1(σ) \\ Pr2(σ)) = 1 & card(Pr2(σ) \\ Pr1(σ)) = 1", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 627, + "fields": { + "schema": 34, + "order": 39, + "alias": "F16", + "cst_type": "function", + "convention": "", + "term_raw": "начало цепочки", + "term_resolved": "начало цепочки", + "term_forms": [], + "definition_formal": "[σ∈ℬ(R1×R1)] debool(Pr1(σ) \\ Pr2(σ))", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 628, + "fields": { + "schema": 34, + "order": 40, + "alias": "F17", + "cst_type": "function", + "convention": "", + "term_raw": "конец цепочки", + "term_resolved": "конец цепочки", + "term_forms": [], + "definition_formal": "[σ∈ℬ(R1×R1)] debool(Pr2(σ) \\ Pr1(σ))", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 629, + "fields": { + "schema": 34, + "order": 41, + "alias": "F18", + "cst_type": "function", + "convention": "", + "term_raw": "следующий за данным !элемент! цепочки", + "term_resolved": "следующий за данным !элемент! цепочки", + "term_forms": [], + "definition_formal": "[α∈R1, σ∈ℬ(R1×R1)] debool(Pr2(Fi1[{α}](σ)))", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 630, + "fields": { + "schema": 34, + "order": 42, + "alias": "F19", + "cst_type": "function", + "convention": "", + "term_raw": "предшествующий данному !элемент! цепочки", + "term_resolved": "предшествующий данному !элемент! цепочки", + "term_forms": [], + "definition_formal": "[α∈R1, σ∈ℬ(R1×R1)] debool(Pr1(Fi2[{α}](σ)))", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 631, + "fields": { + "schema": 34, + "order": 43, + "alias": "T5", + "cst_type": "theorem", + "convention": "", + "term_raw": "Графы", + "term_resolved": "Графы", + "term_forms": [], + "definition_formal": "T2 & T3", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 632, + "fields": { + "schema": 34, + "order": 44, + "alias": "P20", + "cst_type": "predicate", + "convention": "", + "term_raw": "неориентированный граф", + "term_resolved": "неориентированный граф", + "term_forms": [], + "definition_formal": "[γ∈ℬ(R1)×ℬ(R1×R1)] pr2(γ) = Pr2,1(pr2(γ))", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 633, + "fields": { + "schema": 34, + "order": 45, + "alias": "F20", + "cst_type": "function", + "convention": "", + "term_raw": "истоки", + "term_resolved": "истоки", + "term_forms": [], + "definition_formal": "[σ∈ℬ(R1×R1)] Pr1(σ) \\ Pr2(σ)", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 634, + "fields": { + "schema": 34, + "order": 46, + "alias": "F21", + "cst_type": "function", + "convention": "", + "term_raw": "стоки", + "term_resolved": "стоки", + "term_forms": [], + "definition_formal": "[σ∈ℬ(R1×R1)] Pr2(σ) \\ Pr1(σ)", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 635, + "fields": { + "schema": 34, + "order": 47, + "alias": "F22", + "cst_type": "function", + "convention": "", + "term_raw": "изолированные вершины", + "term_resolved": "изолированные вершины", + "term_forms": [], + "definition_formal": "[α∈ℬ(R1), σ∈ℬ(R1×R1)] α \\ (Pr2(σ) ∪ Pr1(σ))", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 636, + "fields": { + "schema": 34, + "order": 48, + "alias": "F23", + "cst_type": "function", + "convention": "", + "term_raw": "потребители", + "term_resolved": "потребители", + "term_forms": [], + "definition_formal": "[α∈R1, σ∈ℬ(R1×R1)] Pr2(Fi1[{α}](σ))", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 637, + "fields": { + "schema": 34, + "order": 49, + "alias": "F24", + "cst_type": "function", + "convention": "", + "term_raw": "поставщики", + "term_resolved": "поставщики", + "term_forms": [], + "definition_formal": "[α∈R1, σ∈ℬ(R1×R1)] Pr1(Fi2[{α}](σ))", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 638, + "fields": { + "schema": 34, + "order": 50, + "alias": "F25", + "cst_type": "function", + "convention": "", + "term_raw": "зависимые вершины", + "term_resolved": "зависимые вершины", + "term_forms": [], + "definition_formal": "[α∈R1, σ∈ℬ(R1×R1)] R{ ξ:=Pr2(Fi1[{α}](σ)) | ξ ∪ Pr2(Fi1[ξ](σ)) }", + "definition_raw": "вершины, достижимые из данной", + "definition_resolved": "вершины, достижимые из данной" + } +}, +{ + "model": "rsform.constituenta", + "pk": 639, + "fields": { + "schema": 34, + "order": 51, + "alias": "F26", + "cst_type": "function", + "convention": "", + "term_raw": "зависимые вершины совокупности", + "term_resolved": "зависимые вершины совокупности", + "term_forms": [], + "definition_formal": "[α∈ℬ(R1), σ∈ℬ(R1×R1)] R{ ξ:=Pr2(Fi1[α](σ)) | ξ ∪ Pr2(Fi1[ξ](σ)) }", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 640, + "fields": { + "schema": 34, + "order": 52, + "alias": "F27", + "cst_type": "function", + "convention": "", + "term_raw": "влияющие вершины", + "term_resolved": "влияющие вершины", + "term_forms": [], + "definition_formal": "[α∈R1, σ∈ℬ(R1×R1)] R{ ξ:=Pr1(Fi2[{α}](σ)) | ξ ∪ Pr1(Fi2[ξ](σ)) }", + "definition_raw": "вершины, из которых данная вершина достижима", + "definition_resolved": "вершины, из которых данная вершина достижима" + } +}, +{ + "model": "rsform.constituenta", + "pk": 641, + "fields": { + "schema": 34, + "order": 53, + "alias": "F28", + "cst_type": "function", + "convention": "", + "term_raw": "влияющие вершины совокупности", + "term_resolved": "влияющие вершины совокупности", + "term_forms": [], + "definition_formal": "[α∈ℬ(R1), σ∈ℬ(R1×R1)] R{ ξ:=Pr1(Fi2[α](σ)) | ξ ∪ Pr1(Fi2[ξ](σ)) }", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 642, + "fields": { + "schema": 34, + "order": 54, + "alias": "P21", + "cst_type": "predicate", + "convention": "", + "term_raw": "цикл", + "term_resolved": "цикл", + "term_forms": [], + "definition_formal": "[σ∈ℬ(R1×R1)] Pr1(σ) = Pr2(σ)", + "definition_raw": "совокупность связей, в которой из каждой вершины в каждую другую есть путь", + "definition_resolved": "совокупность связей, в которой из каждой вершины в каждую другую есть путь" + } +}, +{ + "model": "rsform.constituenta", + "pk": 643, + "fields": { + "schema": 34, + "order": 55, + "alias": "P22", + "cst_type": "predicate", + "convention": "", + "term_raw": "свойство ацикличности", + "term_resolved": "свойство ацикличности", + "term_forms": [], + "definition_formal": "[σ∈ℬ(R1×R1)] ∀γ∈Pr1(σ) γ∉R{ ξ:=Pr2(Fi1[{γ}](σ)) | ξ ∪ Pr2(Fi1[ξ](σ)) }", + "definition_raw": "в ацикличном графе никакая вершина не является собственной зависимой вершиной", + "definition_resolved": "в ацикличном графе никакая вершина не является собственной зависимой вершиной" + } +}, +{ + "model": "rsform.constituenta", + "pk": 644, + "fields": { + "schema": 34, + "order": 56, + "alias": "P23", + "cst_type": "predicate", + "convention": "", + "term_raw": "свойство ацикличности (декларативная формулировка)", + "term_resolved": "свойство ацикличности (декларативная формулировка)", + "term_forms": [], + "definition_formal": "[σ∈ℬ(R1×R1)] ∀γ∈ℬ(σ) Pr1(γ) ≠ Pr2(γ)", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 645, + "fields": { + "schema": 34, + "order": 57, + "alias": "F29", + "cst_type": "function", + "convention": "", + "term_raw": "транзитивное замыкание", + "term_resolved": "транзитивное замыкание", + "term_forms": [], + "definition_formal": "[σ∈ℬ(R1×R1)] I{(ξ1, ξ2) | ξ1:∈Pr1(σ); ξ2:∈F25[ξ1, σ]}", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 646, + "fields": { + "schema": 34, + "order": 58, + "alias": "F30", + "cst_type": "function", + "convention": "", + "term_raw": "транзитивная редукция", + "term_resolved": "транзитивная редукция", + "term_forms": [], + "definition_formal": "[σ∈ℬ(R1×R1)] σ \\ I{(ξ1, ξ2) | ξ1:∈Pr1(σ); γ:=F23[ξ1, σ]; ξ2:∈γ∩F26[γ, σ]}", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 647, + "fields": { + "schema": 34, + "order": 59, + "alias": "P24", + "cst_type": "predicate", + "convention": "1", + "term_raw": "дерево", + "term_resolved": "дерево", + "term_forms": [], + "definition_formal": "[σ∈ℬ(R1×R1)] card(Pr1(σ)\\Pr2(σ)) = 1 & card(Pr2(σ)) = card(σ)", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 648, + "fields": { + "schema": 34, + "order": 60, + "alias": "T6", + "cst_type": "theorem", + "convention": "", + "term_raw": "Целые числа", + "term_resolved": "Целые числа", + "term_forms": [], + "definition_formal": "", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 649, + "fields": { + "schema": 34, + "order": 61, + "alias": "F31", + "cst_type": "function", + "convention": "", + "term_raw": "минимум набора чисел", + "term_resolved": "минимум набора чисел", + "term_forms": [], + "definition_formal": "[σ∈ℬ(Z)] debool(D{ξ∈σ | ∀α∈σ α ≤ ξ})", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 650, + "fields": { + "schema": 34, + "order": 62, + "alias": "F32", + "cst_type": "function", + "convention": "", + "term_raw": "максимум набора чисел", + "term_resolved": "максимум набора чисел", + "term_forms": [], + "definition_formal": "[σ∈ℬ(Z)] debool(D{ξ∈σ | ∀α∈σ α ≥ ξ})", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 651, + "fields": { + "schema": 34, + "order": 63, + "alias": "F33", + "cst_type": "function", + "convention": "", + "term_raw": "натуральные числа, меньшие или равные данному", + "term_resolved": "натуральные числа, меньшие или равные данному", + "term_forms": [], + "definition_formal": "[α∈Z] R{(ξ,σ):=(0, {0}) | ξ<α | (ξ+1, σ ∪ {ξ+1})}", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 652, + "fields": { + "schema": 34, + "order": 64, + "alias": "P25", + "cst_type": "predicate", + "convention": "", + "term_raw": "набор чисел, удовлетворяющий данному периоду", + "term_resolved": "набор чисел, удовлетворяющий данному периоду", + "term_forms": [], + "definition_formal": "[σ∈ℬ(Z), τ∈Z] ∀α∈σ (α+τ ≤ F32[σ] ⇒ α+τ∈σ)", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 653, + "fields": { + "schema": 34, + "order": 65, + "alias": "F34", + "cst_type": "function", + "convention": "", + "term_raw": "периоды данного набора чисел", + "term_resolved": "периоды данного набора чисел", + "term_forms": [], + "definition_formal": "[σ∈ℬ(Z)] pr1(R{\n(γ, τ) := (∅, F31[σ]) | \nτ ≠ F32[σ] | \n(γ ∪ I{τ | P25[σ, τ]}, τ + 1)})", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 654, + "fields": { + "schema": 34, + "order": 66, + "alias": "T7", + "cst_type": "theorem", + "convention": "", + "term_raw": "Последовательности", + "term_resolved": "Последовательности", + "term_forms": [], + "definition_formal": "", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 655, + "fields": { + "schema": 34, + "order": 67, + "alias": "P26", + "cst_type": "predicate", + "convention": "", + "term_raw": "корректная последовательность (позиции нумеруются с нуля)", + "term_resolved": "корректная последовательность (позиции нумеруются с нуля)", + "term_forms": [], + "definition_formal": "[σ∈ℬ(R1×Z)] card(σ)=card(Pr2(σ)) & ∀λ∈Pr2(σ) λ < card(σ)", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 656, + "fields": { + "schema": 34, + "order": 68, + "alias": "P27", + "cst_type": "predicate", + "convention": "", + "term_raw": "корректная последовательность (позиции нумеруются с единицы)", + "term_resolved": "корректная последовательность (позиции нумеруются с единицы)", + "term_forms": [], + "definition_formal": "[σ∈ℬ(R1×Z)] card(σ)=card(Pr2(σ)) & ∀λ∈Pr2(σ) (λ ≤ card(σ) & λ > 0)", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 657, + "fields": { + "schema": 34, + "order": 69, + "alias": "F35", + "cst_type": "function", + "convention": "", + "term_raw": "начало последовательности", + "term_resolved": "начало последовательности", + "term_forms": [], + "definition_formal": "[σ∈ℬ(R1×Z)] debool(Pr1(Fi2[{0}](σ)))", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 658, + "fields": { + "schema": 34, + "order": 70, + "alias": "F36", + "cst_type": "function", + "convention": "", + "term_raw": "конец последовательности", + "term_resolved": "конец последовательности", + "term_forms": [], + "definition_formal": "[σ∈ℬ(R1×Z)] debool(Pr1(Fi2[{card(σ) - 1}](σ)))", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 659, + "fields": { + "schema": 34, + "order": 71, + "alias": "F37", + "cst_type": "function", + "convention": "", + "term_raw": "следующий за данным !элемент! последовательности", + "term_resolved": "следующий за данным !элемент! последовательности", + "term_forms": [], + "definition_formal": "[α∈R1×Z, σ∈ℬ(R1×Z)] debool(Fi2[{pr2(α) + 1}](σ))", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 660, + "fields": { + "schema": 34, + "order": 72, + "alias": "F38", + "cst_type": "function", + "convention": "", + "term_raw": "предыдущий данному !элемент! последовательности", + "term_resolved": "предыдущий данному !элемент! последовательности", + "term_forms": [], + "definition_formal": "[α∈R1×Z, σ∈ℬ(R1×Z)] debool(Fi2[{pr2(α) - 1}](σ))", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 661, + "fields": { + "schema": 34, + "order": 73, + "alias": "F39", + "cst_type": "function", + "convention": "", + "term_raw": "обращенная последовательность", + "term_resolved": "обращенная последовательность", + "term_forms": [], + "definition_formal": "[σ∈ℬ(R1×Z)] I{(α, λ) | (α,μ):∈σ; λ := card(σ) - μ - 1}", + "definition_raw": "не определен для последнего элемента", + "definition_resolved": "не определен для последнего элемента" + } +}, +{ + "model": "rsform.constituenta", + "pk": 662, + "fields": { + "schema": 34, + "order": 74, + "alias": "P28", + "cst_type": "predicate", + "convention": "", + "term_raw": "подпоследовательность", + "term_resolved": "подпоследовательность", + "term_forms": [], + "definition_formal": "[σ∈ℬ(R1×Z)] card(σ) = card(Pr2(σ))", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 663, + "fields": { + "schema": 34, + "order": 75, + "alias": "F40", + "cst_type": "function", + "convention": "", + "term_raw": "последовательность, построенная из данной подпоследовательности", + "term_resolved": "последовательность, построенная из данной подпоследовательности", + "term_forms": [], + "definition_formal": "[σ∈ℬ(R1×Z)] pr1(R{\n(γ, α):=(∅, σ) | α≠∅ | \ndebool(I{(γ2, α2) | τ := F31[Pr2(α)]; ξ := debool(F8[τ,σ]); \nγ2 := γ ∪ {(ξ, card(γ))}; α2 := α \\ {(ξ,τ)}})})", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 664, + "fields": { + "schema": 34, + "order": 76, + "alias": "T8", + "cst_type": "theorem", + "convention": "Условия для \"левых\" и \"правых\" свойств через конкатенацию", + "term_raw": "Групповые операции", + "term_resolved": "Групповые операции", + "term_forms": [], + "definition_formal": "T10", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 665, + "fields": { + "schema": 34, + "order": 77, + "alias": "F41", + "cst_type": "function", + "convention": "", + "term_raw": "результат операции для данных аргументов", + "term_resolved": "результат операции для данных аргументов", + "term_forms": [], + "definition_formal": "[α∈R1, β∈R1, σ∈ℬ((R1×R1)×R1)] debool(Pr2(Fi1[{(α,β)}](σ)))", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 666, + "fields": { + "schema": 34, + "order": 78, + "alias": "F42", + "cst_type": "function", + "convention": "например ноль для операции умножения целых чисел", + "term_raw": "инвариантные элементы", + "term_resolved": "инвариантные элементы", + "term_forms": [], + "definition_formal": "[σ∈ℬ((R1×R1)×R1)] D{ξ∈Pr1(Pr1(σ)) | ∀α∈Pr1(Pr1(σ)) \n(((α,ξ),ξ)∈σ & ((ξ,α),ξ)∈σ)}", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 667, + "fields": { + "schema": 34, + "order": 79, + "alias": "F43", + "cst_type": "function", + "convention": "", + "term_raw": "нейтральные элементы", + "term_resolved": "нейтральные элементы", + "term_forms": [], + "definition_formal": "[σ∈ℬ((R1×R1)×R1)] D{ξ∈Pr1(Pr1(σ)) | ∀α∈Pr1(Pr1(σ)) \n(((α,ξ),α)∈σ & ((ξ,α),α)∈σ)}", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 668, + "fields": { + "schema": 34, + "order": 80, + "alias": "F44", + "cst_type": "function", + "convention": "", + "term_raw": "идемпотентные элементы", + "term_resolved": "идемпотентные элементы", + "term_forms": [], + "definition_formal": "[σ∈ℬ((R1×R1)×R1)] D{ξ∈Pr1(Pr1(σ)) | ((ξ,ξ),ξ)∈σ}", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 669, + "fields": { + "schema": 34, + "order": 81, + "alias": "F45", + "cst_type": "function", + "convention": "", + "term_raw": "обратные элементы для данного элемента", + "term_resolved": "обратные элементы для данного элемента", + "term_forms": [], + "definition_formal": "[α∈R1, σ∈ℬ((R1×R1)×R1)] D{ω∈Pr1(Pr1(σ)) | F41[α,ω,σ]∈F43[σ] & F41[ω,α,σ]∈F43[σ]}", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 670, + "fields": { + "schema": 34, + "order": 82, + "alias": "F46", + "cst_type": "function", + "convention": "", + "term_raw": "элемент, являющийся данной степенью данного элемента", + "term_resolved": "элемент, являющийся данной степенью данного элемента", + "term_forms": [], + "definition_formal": "[α∈R1, λ∈Z, σ∈ℬ((R1×R1)×R1)] pr1(R{(ξ, μ) := (α, 1) | μ<λ & λ>0 | (F41[ξ,α,σ], μ + 1)})", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 671, + "fields": { + "schema": 34, + "order": 83, + "alias": "P29", + "cst_type": "predicate", + "convention": "", + "term_raw": "свойство замкнутости и однозначности", + "term_resolved": "свойство замкнутости и однозначности", + "term_forms": [], + "definition_formal": "[α∈ℬ(R1), σ∈ℬ((R1×R1)×R1)] Pr1(σ) = α×α & card(σ) = card(Pr1(σ))", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 672, + "fields": { + "schema": 34, + "order": 84, + "alias": "P30", + "cst_type": "predicate", + "convention": "", + "term_raw": "свойство ассоциативности", + "term_resolved": "свойство ассоциативности", + "term_forms": [], + "definition_formal": "[σ∈ℬ((R1×R1)×R1)] ∀α,β,γ∈Pr1(Pr1(σ)) F41[F41[α,β,σ],γ,σ] = F41[α,F41[β,γ,σ],σ]", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 673, + "fields": { + "schema": 34, + "order": 85, + "alias": "P31", + "cst_type": "predicate", + "convention": "", + "term_raw": "свойство коммутативности", + "term_resolved": "свойство коммутативности", + "term_forms": [], + "definition_formal": "[σ∈ℬ((R1×R1)×R1)] ∀((α1,α2),γ)∈σ ((α2,α1),γ)∈σ", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 674, + "fields": { + "schema": 34, + "order": 86, + "alias": "P32", + "cst_type": "predicate", + "convention": "", + "term_raw": "свойство идемпотентности", + "term_resolved": "свойство идемпотентности", + "term_forms": [], + "definition_formal": "[σ∈ℬ((R1×R1)×R1)] ∀α∈Pr1(Pr1(σ)) ((α,α),α)∈σ", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 675, + "fields": { + "schema": 34, + "order": 87, + "alias": "P33", + "cst_type": "predicate", + "convention": "", + "term_raw": "свойство цикличности", + "term_resolved": "свойство цикличности", + "term_forms": [], + "definition_formal": "[σ∈ℬ((R1×R1)×R1)] ∃α∈Pr1(Pr1(σ)) ∀β∈Pr1(Pr1(σ)) ∃μ∈Z F46[α,μ,σ] = β", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 676, + "fields": { + "schema": 34, + "order": 88, + "alias": "P34", + "cst_type": "predicate", + "convention": "", + "term_raw": "группоид", + "term_resolved": "группоид", + "term_forms": [], + "definition_formal": "[α∈ℬ(R1), σ∈ℬ((R1×R1)×R1)] P29[α, σ]", + "definition_raw": "всюдуопределенная замкнутая функция пары элементов некоторого множества", + "definition_resolved": "всюдуопределенная замкнутая функция пары элементов некоторого множества" + } +}, +{ + "model": "rsform.constituenta", + "pk": 677, + "fields": { + "schema": 34, + "order": 89, + "alias": "P35", + "cst_type": "predicate", + "convention": "", + "term_raw": "полугруппа", + "term_resolved": "полугруппа", + "term_forms": [], + "definition_formal": "[α∈ℬ(R1), σ∈ℬ((R1×R1)×R1)] P29[α, σ] & P30[σ]", + "definition_raw": "ассоциативный группоид", + "definition_resolved": "ассоциативный группоид" + } +}, +{ + "model": "rsform.constituenta", + "pk": 678, + "fields": { + "schema": 34, + "order": 90, + "alias": "P36", + "cst_type": "predicate", + "convention": "", + "term_raw": "моноид", + "term_resolved": "моноид", + "term_forms": [], + "definition_formal": "[α∈ℬ(R1), σ∈ℬ((R1×R1)×R1)] P29[α, σ] & P30[σ] & card(F43[σ]) > 0", + "definition_raw": "полугруппа, в которой существует нейтральный элемент", + "definition_resolved": "полугруппа, в которой существует нейтральный элемент" + } +}, +{ + "model": "rsform.constituenta", + "pk": 679, + "fields": { + "schema": 34, + "order": 91, + "alias": "P37", + "cst_type": "predicate", + "convention": "", + "term_raw": "группа", + "term_resolved": "группа", + "term_forms": [], + "definition_formal": "[α∈ℬ(R1), σ∈ℬ((R1×R1)×R1)] P29[α, σ] & P30[σ] & card(F43[σ]) > 0 & ∀ξ∈α card(F45[ξ, σ]) > 0", + "definition_raw": "моноид, в котором для каждого элемента существует обратный", + "definition_resolved": "моноид, в котором для каждого элемента существует обратный" + } +}, +{ + "model": "rsform.constituenta", + "pk": 680, + "fields": { + "schema": 34, + "order": 92, + "alias": "P38", + "cst_type": "predicate", + "convention": "", + "term_raw": "абелева группа", + "term_resolved": "абелева группа", + "term_forms": [], + "definition_formal": "[α∈ℬ(R1), σ∈ℬ((R1×R1)×R1)] P29[α, σ] & P30[σ] & card(F43[σ]) > 0 & ∀ξ∈α card(F45[ξ, σ]) > 0 & P31[σ]", + "definition_raw": "коммутативная группа", + "definition_resolved": "коммутативная группа" + } +}, +{ + "model": "rsform.constituenta", + "pk": 681, + "fields": { + "schema": 34, + "order": 93, + "alias": "T9", + "cst_type": "theorem", + "convention": "Условия для \"левых\" и \"правых\" свойств через конкатенацию\nОперации по умолчанию считаются группоидами", + "term_raw": "Кольца", + "term_resolved": "Кольца", + "term_forms": [], + "definition_formal": "T8", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 682, + "fields": { + "schema": 34, + "order": 94, + "alias": "P39", + "cst_type": "predicate", + "convention": "", + "term_raw": "свойство дистрибутивности φψ", + "term_resolved": "свойство дистрибутивности φψ", + "term_forms": [], + "definition_formal": "[φ∈ℬ((R1×R1)×R1), ψ∈ℬ((R1×R1)×R1)] ∀α,β,γ∈Pr1(Pr1(φ)) (\n F41[α, F41[β, γ, φ], ψ] = F41[F41[α, β, ψ], F41[α, γ, ψ], φ] &\n F41[F41[α, β, φ], γ, ψ] = F41[F41[α, γ, ψ], F41[β, γ, ψ], φ]\n)", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 683, + "fields": { + "schema": 34, + "order": 95, + "alias": "P40", + "cst_type": "predicate", + "convention": "", + "term_raw": "свойство поглощения φψ", + "term_resolved": "свойство поглощения φψ", + "term_forms": [], + "definition_formal": "[φ∈ℬ((R1×R1)×R1), ψ∈ℬ((R1×R1)×R1)] ∀α,β∈Pr1(Pr1(φ)) (\n F41[α, F41[α, β, φ], ψ] = α & F41[F41[α, β, φ], α, ψ] = α &\n F41[α, F41[β, α, φ], ψ] = α & F41[F41[β, α, φ], α, ψ] = α\n)", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 684, + "fields": { + "schema": 34, + "order": 96, + "alias": "P41", + "cst_type": "predicate", + "convention": "", + "term_raw": "полукольцо", + "term_resolved": "полукольцо", + "term_forms": [], + "definition_formal": "[α∈ℬ(R1), φ∈ℬ((R1×R1)×R1), ψ∈ℬ((R1×R1)×R1)]\nP36[α, φ] & P31[φ] & P35[α, ψ] & P39[φ, ψ]", + "definition_raw": "сложение – моноид + коммутативность; умножение – полугруппа; дистрибутивность сложения относительно умножения", + "definition_resolved": "сложение – моноид + коммутативность; умножение – полугруппа; дистрибутивность сложения относительно умножения" + } +}, +{ + "model": "rsform.constituenta", + "pk": 685, + "fields": { + "schema": 34, + "order": 97, + "alias": "P42", + "cst_type": "predicate", + "convention": "", + "term_raw": "кольцо", + "term_resolved": "кольцо", + "term_forms": [], + "definition_formal": "[α∈ℬ(R1), φ∈ℬ((R1×R1)×R1), ψ∈ℬ((R1×R1)×R1)]\nP38[α, φ] & P35[α, ψ] & P39[φ, ψ]", + "definition_raw": "полукольцо, в котором для умножения существуют обратные элементы", + "definition_resolved": "полукольцо, в котором для умножения существуют обратные элементы" + } +}, +{ + "model": "rsform.constituenta", + "pk": 686, + "fields": { + "schema": 34, + "order": 98, + "alias": "P43", + "cst_type": "predicate", + "convention": "", + "term_raw": "тело", + "term_resolved": "тело", + "term_forms": [], + "definition_formal": "[α∈ℬ(R1), φ∈ℬ((R1×R1)×R1), ψ∈ℬ((R1×R1)×R1)]\nP38[α, φ] & P35[α, ψ] & P39[φ, ψ] & \ncard(F43[ψ]) > 0 & ∀ξ∈α\\F43[φ] card(F45[ξ, ψ]) > 0", + "definition_raw": "кольцо, в котором умножение обладает нейтральным элементов и обратными элементами для всех элементов, кроме нейтральных элементов сложения", + "definition_resolved": "кольцо, в котором умножение обладает нейтральным элементов и обратными элементами для всех элементов, кроме нейтральных элементов сложения" + } +}, +{ + "model": "rsform.constituenta", + "pk": 687, + "fields": { + "schema": 34, + "order": 99, + "alias": "P44", + "cst_type": "predicate", + "convention": "", + "term_raw": "поле", + "term_resolved": "поле", + "term_forms": [], + "definition_formal": "[α∈ℬ(R1), φ∈ℬ((R1×R1)×R1), ψ∈ℬ((R1×R1)×R1)] \nP38[α, φ] & P35[α, ψ] & P31[ψ] & P39[φ, ψ] & \ncard(F43[ψ]) > 0 & ∀ξ∈α\\F43[φ] card(F45[ξ, ψ]) > 0", + "definition_raw": "тело, в котором умножение обладает коммутативностью", + "definition_resolved": "тело, в котором умножение обладает коммутативностью" + } +}, +{ + "model": "rsform.constituenta", + "pk": 688, + "fields": { + "schema": 34, + "order": 100, + "alias": "P45", + "cst_type": "predicate", + "convention": "", + "term_raw": "свойство покрытия", + "term_resolved": "свойство покрытия", + "term_forms": [], + "definition_formal": "[α∈ℬ(R1), σ∈ℬℬ(R1)] α⊆red(σ)", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 689, + "fields": { + "schema": 34, + "order": 101, + "alias": "P46", + "cst_type": "predicate", + "convention": "", + "term_raw": "алгебраическая решетка", + "term_resolved": "алгебраическая решетка", + "term_forms": [], + "definition_formal": "[α∈ℬ(R1), φ∈ℬ((R1×R1)×R1), ψ∈ℬ((R1×R1)×R1)] \nP35[α, φ] & P31[φ] & P35[α, ψ] & P31[ψ] & P40[φ, ψ] & P40[ψ, φ]", + "definition_raw": "обе операции - коммутативные полугруппы с идемпотентностью и взаимным поглощением", + "definition_resolved": "обе операции - коммутативные полугруппы с идемпотентностью и взаимным поглощением" + } +}, +{ + "model": "rsform.constituenta", + "pk": 690, + "fields": { + "schema": 34, + "order": 102, + "alias": "T10", + "cst_type": "theorem", + "convention": "", + "term_raw": "Множества подмножеств", + "term_resolved": "Множества подмножеств", + "term_forms": [], + "definition_formal": "", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 691, + "fields": { + "schema": 34, + "order": 103, + "alias": "P47", + "cst_type": "predicate", + "convention": "", + "term_raw": "свойство попарного непересечения", + "term_resolved": "свойство попарного непересечения", + "term_forms": [], + "definition_formal": "[σ∈ℬℬ(R1)] ∀α,β∈σ (α≠β ⇒ α∩β=∅)", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 692, + "fields": { + "schema": 34, + "order": 104, + "alias": "P48", + "cst_type": "predicate", + "convention": "", + "term_raw": "свойство замкнутости по объединению", + "term_resolved": "свойство замкнутости по объединению", + "term_forms": [], + "definition_formal": "[σ∈ℬℬ(R1)] ∀α,β∈σ α∪β∈σ", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 693, + "fields": { + "schema": 34, + "order": 105, + "alias": "P49", + "cst_type": "predicate", + "convention": "", + "term_raw": "свойство замкнутости по пересечению", + "term_resolved": "свойство замкнутости по пересечению", + "term_forms": [], + "definition_formal": "[σ∈ℬℬ(R1)] ∀α,β∈σ α∩β∈σ", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 694, + "fields": { + "schema": 34, + "order": 106, + "alias": "P50", + "cst_type": "predicate", + "convention": "", + "term_raw": "свойство замкнутости по надмножеству", + "term_resolved": "свойство замкнутости по надмножеству", + "term_forms": [], + "definition_formal": "[α∈ℬ(R1), σ∈ℬℬ(R1)] ∀ξ∈σ (ξ≠∅ ⇒ ∀δ∈α\\ξ ξ∪{δ}∈σ)", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 695, + "fields": { + "schema": 34, + "order": 107, + "alias": "P51", + "cst_type": "predicate", + "convention": "", + "term_raw": "свойство полноты подмножеств", + "term_resolved": "свойство полноты подмножеств", + "term_forms": [], + "definition_formal": "[α∈ℬ(R1), σ∈ℬℬ(R1)] ∀ξ∈ℬ(α) ¬(ξ∈σ ⇔ α\\ξ∈σ)", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 696, + "fields": { + "schema": 34, + "order": 108, + "alias": "P52", + "cst_type": "predicate", + "convention": "", + "term_raw": "разбиение", + "term_resolved": "разбиение", + "term_forms": [], + "definition_formal": "[α∈ℬ(R1), σ∈ℬℬ(R1)] α⊆red(σ) & ∀ξ1,ξ2∈σ (ξ1≠ξ2 ⇒ ξ1∩ξ2=∅)", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 697, + "fields": { + "schema": 34, + "order": 109, + "alias": "F47", + "cst_type": "function", + "convention": "", + "term_raw": "множество-пересечение", + "term_resolved": "множество-пересечение", + "term_forms": [], + "definition_formal": "[σ∈ℬℬ(R1)] D{ξ∈red(σ) | ∀β∈σ (ξ∈β)}", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 698, + "fields": { + "schema": 34, + "order": 110, + "alias": "P53", + "cst_type": "predicate", + "convention": "", + "term_raw": "вложенные подмножества", + "term_resolved": "вложенные подмножества", + "term_forms": [], + "definition_formal": "[σ∈ℬℬ(R1)] ∀α,β∈σ (card(α)≤card(β) ⇒ α⊆β)", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 699, + "fields": { + "schema": 34, + "order": 111, + "alias": "P54", + "cst_type": "predicate", + "convention": "", + "term_raw": "вложенные подмножества (декларативно)", + "term_resolved": "вложенные подмножества (декларативно)", + "term_forms": [], + "definition_formal": "[σ∈ℬℬ(R1)] ∀γ∈ℬ(σ) (σ≠∅ ⇒ red(σ)∈σ)", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 700, + "fields": { + "schema": 35, + "order": 1, + "alias": "X1", + "cst_type": "basic", + "convention": "", + "term_raw": "элементы", + "term_resolved": "элементы", + "term_forms": [], + "definition_formal": "", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 701, + "fields": { + "schema": 35, + "order": 2, + "alias": "S1", + "cst_type": "structure", + "convention": "", + "term_raw": "операция", + "term_resolved": "операция", + "term_forms": [], + "definition_formal": "ℬ((X1×X1)×X1)", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 702, + "fields": { + "schema": 35, + "order": 3, + "alias": "F1", + "cst_type": "function", + "convention": "", + "term_raw": "результат операции для данных аргументов", + "term_resolved": "результат операции для данных аргументов", + "term_forms": [], + "definition_formal": "[α∈X1, β∈X1] debool(Pr2(Fi1[{(α,β)}](S1)))", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 703, + "fields": { + "schema": 35, + "order": 4, + "alias": "A1", + "cst_type": "axiom", + "convention": "", + "term_raw": "свойство замкнутости", + "term_resolved": "свойство замкнутости", + "term_forms": [], + "definition_formal": "Pr1(S1) = X1×X1 & card(S1) = card(Pr1(S1))", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 704, + "fields": { + "schema": 35, + "order": 5, + "alias": "A2", + "cst_type": "axiom", + "convention": "", + "term_raw": "свойство ассоциативности", + "term_resolved": "свойство ассоциативности", + "term_forms": [], + "definition_formal": "∀α,β,γ∈X1 F1[F1[α,β],γ]=F1[α,F1[β,γ]]", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 705, + "fields": { + "schema": 35, + "order": 6, + "alias": "D1", + "cst_type": "term", + "convention": "", + "term_raw": "нейтральные элементы", + "term_resolved": "нейтральные элементы", + "term_forms": [], + "definition_formal": "D{ξ∈X1 | ∀α∈X1 F1[ξ,α]=α}", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 706, + "fields": { + "schema": 35, + "order": 7, + "alias": "A3", + "cst_type": "axiom", + "convention": "", + "term_raw": "существование нейтрального элемента", + "term_resolved": "существование нейтрального элемента", + "term_forms": [], + "definition_formal": "card(D1)>0", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 707, + "fields": { + "schema": 35, + "order": 8, + "alias": "F2", + "cst_type": "function", + "convention": "", + "term_raw": "обратный данному элементу элемент", + "term_resolved": "обратный данному элементу элемент", + "term_forms": [], + "definition_formal": "[αα∈X1] D{αω∈X1 | F1[αα,αω]∈D1 & F1[αω,αα]∈D1}", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 708, + "fields": { + "schema": 35, + "order": 9, + "alias": "D3", + "cst_type": "term", + "convention": "", + "term_raw": "инвариантные элементы", + "term_resolved": "инвариантные элементы", + "term_forms": [], + "definition_formal": "D{ξ∈X1 | ∀α∈X1 F1[ξ,α]=ξ}", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 709, + "fields": { + "schema": 35, + "order": 10, + "alias": "A4", + "cst_type": "axiom", + "convention": "", + "term_raw": "существования всех обратных элементов", + "term_resolved": "существования всех обратных элементов", + "term_forms": [], + "definition_formal": "∀α∈X1 card(F2[α])>0", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 710, + "fields": { + "schema": 35, + "order": 11, + "alias": "D2", + "cst_type": "term", + "convention": "", + "term_raw": "коммутативные совокупности аргументов", + "term_resolved": "коммутативные совокупности аргументов", + "term_forms": [], + "definition_formal": "I{{α, β} | α:∈X1; β:∈X1; α≠β; F1[α,β]=F1[β,α]}", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 711, + "fields": { + "schema": 35, + "order": 12, + "alias": "A5", + "cst_type": "axiom", + "convention": "", + "term_raw": "условие коммутативности", + "term_resolved": "условие коммутативности", + "term_forms": [], + "definition_formal": "∀α,β∈X1 F1[α,β]=F1[β,α]", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 712, + "fields": { + "schema": 35, + "order": 13, + "alias": "A6", + "cst_type": "axiom", + "convention": "", + "term_raw": "условие идемпотентности", + "term_resolved": "условие идемпотентности", + "term_forms": [], + "definition_formal": "∀α∈X1 F1[α,α]=α", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 713, + "fields": { + "schema": 36, + "order": 1, + "alias": "X1", + "cst_type": "basic", + "convention": "", + "term_raw": "элементы", + "term_resolved": "элементы", + "term_forms": [], + "definition_formal": "", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 714, + "fields": { + "schema": 36, + "order": 2, + "alias": "S1", + "cst_type": "structure", + "convention": "", + "term_raw": "операция И", + "term_resolved": "операция И", + "term_forms": [], + "definition_formal": "ℬ((X1×X1)×X1)", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 715, + "fields": { + "schema": 36, + "order": 3, + "alias": "S2", + "cst_type": "structure", + "convention": "", + "term_raw": "операция ИЛИ", + "term_resolved": "операция ИЛИ", + "term_forms": [], + "definition_formal": "ℬ((X1×X1)×X1)", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 716, + "fields": { + "schema": 36, + "order": 4, + "alias": "S3", + "cst_type": "structure", + "convention": "", + "term_raw": "операция НЕ", + "term_resolved": "операция НЕ", + "term_forms": [], + "definition_formal": "ℬ(X1×X1)", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 717, + "fields": { + "schema": 36, + "order": 5, + "alias": "S4", + "cst_type": "structure", + "convention": "", + "term_raw": "значение ИСТИНА", + "term_resolved": "значение ИСТИНА", + "term_forms": [], + "definition_formal": "X1", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 718, + "fields": { + "schema": 36, + "order": 6, + "alias": "S5", + "cst_type": "structure", + "convention": "", + "term_raw": "значение ЛОЖЬ", + "term_resolved": "значение ЛОЖЬ", + "term_forms": [], + "definition_formal": "X1", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 719, + "fields": { + "schema": 36, + "order": 7, + "alias": "F2", + "cst_type": "function", + "convention": "", + "term_raw": "результат операции И для данных аргументов", + "term_resolved": "результат операции И для данных аргументов", + "term_forms": [], + "definition_formal": "[α∈X1, β∈X1] debool(Pr2(Fi1[{(α,β)}](S1)))", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 720, + "fields": { + "schema": 36, + "order": 8, + "alias": "F3", + "cst_type": "function", + "convention": "", + "term_raw": "результат операции ИЛИ для данных аргументов", + "term_resolved": "результат операции ИЛИ для данных аргументов", + "term_forms": [], + "definition_formal": "[α∈X1, β∈X1] debool(Pr2(Fi1[{(α,β)}](S2)))", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 721, + "fields": { + "schema": 36, + "order": 9, + "alias": "F4", + "cst_type": "function", + "convention": "", + "term_raw": "результат операции НЕ для данного аргумента", + "term_resolved": "результат операции НЕ для данного аргумента", + "term_forms": [], + "definition_formal": "[α∈X1] debool(Pr2(Fi1[{α}](S3)))", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 722, + "fields": { + "schema": 36, + "order": 10, + "alias": "P1", + "cst_type": "predicate", + "convention": "", + "term_raw": "прямая однозначность", + "term_resolved": "прямая однозначность", + "term_forms": [], + "definition_formal": "[σ∈ℬ(R1×R2)] ∀α∈Pr1(σ) card(Pr2(Fi1[{α}](σ))) = 1", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 723, + "fields": { + "schema": 36, + "order": 11, + "alias": "P2", + "cst_type": "predicate", + "convention": "", + "term_raw": "идемпотентность", + "term_resolved": "идемпотентность", + "term_forms": [], + "definition_formal": "[σ∈ℬ((R1×R1)×R1)] ∀α∈Pr1(Pr1(σ)) ((α,α),α)∈σ", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 724, + "fields": { + "schema": 36, + "order": 12, + "alias": "P3", + "cst_type": "predicate", + "convention": "", + "term_raw": "коммутативность", + "term_resolved": "коммутативность", + "term_forms": [], + "definition_formal": "[σ∈ℬ((R1×R1)×R1)] ∀((α1,α2),γ)∈σ ((α2,α1),γ)∈σ", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 725, + "fields": { + "schema": 36, + "order": 13, + "alias": "P4", + "cst_type": "predicate", + "convention": "", + "term_raw": "ассоциативность", + "term_resolved": "ассоциативность", + "term_forms": [], + "definition_formal": "[σ∈ℬ((R1×R1)×R1)] \n∀α1,α2,α3∈Pr1(Pr1(σ)) F1[(F1[(α1, α2),σ],α3),σ] = F1[(α1,F1[(α2, α3), σ]),σ]", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 726, + "fields": { + "schema": 36, + "order": 14, + "alias": "P5", + "cst_type": "predicate", + "convention": "", + "term_raw": "поглощение бинарных операций", + "term_resolved": "поглощение бинарных операций", + "term_forms": [], + "definition_formal": "[σ1∈ℬ((R1×R1)×R1), σ2∈ℬ((R1×R1)×R1)] \n∀(α1,α2)∈Pr1(σ1) F1[(F1[(α1, α2),σ1],α1),σ2] = α1", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 727, + "fields": { + "schema": 36, + "order": 15, + "alias": "A1", + "cst_type": "axiom", + "convention": "", + "term_raw": "@{P1|nomn,sing} @{S1|gent,sing}", + "term_resolved": "прямая однозначность операции И", + "term_forms": [], + "definition_formal": "P1[S1]", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 728, + "fields": { + "schema": 36, + "order": 16, + "alias": "A2", + "cst_type": "axiom", + "convention": "", + "term_raw": "@{P1|nomn,sing} @{S2|gent,sing}", + "term_resolved": "прямая однозначность операции ИЛИ", + "term_forms": [], + "definition_formal": "P1[S2]", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 729, + "fields": { + "schema": 36, + "order": 17, + "alias": "A3", + "cst_type": "axiom", + "convention": "", + "term_raw": "@{P2|nomn,sing} @{S1|gent,sing}", + "term_resolved": "идемпотентность операции И", + "term_forms": [], + "definition_formal": "P2[S1]", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 730, + "fields": { + "schema": 36, + "order": 18, + "alias": "A4", + "cst_type": "axiom", + "convention": "", + "term_raw": "@{P2|nomn,sing} @{S2|gent,sing}", + "term_resolved": "идемпотентность операции ИЛИ", + "term_forms": [], + "definition_formal": "P2[S2]", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 731, + "fields": { + "schema": 36, + "order": 19, + "alias": "A5", + "cst_type": "axiom", + "convention": "", + "term_raw": "@{P3|nomn,sing} @{S1|gent,sing}", + "term_resolved": "коммутативность операции И", + "term_forms": [], + "definition_formal": "P3[S1]", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 732, + "fields": { + "schema": 36, + "order": 20, + "alias": "A6", + "cst_type": "axiom", + "convention": "", + "term_raw": "@{P3|nomn,sing} @{S2|gent,sing}", + "term_resolved": "коммутативность операции ИЛИ", + "term_forms": [], + "definition_formal": "P3[S2]", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 733, + "fields": { + "schema": 36, + "order": 21, + "alias": "A7", + "cst_type": "axiom", + "convention": "", + "term_raw": "@{P4|nomn,sing} @{S1|gent,sing}", + "term_resolved": "ассоциативность операции И", + "term_forms": [], + "definition_formal": "P4[S1]", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 734, + "fields": { + "schema": 36, + "order": 22, + "alias": "A8", + "cst_type": "axiom", + "convention": "", + "term_raw": "@{P4|nomn,sing} @{S2|gent,sing}", + "term_resolved": "ассоциативность операции ИЛИ", + "term_forms": [], + "definition_formal": "P4[S2]", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 735, + "fields": { + "schema": 36, + "order": 23, + "alias": "A9", + "cst_type": "axiom", + "convention": "", + "term_raw": "поглощение @{S1|gent,sing} @{S2|ablt,sing}", + "term_resolved": "поглощение операции И операцией ИЛИ", + "term_forms": [], + "definition_formal": "P5[S1,S2]", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 736, + "fields": { + "schema": 36, + "order": 24, + "alias": "A10", + "cst_type": "axiom", + "convention": "", + "term_raw": "поглощение @{S2|gent,sing} @{S1|ablt,sing}", + "term_resolved": "поглощение операции ИЛИ операцией И", + "term_forms": [], + "definition_formal": "P5[S2,S1]", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 737, + "fields": { + "schema": 37, + "order": 1, + "alias": "X1", + "cst_type": "basic", + "convention": "Различимые в предметной области люди", + "term_raw": "индивиды", + "term_resolved": "индивиды", + "term_forms": [], + "definition_formal": "", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 738, + "fields": { + "schema": 37, + "order": 2, + "alias": "S1", + "cst_type": "structure", + "convention": "Пол человека устанавливается в соответствии с документами", + "term_raw": "мужчины", + "term_resolved": "мужчины", + "term_forms": [], + "definition_formal": "ℬ(X1)", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 739, + "fields": { + "schema": 37, + "order": 3, + "alias": "S2", + "cst_type": "structure", + "convention": "Пол человека устанавливается в соответствии с документами", + "term_raw": "женщины", + "term_resolved": "женщины", + "term_forms": [], + "definition_formal": "ℬ(X1)", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 740, + "fields": { + "schema": 37, + "order": 4, + "alias": "A1", + "cst_type": "axiom", + "convention": "", + "term_raw": "условие разбиения индивидов на @{S1|gent,plur} и @{S2|gent,plur}", + "term_resolved": "условие разбиения индивидов на мужчин и женщин", + "term_forms": [], + "definition_formal": "S1∪S2=X1 & S1∩S2=∅", + "definition_raw": "каждый индивид является либо мужчиной либо женщиной", + "definition_resolved": "каждый индивид является либо мужчиной либо женщиной" + } +}, +{ + "model": "rsform.constituenta", + "pk": 741, + "fields": { + "schema": 37, + "order": 5, + "alias": "S3", + "cst_type": "structure", + "convention": "устанавливается на основе документов, подтверждающих факт рождения или паспорта родителя", + "term_raw": "отношение @{D2|nomn,sing} - @{D1|nomn,sing}", + "term_resolved": "отношение родитель - ребёнок", + "term_forms": [ + { + "tags": "sing,ablt", + "text": "отношением родитель - ребёнок" + }, + { + "tags": "sing,accs", + "text": "отношение родитель - ребёнок" + }, + { + "tags": "sing,datv", + "text": "отношению родитель - ребёнок" + }, + { + "tags": "sing,gent", + "text": "отношения родитель - ребёнок" + }, + { + "tags": "sing,nomn", + "text": "отношение родитель - ребёнок" + }, + { + "tags": "sing,loct", + "text": "отношение родителе - ребёнок" + }, + { + "tags": "plur,nomn", + "text": "отношение родители - ребёнок" + }, + { + "tags": "plur,gent", + "text": "отношение родителей - ребёнок" + }, + { + "tags": "plur,datv", + "text": "отношение родителям - ребёнок" + }, + { + "tags": "plur,accs", + "text": "отношение родителей - ребёнок" + }, + { + "tags": "plur,ablt", + "text": "отношение родителями - ребёнок" + }, + { + "tags": "plur,loct", + "text": "отношение родителях - ребёнок" + } + ], + "definition_formal": "ℬ(X1×X1)", + "definition_raw": "множество пар: @{D2|nomn,sing} и его @{D1|nomn,sing}", + "definition_resolved": "множество пар: родитель и его ребёнок" + } +}, +{ + "model": "rsform.constituenta", + "pk": 742, + "fields": { + "schema": 37, + "order": 6, + "alias": "D1", + "cst_type": "term", + "convention": "", + "term_raw": "дети", + "term_resolved": "дети", + "term_forms": [], + "definition_formal": "Pr2(S3)", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 743, + "fields": { + "schema": 37, + "order": 7, + "alias": "D2", + "cst_type": "term", + "convention": "", + "term_raw": "родители", + "term_resolved": "родители", + "term_forms": [], + "definition_formal": "Pr1(S3)", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 744, + "fields": { + "schema": 37, + "order": 8, + "alias": "F1", + "cst_type": "function", + "convention": "", + "term_raw": "@{D2|nomn,plur} @{X1|sing,gent}", + "term_resolved": "родители индивида", + "term_forms": [], + "definition_formal": "[α∈X1] Pr1(Fi2[{α}](S3))", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 745, + "fields": { + "schema": 37, + "order": 9, + "alias": "F2", + "cst_type": "function", + "convention": "", + "term_raw": "@{D2|nomn,plur} группы @{X1|gent,plur}", + "term_resolved": "родители группы индивидов", + "term_forms": [], + "definition_formal": "[α∈ℬ(X1)] Pr1(Fi2[α](S3))", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 746, + "fields": { + "schema": 37, + "order": 10, + "alias": "F3", + "cst_type": "function", + "convention": "", + "term_raw": "@{D1|nomn,plur} @{X1|gent,sing}", + "term_resolved": "дети индивида", + "term_forms": [], + "definition_formal": "[α∈X1] Pr2(Fi1[{α}](S3))", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 747, + "fields": { + "schema": 37, + "order": 11, + "alias": "F4", + "cst_type": "function", + "convention": "", + "term_raw": "@{D1|nomn,plur} группы @{X1|gent,plur}", + "term_resolved": "дети группы индивидов", + "term_forms": [], + "definition_formal": "[α∈ℬ(X1)] Pr2(Fi1[α](S3))", + "definition_raw": "совокупность @{D1|plur,gent}, одним из родителей которых является индивиди из данной группы индивидов", + "definition_resolved": "совокупность детей, одним из родителей которых является индивиди из данной группы индивидов" + } +}, +{ + "model": "rsform.constituenta", + "pk": 748, + "fields": { + "schema": 37, + "order": 12, + "alias": "F5", + "cst_type": "function", + "convention": "", + "term_raw": "сиблинги", + "term_resolved": "сиблинги", + "term_forms": [ + { + "tags": "plur,gent", + "text": "сиблингов" + } + ], + "definition_formal": "[α∈X1] Pr2(Fi1[F1[α]](S3))\\{α}", + "definition_raw": "@{D1|plur,nomn} @{D2|plur,gent} данного @{X1|sing,gent} за исключением его самого", + "definition_resolved": "дети родителей данного индивида за исключением его самого" + } +}, +{ + "model": "rsform.constituenta", + "pk": 749, + "fields": { + "schema": 37, + "order": 13, + "alias": "F6", + "cst_type": "function", + "convention": "", + "term_raw": "@{F5|nomn,plur} группы @{X1|gent,plur}", + "term_resolved": "сиблинги группы индивидов", + "term_forms": [], + "definition_formal": "[α∈ℬ(X1)] Pr2(Fi1[F2[α]](S3))\\α", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 750, + "fields": { + "schema": 37, + "order": 14, + "alias": "F7", + "cst_type": "function", + "convention": "", + "term_raw": "прадети", + "term_resolved": "прадети", + "term_forms": [], + "definition_formal": "[α∈X1] F4[F3[α]]", + "definition_raw": "@{D1|nomn,plur} @{F3|gent,plur}", + "definition_resolved": "дети детей индивида" + } +}, +{ + "model": "rsform.constituenta", + "pk": 751, + "fields": { + "schema": 37, + "order": 15, + "alias": "F8", + "cst_type": "function", + "convention": "", + "term_raw": "прародители", + "term_resolved": "прародители", + "term_forms": [], + "definition_formal": "[α∈X1] F2[F1[α]]", + "definition_raw": "@{D2|nomn,plur} @{D2|gent,plur} данного @{X1|sing,gent}", + "definition_resolved": "родители родителей данного индивида" + } +}, +{ + "model": "rsform.constituenta", + "pk": 752, + "fields": { + "schema": 37, + "order": 16, + "alias": "S4", + "cst_type": "structure", + "convention": "действующие браки", + "term_raw": "браки", + "term_resolved": "браки", + "term_forms": [], + "definition_formal": "ℬ(S1×S2)", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 753, + "fields": { + "schema": 37, + "order": 17, + "alias": "D3", + "cst_type": "term", + "convention": "", + "term_raw": "мужья", + "term_resolved": "мужья", + "term_forms": [], + "definition_formal": "Pr1(S4)", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 754, + "fields": { + "schema": 37, + "order": 18, + "alias": "D4", + "cst_type": "term", + "convention": "", + "term_raw": "жены", + "term_resolved": "жены", + "term_forms": [], + "definition_formal": "Pr2(S4)", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 755, + "fields": { + "schema": 37, + "order": 19, + "alias": "D5", + "cst_type": "term", + "convention": "", + "term_raw": "супруги", + "term_resolved": "супруги", + "term_forms": [], + "definition_formal": "Pr1(S4)∪Pr2(S4)", + "definition_raw": "множество множеств @{X1|gent,plur}, состоящих в @{S4|loct,sing}", + "definition_resolved": "множество множеств индивидов, состоящих в браке" + } +}, +{ + "model": "rsform.constituenta", + "pk": 756, + "fields": { + "schema": 37, + "order": 20, + "alias": "A2", + "cst_type": "axiom", + "convention": "", + "term_raw": "единственность @{S4|gent,plur}", + "term_resolved": "единственность браков", + "term_forms": [], + "definition_formal": "card(S4)=card(D3) & card(S4)=card(D4)", + "definition_raw": "каждый @{X1|nomn,sing} может состоять только в одном @{S4|loct,sing}", + "definition_resolved": "каждый индивид может состоять только в одном браке" + } +}, +{ + "model": "rsform.constituenta", + "pk": 757, + "fields": { + "schema": 37, + "order": 21, + "alias": "F9", + "cst_type": "function", + "convention": "", + "term_raw": "@{D3|nomn,sing} @{D4|gent,sing}", + "term_resolved": "муж жены", + "term_forms": [], + "definition_formal": "[α∈D4] debool(F11[{α}])", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 758, + "fields": { + "schema": 37, + "order": 22, + "alias": "F10", + "cst_type": "function", + "convention": "", + "term_raw": "@{D4|nomn,sing} @{D3|gent,sing}", + "term_resolved": "жена мужа", + "term_forms": [], + "definition_formal": "[α∈D3] debool(F12[{α}])", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 759, + "fields": { + "schema": 37, + "order": 23, + "alias": "F11", + "cst_type": "function", + "convention": "", + "term_raw": "@{D3|nomn,plur} группы @{X1|gent,plur}", + "term_resolved": "мужья группы индивидов", + "term_forms": [], + "definition_formal": "[α∈ℬ(X1)] Pr1(Fi2[α](S4))", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 760, + "fields": { + "schema": 37, + "order": 24, + "alias": "F12", + "cst_type": "function", + "convention": "", + "term_raw": "@{D4|nomn,plur} группы @{X1|gent,plur}", + "term_resolved": "жены группы индивидов", + "term_forms": [], + "definition_formal": "[α∈ℬ(X1)] Pr2(Fi1[α](S4))", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 761, + "fields": { + "schema": 37, + "order": 25, + "alias": "F13", + "cst_type": "function", + "convention": "", + "term_raw": "@{D5|nomn,plur} группы @{X1|gent,plur}", + "term_resolved": "супруги группы индивидов", + "term_forms": [], + "definition_formal": "[α∈ℬ(X1)] F11[α]∪F12[α]", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 762, + "fields": { + "schema": 37, + "order": 26, + "alias": "F14", + "cst_type": "function", + "convention": "", + "term_raw": "потомки", + "term_resolved": "потомки", + "term_forms": [], + "definition_formal": "[α∈X1] R{ξ:=F3[α] | ξ∪F4[ξ]}", + "definition_raw": "@{D1|nomn,plur} данного @{X1|sing,gent} или @{D1|nomn,plur} его @{F14|gent,plur}", + "definition_resolved": "дети данного индивида или дети его потомков" + } +}, +{ + "model": "rsform.constituenta", + "pk": 763, + "fields": { + "schema": 37, + "order": 27, + "alias": "F15", + "cst_type": "function", + "convention": "", + "term_raw": "@{F14|nomn,plur} данной группы @{X1|gent,plur}", + "term_resolved": "потомки данной группы индивидов", + "term_forms": [], + "definition_formal": "[α∈ℬ(X1)] R{ξ:=F4[α] | ξ∪F4[ξ]}", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 764, + "fields": { + "schema": 37, + "order": 28, + "alias": "A3", + "cst_type": "axiom", + "convention": "", + "term_raw": "ацикличность @{S3|sing,gent}", + "term_resolved": "ацикличность отношение родителя - ребёнок", + "term_forms": [], + "definition_formal": "∀ξ∈X1 ξ∉F14[ξ]", + "definition_raw": "@{X1|sing,nomn} не может быть своим @{F14|sing,ablt}", + "definition_resolved": "индивид не может быть своим потомком" + } +}, +{ + "model": "rsform.constituenta", + "pk": 765, + "fields": { + "schema": 37, + "order": 29, + "alias": "D6", + "cst_type": "term", + "convention": "", + "term_raw": "отцы", + "term_resolved": "отцы", + "term_forms": [], + "definition_formal": "D2∩S1", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 766, + "fields": { + "schema": 37, + "order": 30, + "alias": "D7", + "cst_type": "term", + "convention": "", + "term_raw": "матери", + "term_resolved": "матери", + "term_forms": [ + { + "tags": "sing,nomn", + "text": "мать" + } + ], + "definition_formal": "D2∩S2", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 767, + "fields": { + "schema": 37, + "order": 31, + "alias": "F16", + "cst_type": "function", + "convention": "", + "term_raw": "@{D6|nomn,plur} группы @{X1|gent,plur}", + "term_resolved": "отцы группы индивидов", + "term_forms": [], + "definition_formal": "[α∈ℬ(X1)] F2[α]∩S1", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 768, + "fields": { + "schema": 37, + "order": 32, + "alias": "F17", + "cst_type": "function", + "convention": "", + "term_raw": "@{D6|nomn,plur} @{X1|sing,gent}", + "term_resolved": "отцы индивида", + "term_forms": [], + "definition_formal": "[α∈X1] F1[α]∩S1", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 769, + "fields": { + "schema": 37, + "order": 33, + "alias": "F18", + "cst_type": "function", + "convention": "", + "term_raw": "@{D7|nomn,plur} @{X1|gent,sing}", + "term_resolved": "матери индивида", + "term_forms": [], + "definition_formal": "[α∈X1] F1[α]∩S2", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 770, + "fields": { + "schema": 37, + "order": 34, + "alias": "F19", + "cst_type": "function", + "convention": "", + "term_raw": "@{D7|nomn,plur} группы @{X1|gent,plur}", + "term_resolved": "матери группы индивидов", + "term_forms": [], + "definition_formal": "[α∈ℬ(X1)] F2[α]∩S2", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 771, + "fields": { + "schema": 37, + "order": 35, + "alias": "D8", + "cst_type": "term", + "convention": "", + "term_raw": "сироты", + "term_resolved": "сироты", + "term_forms": [], + "definition_formal": "X1\\D1", + "definition_raw": "@{X1|plur,nomn}, не имеющие являющиеся @{D1|plur,ablt}", + "definition_resolved": "индивиды, не имеющие являющиеся детьми" + } +}, +{ + "model": "rsform.constituenta", + "pk": 772, + "fields": { + "schema": 37, + "order": 36, + "alias": "A4", + "cst_type": "axiom", + "convention": "", + "term_raw": "ограничение @{D2|plur,gent}", + "term_resolved": "ограничение родителей", + "term_forms": [], + "definition_formal": "∀α∈X1 (card(F17[α])≤1 & card(F18[α])≤1)", + "definition_raw": "у @{D1|sing,gent} может быть максимум один @{D6|sing,nomn} и одна @{D7|sing,nomn}", + "definition_resolved": "у ребёнка может быть максимум один отец и одна мать" + } +}, +{ + "model": "rsform.constituenta", + "pk": 773, + "fields": { + "schema": 37, + "order": 37, + "alias": "F20", + "cst_type": "function", + "convention": "", + "term_raw": "сыновья", + "term_resolved": "сыновья", + "term_forms": [ + { + "tags": "plur,gent", + "text": "сыновей" + } + ], + "definition_formal": "[α∈X1] F3[α]∩S1", + "definition_raw": "@{D1|plur,nomn} данного @{X1|sing,gent}, являющиеся @{S1|plur,ablt}", + "definition_resolved": "дети данного индивида, являющиеся мужчинами" + } +}, +{ + "model": "rsform.constituenta", + "pk": 774, + "fields": { + "schema": 37, + "order": 38, + "alias": "F21", + "cst_type": "function", + "convention": "", + "term_raw": "@{F20|nomn,plur} группы @{X1|gent,plur}", + "term_resolved": "сыновья группы индивидов", + "term_forms": [], + "definition_formal": "[α∈ℬ(X1)] F4[α]∩S1", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 775, + "fields": { + "schema": 37, + "order": 39, + "alias": "F22", + "cst_type": "function", + "convention": "", + "term_raw": "дочери", + "term_resolved": "дочери", + "term_forms": [], + "definition_formal": "[α∈X1] F3[α]∩S2", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 776, + "fields": { + "schema": 37, + "order": 40, + "alias": "F23", + "cst_type": "function", + "convention": "", + "term_raw": "@{F22|nomn,plur} группы @{X1|gent,plur}", + "term_resolved": "дочери группы индивидов", + "term_forms": [], + "definition_formal": "[α∈ℬ(X1)] F4[α]∩S2", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 777, + "fields": { + "schema": 37, + "order": 41, + "alias": "F24", + "cst_type": "function", + "convention": "", + "term_raw": "внуки", + "term_resolved": "внуки", + "term_forms": [], + "definition_formal": "[α∈X1] F21[F3[α]]", + "definition_raw": "@{F20|nomn,plur} @{D1|gent,plur}", + "definition_resolved": "сыновья детей" + } +}, +{ + "model": "rsform.constituenta", + "pk": 778, + "fields": { + "schema": 37, + "order": 42, + "alias": "F25", + "cst_type": "function", + "convention": "", + "term_raw": "внучки", + "term_resolved": "внучки", + "term_forms": [], + "definition_formal": "[α∈X1] F23[F3[α]]", + "definition_raw": "@{F22|nomn,plur} @{D1|gent,plur}", + "definition_resolved": "дочери детей" + } +}, +{ + "model": "rsform.constituenta", + "pk": 779, + "fields": { + "schema": 37, + "order": 43, + "alias": "F26", + "cst_type": "function", + "convention": "", + "term_raw": "дедушки", + "term_resolved": "дедушки", + "term_forms": [], + "definition_formal": "[α∈X1] F16[F1[α]]", + "definition_raw": "@{D6|nomn,plur} @{D2|gent,plur}", + "definition_resolved": "отцы родителей" + } +}, +{ + "model": "rsform.constituenta", + "pk": 780, + "fields": { + "schema": 37, + "order": 44, + "alias": "F27", + "cst_type": "function", + "convention": "", + "term_raw": "бабушки", + "term_resolved": "бабушки", + "term_forms": [], + "definition_formal": "[α∈X1] F19[F1[α]]", + "definition_raw": "@{D7|nomn,plur} @{D2|gent,plur}", + "definition_resolved": "матери родителей" + } +}, +{ + "model": "rsform.constituenta", + "pk": 781, + "fields": { + "schema": 37, + "order": 45, + "alias": "F28", + "cst_type": "function", + "convention": "", + "term_raw": "братья", + "term_resolved": "братья", + "term_forms": [ + { + "tags": "plur,gent", + "text": "братьев" + } + ], + "definition_formal": "[α∈X1] F5[α]∩S1", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 782, + "fields": { + "schema": 37, + "order": 46, + "alias": "F29", + "cst_type": "function", + "convention": "", + "term_raw": "@{F28|nomn,plur} группы @{X1|gent,plur}", + "term_resolved": "братья группы индивидов", + "term_forms": [], + "definition_formal": "[α∈ℬ(X1)] F6[α]∩S1", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 783, + "fields": { + "schema": 37, + "order": 47, + "alias": "F30", + "cst_type": "function", + "convention": "", + "term_raw": "сёстры", + "term_resolved": "сёстры", + "term_forms": [], + "definition_formal": "[α∈X1] F5[α]∩S2", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 784, + "fields": { + "schema": 37, + "order": 48, + "alias": "F31", + "cst_type": "function", + "convention": "", + "term_raw": "@{F30|nomn,plur} группы @{X1|gent,plur}", + "term_resolved": "сёстры группы индивидов", + "term_forms": [], + "definition_formal": "[α∈ℬ(X1)] F6[α]∩S2", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 785, + "fields": { + "schema": 37, + "order": 49, + "alias": "F32", + "cst_type": "function", + "convention": "", + "term_raw": "полнородные @{F5|nomn,plur}", + "term_resolved": "полнородные сиблинги", + "term_forms": [], + "definition_formal": "[α∈X1] D{ξ∈F5[α] | F1[α]=F1[ξ] }", + "definition_raw": "@{F5|plur,nomn} данного @{X1|sing,gent}, @{D2|plur,nomn} которых полностью совпадают с его @{D2|plur,gent}", + "definition_resolved": "сиблинги данного индивида, родители которых полностью совпадают с его родителей" + } +}, +{ + "model": "rsform.constituenta", + "pk": 786, + "fields": { + "schema": 37, + "order": 50, + "alias": "F33", + "cst_type": "function", + "convention": "", + "term_raw": "полнородные @{F28|nomn,plur} @{X1|gent,sing}", + "term_resolved": "полнородные братья индивида", + "term_forms": [], + "definition_formal": "[α∈X1] F32[α]∩S1", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 787, + "fields": { + "schema": 37, + "order": 51, + "alias": "F34", + "cst_type": "function", + "convention": "", + "term_raw": "полнородные @{F30|nomn,plur} @{X1|gent,sing}", + "term_resolved": "полнородные сёстры индивида", + "term_forms": [], + "definition_formal": "[α∈X1] F32[α]∩S2", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 788, + "fields": { + "schema": 37, + "order": 52, + "alias": "F35", + "cst_type": "function", + "convention": "", + "term_raw": "единокровные @{F5|nomn,plur}", + "term_resolved": "единокровные сиблинги", + "term_forms": [], + "definition_formal": "[α∈X1] D{ξ∈F5[α] | F17[α]=F17[ξ] & F18[α]≠F18[ξ] }", + "definition_raw": "@{F5|nomn,plur}, у которых @{1|общий} @{D6|nomn,sing}, но разные @{D7|nomn,plur}", + "definition_resolved": "сиблинги, у которых общий отец, но разные матери" + } +}, +{ + "model": "rsform.constituenta", + "pk": 789, + "fields": { + "schema": 37, + "order": 53, + "alias": "F36", + "cst_type": "function", + "convention": "", + "term_raw": "единокровные @{F28|nomn,plur}", + "term_resolved": "единокровные братья", + "term_forms": [], + "definition_formal": "[α∈X1] F35[α]∩S1", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 790, + "fields": { + "schema": 37, + "order": 54, + "alias": "F37", + "cst_type": "function", + "convention": "", + "term_raw": "единокровные @{F30|nomn,plur}", + "term_resolved": "единокровные сёстры", + "term_forms": [], + "definition_formal": "[α∈X1] F35[α]∩S2", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 791, + "fields": { + "schema": 37, + "order": 55, + "alias": "F38", + "cst_type": "function", + "convention": "", + "term_raw": "единоутробные @{F5|nomn,plur}", + "term_resolved": "единоутробные сиблинги", + "term_forms": [], + "definition_formal": "[α∈X1] D{ξ∈F5[α] | F17[α]≠F17[ξ] & F18[α]=F18[ξ] }", + "definition_raw": "@{F5|nomn,plur}, у которых @{1|общий} @{D7|nomn,sing}, но разные @{D6|nomn,plur}", + "definition_resolved": "сиблинги, у которых общая мать, но разные отцы" + } +}, +{ + "model": "rsform.constituenta", + "pk": 792, + "fields": { + "schema": 37, + "order": 56, + "alias": "F39", + "cst_type": "function", + "convention": "", + "term_raw": "единоутробные @{F28|nomn,plur}", + "term_resolved": "единоутробные братья", + "term_forms": [], + "definition_formal": "[α∈X1] F38[α]∩F28[α]", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 793, + "fields": { + "schema": 37, + "order": 57, + "alias": "F40", + "cst_type": "function", + "convention": "", + "term_raw": "единоутробные @{F30|nomn,plur}", + "term_resolved": "единоутробные сёстры", + "term_forms": [], + "definition_formal": "[α∈X1] F38[α]∩F30[α]", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 794, + "fields": { + "schema": 37, + "order": 58, + "alias": "F41", + "cst_type": "function", + "convention": "", + "term_raw": "двоюродные @{F5|nomn,plur}", + "term_resolved": "двоюродные сиблинги", + "term_forms": [ + { + "tags": "plur,gent", + "text": "двоюродных сиблингов" + } + ], + "definition_formal": "[α∈X1] F15[F6[F1[α]]]", + "definition_raw": "@{D1|nomn,plur} @{F5|gent,plur} @{D2|gent,plur}", + "definition_resolved": "дети сиблингов родителей" + } +}, +{ + "model": "rsform.constituenta", + "pk": 795, + "fields": { + "schema": 37, + "order": 59, + "alias": "F42", + "cst_type": "function", + "convention": "", + "term_raw": "@{F41|nomn,plur} группы @{X1|gent,plur}", + "term_resolved": "двоюродные сиблинги группы индивидов", + "term_forms": [], + "definition_formal": "[α∈ℬ(X1)] F15[F6[F2[α]]]", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 796, + "fields": { + "schema": 37, + "order": 60, + "alias": "F43", + "cst_type": "function", + "convention": "", + "term_raw": "@{F41|nomn,plur} по @{D6|datv,sing}", + "term_resolved": "двоюродные сиблинги по отцу", + "term_forms": [], + "definition_formal": "[α∈X1] F15[F6[F17[α]]]", + "definition_raw": "@{D1|nomn,plur} @{F5|gent,plur} @{D6|gent,sing}", + "definition_resolved": "дети сиблингов отца" + } +}, +{ + "model": "rsform.constituenta", + "pk": 797, + "fields": { + "schema": 37, + "order": 61, + "alias": "F44", + "cst_type": "function", + "convention": "", + "term_raw": "@{F41|nomn,plur} по @{D7|datv,sing}", + "term_resolved": "двоюродные сиблинги по матери", + "term_forms": [], + "definition_formal": "[α∈X1] F15[F6[F18[α]]]", + "definition_raw": "@{D1|nomn,plur} @{F5|gent,plur} @{D7|gent,sing}", + "definition_resolved": "дети сиблингов матери" + } +}, +{ + "model": "rsform.constituenta", + "pk": 798, + "fields": { + "schema": 37, + "order": 62, + "alias": "F45", + "cst_type": "function", + "convention": "", + "term_raw": "двоюродные @{F28|nomn,plur}", + "term_resolved": "двоюродные братья", + "term_forms": [], + "definition_formal": "[α∈X1] F21[F6[F1[α]]]", + "definition_raw": "@{F20|nomn,plur} @{F5|gent,plur} @{D2|gent,plur}", + "definition_resolved": "сыновья сиблингов родителей" + } +}, +{ + "model": "rsform.constituenta", + "pk": 799, + "fields": { + "schema": 37, + "order": 63, + "alias": "F46", + "cst_type": "function", + "convention": "", + "term_raw": "@{F45|nomn,plur} группы @{X1|gent,plur}", + "term_resolved": "двоюродные братья группы индивидов", + "term_forms": [], + "definition_formal": "[α∈ℬ(X1)] F21[F6[F2[α]]]", + "definition_raw": "", + "definition_resolved": "" + } +}, +{ + "model": "rsform.constituenta", + "pk": 800, + "fields": { + "schema": 37, + "order": 64, + "alias": "F47", + "cst_type": "function", + "convention": "", + "term_raw": "двоюродные @{F30|nomn,plur}", + "term_resolved": "двоюродные сёстры", + "term_forms": [], + "definition_formal": "[α∈X1] F23[F6[F1[α]]]", + "definition_raw": "@{F41|nomn,plur}, являющиеся @{S2|ablt,plur}", + "definition_resolved": "двоюродные сиблинги, являющиеся женщинами" + } +}, +{ + "model": "rsform.constituenta", + "pk": 801, + "fields": { + "schema": 37, + "order": 65, + "alias": "F48", + "cst_type": "function", + "convention": "", + "term_raw": "@{F47|nomn,plur} группы @{X1|gent,plur}", + "term_resolved": "двоюродные сёстры группы индивидов", + "term_forms": [], + "definition_formal": "[α∈ℬ(X1)] F23[F6[F2[α]]]", + "definition_raw": "@{F22|nomn,plur} @{F5|gent,plur} @{D2|gent,plur}", + "definition_resolved": "дочери сиблингов родителей" + } +}, +{ + "model": "rsform.constituenta", + "pk": 802, + "fields": { + "schema": 37, + "order": 66, + "alias": "F49", + "cst_type": "function", + "convention": "", + "term_raw": "стрыйчичи", + "term_resolved": "стрыйчичи", + "term_forms": [], + "definition_formal": "[α∈X1] F45[α]∩F43[α]", + "definition_raw": "@{F45|nomn,plur} по @{D6|datv,sing}", + "definition_resolved": "двоюродные братья по отцу" + } +}, +{ + "model": "rsform.constituenta", + "pk": 803, + "fields": { + "schema": 37, + "order": 67, + "alias": "F50", + "cst_type": "function", + "convention": "", + "term_raw": "стрыечки", + "term_resolved": "стрыечки", + "term_forms": [], + "definition_formal": "[α∈X1] F47[α]∩F43[α]", + "definition_raw": "@{F47|nomn,plur} по @{D6|datv,sing}", + "definition_resolved": "двоюродные сёстры по отцу" + } +}, +{ + "model": "rsform.constituenta", + "pk": 804, + "fields": { + "schema": 37, + "order": 68, + "alias": "F51", + "cst_type": "function", + "convention": "", + "term_raw": "уйчичи", + "term_resolved": "уйчичи", + "term_forms": [], + "definition_formal": "[α∈X1] F45[α]∩F44[α]", + "definition_raw": "@{F45|nomn,plur} по @{D7|datv,sing}", + "definition_resolved": "двоюродные братья по матери" + } +}, +{ + "model": "rsform.constituenta", + "pk": 805, + "fields": { + "schema": 37, + "order": 69, + "alias": "F52", + "cst_type": "function", + "convention": "", + "term_raw": "дяди", + "term_resolved": "дяди", + "term_forms": [], + "definition_formal": "[α∈X1] F29[F1[α]]", + "definition_raw": "@{F28|nomn,plur} @{D2|gent,plur}", + "definition_resolved": "братья родителей" + } +}, +{ + "model": "rsform.constituenta", + "pk": 806, + "fields": { + "schema": 37, + "order": 70, + "alias": "F53", + "cst_type": "function", + "convention": "", + "term_raw": "стрыи", + "term_resolved": "стрыи", + "term_forms": [], + "definition_formal": "[α∈D1] F29[F17[α]]", + "definition_raw": "@{F28|nomn,plur} @{D6|gent,sing}", + "definition_resolved": "братья отца" + } +}, +{ + "model": "rsform.constituenta", + "pk": 807, + "fields": { + "schema": 37, + "order": 71, + "alias": "F54", + "cst_type": "function", + "convention": "", + "term_raw": "вуи", + "term_resolved": "вуи", + "term_forms": [ + { + "tags": "sing,nomn", + "text": "вуй" + }, + { + "tags": "sing,gent", + "text": "вуя" + }, + { + "tags": "sing,datv", + "text": "вую" + }, + { + "tags": "plur,gent", + "text": "вуёв" + } + ], + "definition_formal": "[α∈D1] F29[F18[α]]", + "definition_raw": "@{F28|nomn,plur} @{D7|gent,sing}", + "definition_resolved": "братья матери" + } +}, +{ + "model": "rsform.constituenta", + "pk": 808, + "fields": { + "schema": 37, + "order": 72, + "alias": "F55", + "cst_type": "function", + "convention": "", + "term_raw": "тёти", + "term_resolved": "тёти", + "term_forms": [], + "definition_formal": "[α∈X1] F31[F1[α]]", + "definition_raw": "@{F30|nomn,plur} @{D2|gent,plur}", + "definition_resolved": "сёстры родителей" + } +}, +{ + "model": "rsform.constituenta", + "pk": 809, + "fields": { + "schema": 37, + "order": 73, + "alias": "F56", + "cst_type": "function", + "convention": "", + "term_raw": "стрыйны", + "term_resolved": "стрыйны", + "term_forms": [], + "definition_formal": "[α∈D1] F31[F17[α]]", + "definition_raw": "@{F30|nomn,plur} @{D6|gent,sing}", + "definition_resolved": "сёстры отца" + } +}, +{ + "model": "rsform.constituenta", + "pk": 810, + "fields": { + "schema": 37, + "order": 74, + "alias": "F57", + "cst_type": "function", + "convention": "", + "term_raw": "вуйны", + "term_resolved": "вуйны", + "term_forms": [], + "definition_formal": "[α∈D1] F31[F18[α]]", + "definition_raw": "@{F30|nomn,plur} @{D7|gent,sing}", + "definition_resolved": "сёстры матери" + } +}, +{ + "model": "rsform.constituenta", + "pk": 811, + "fields": { + "schema": 37, + "order": 75, + "alias": "F58", + "cst_type": "function", + "convention": "", + "term_raw": "племянники", + "term_resolved": "племянники", + "term_forms": [], + "definition_formal": "[α∈X1] F21[F5[α]]", + "definition_raw": "@{F20|nomn,plur} @{F5|gent,plur}", + "definition_resolved": "сыновья сиблингов" + } +}, +{ + "model": "rsform.constituenta", + "pk": 812, + "fields": { + "schema": 37, + "order": 76, + "alias": "F59", + "cst_type": "function", + "convention": "", + "term_raw": "братычи", + "term_resolved": "братычи", + "term_forms": [], + "definition_formal": "[α∈X1] F21[F28[α]]", + "definition_raw": "@{F20|nomn,plur} @{F28|gent,plur}", + "definition_resolved": "сыновья братьев" + } +}, +{ + "model": "rsform.constituenta", + "pk": 813, + "fields": { + "schema": 37, + "order": 77, + "alias": "F60", + "cst_type": "function", + "convention": "", + "term_raw": "сестричи", + "term_resolved": "сестричи", + "term_forms": [], + "definition_formal": "[α∈X1] F21[F30[α]]", + "definition_raw": "@{F20|nomn,plur} @{F30|gent,plur}", + "definition_resolved": "сыновья сестёр" + } +}, +{ + "model": "rsform.constituenta", + "pk": 814, + "fields": { + "schema": 37, + "order": 78, + "alias": "F61", + "cst_type": "function", + "convention": "", + "term_raw": "племянницы", + "term_resolved": "племянницы", + "term_forms": [], + "definition_formal": "[α∈X1] F23[F5[α]]", + "definition_raw": "@{F22|gent,sing} @{F5|gent,plur}", + "definition_resolved": "дочери сиблингов" + } +}, +{ + "model": "rsform.constituenta", + "pk": 815, + "fields": { + "schema": 37, + "order": 79, + "alias": "F62", + "cst_type": "function", + "convention": "", + "term_raw": "братанины", + "term_resolved": "братанины", + "term_forms": [], + "definition_formal": "[α∈X1] F23[F28[α]]", + "definition_raw": "@{F22|gent,sing} @{F28|gent,plur}", + "definition_resolved": "дочери братьев" + } +}, +{ + "model": "rsform.constituenta", + "pk": 816, + "fields": { + "schema": 37, + "order": 80, + "alias": "F63", + "cst_type": "function", + "convention": "", + "term_raw": "сестрины", + "term_resolved": "сестрины", + "term_forms": [], + "definition_formal": "[α∈X1] F23[F30[α]]", + "definition_raw": "@{F22|gent,sing} @{F30|gent,plur}", + "definition_resolved": "дочери сестёр" + } +}, +{ + "model": "rsform.constituenta", + "pk": 817, + "fields": { + "schema": 37, + "order": 81, + "alias": "F64", + "cst_type": "function", + "convention": "", + "term_raw": "двоюродные @{F52|nomn,plur}", + "term_resolved": "двоюродные дяди", + "term_forms": [], + "definition_formal": "[α∈X1] F46[F1[α]]", + "definition_raw": "@{F45|nomn,plur} @{D2|gent,plur}", + "definition_resolved": "двоюродные братья родителей" + } +}, +{ + "model": "rsform.constituenta", + "pk": 818, + "fields": { + "schema": 37, + "order": 82, + "alias": "F65", + "cst_type": "function", + "convention": "", + "term_raw": "двоюродные @{F55|nomn,plur}", + "term_resolved": "двоюродные тёти", + "term_forms": [], + "definition_formal": "[α∈X1] F48[F1[α]]", + "definition_raw": "@{F47|nomn,plur} @{D2|gent,plur}", + "definition_resolved": "двоюродные сёстры родителей" + } +}, +{ + "model": "rsform.constituenta", + "pk": 819, + "fields": { + "schema": 37, + "order": 83, + "alias": "F66", + "cst_type": "function", + "convention": "", + "term_raw": "двоюродные @{F58|nomn,plur}", + "term_resolved": "двоюродные племянники", + "term_forms": [], + "definition_formal": "[α∈X1] F21[F41[α]]", + "definition_raw": "@{F20|nomn,plur} @{F41|gent,plur}", + "definition_resolved": "сыновья двоюродных сиблингов" + } +}, +{ + "model": "rsform.constituenta", + "pk": 820, + "fields": { + "schema": 37, + "order": 84, + "alias": "F67", + "cst_type": "function", + "convention": "", + "term_raw": "дщеричи", + "term_resolved": "дщеричи", + "term_forms": [], + "definition_formal": "[α∈X1] F21[F47[α]]", + "definition_raw": "@{F58|nomn,plur} по @{F55|datv,sing}", + "definition_resolved": "племянники по тёте" + } +}, +{ + "model": "rsform.constituenta", + "pk": 821, + "fields": { + "schema": 37, + "order": 85, + "alias": "F68", + "cst_type": "function", + "convention": "", + "term_raw": "двоюродные @{F61|nomn,plur}", + "term_resolved": "двоюродные племянницы", + "term_forms": [], + "definition_formal": "[α∈X1] F23[F41[α]]", + "definition_raw": "@{F22|nomn,plur} @{F41|gent,plur}", + "definition_resolved": "дочери двоюродных сиблингов" + } +}, +{ + "model": "rsform.constituenta", + "pk": 822, + "fields": { + "schema": 37, + "order": 86, + "alias": "F69", + "cst_type": "function", + "convention": "", + "term_raw": "дщерши", + "term_resolved": "дщерши", + "term_forms": [], + "definition_formal": "[α∈X1] F23[F47[α]]", + "definition_raw": "@{F22|nomn,plur} @{F47|gent,plur}", + "definition_resolved": "дочери двоюродных сестёр" + } +}, +{ + "model": "rsform.constituenta", + "pk": 823, + "fields": { + "schema": 37, + "order": 87, + "alias": "F70", + "cst_type": "function", + "convention": "альтернативное определение: великий дядя - дядя родителя", + "term_raw": "двоюродные @{F26|nomn,plur}", + "term_resolved": "двоюродные дедушки", + "term_forms": [], + "definition_formal": "[α∈X1] F29[F8[α]]", + "definition_raw": "@{F28|nomn,plur} @{F8|gent,plur}", + "definition_resolved": "братья прародителей" + } +}, +{ + "model": "rsform.constituenta", + "pk": 824, + "fields": { + "schema": 37, + "order": 88, + "alias": "F71", + "cst_type": "function", + "convention": "", + "term_raw": "двоюродные @{F27|nomn,plur}", + "term_resolved": "двоюродные бабушки", + "term_forms": [], + "definition_formal": "[α∈X1] F31[F8[α]]", + "definition_raw": "@{F30|nomn,plur} @{F8|gent,plur}", + "definition_resolved": "сёстры прародителей" + } +}, +{ + "model": "rsform.constituenta", + "pk": 825, + "fields": { + "schema": 37, + "order": 89, + "alias": "F72", + "cst_type": "function", + "convention": "альтернативное определение: внук родного брата или сестры", + "term_raw": "внучатые @{F58|nomn,plur}", + "term_resolved": "внучатые племянники", + "term_forms": [], + "definition_formal": "[α∈X1] F21[F58[α]∪F61[α]]", + "definition_raw": "@{F20|nomn,plur} @{F58|gent,plur} и @{F61|gent,plur}", + "definition_resolved": "сыновья племянников и племянниц" + } +}, +{ + "model": "rsform.constituenta", + "pk": 826, + "fields": { + "schema": 37, + "order": 90, + "alias": "F73", + "cst_type": "function", + "convention": "", + "term_raw": "внучатые @{F61|nomn,plur}", + "term_resolved": "внучатые племянницы", + "term_forms": [], + "definition_formal": "[α∈X1] F23[F58[α]∪F61[α]]", + "definition_raw": "@{F22|nomn,plur} @{F58|gent,plur} и @{F61|gent,plur}", + "definition_resolved": "дочери племянников и племянниц" + } +}, +{ + "model": "rsform.constituenta", + "pk": 827, + "fields": { + "schema": 37, + "order": 91, + "alias": "F74", + "cst_type": "function", + "convention": "", + "term_raw": "свёкр", + "term_resolved": "свёкр", + "term_forms": [], + "definition_formal": "[α∈D4] F17[F9[α]]", + "definition_raw": "@{D6|nomn,sing} @{D3|gent,sing}", + "definition_resolved": "отец мужа" + } +}, +{ + "model": "rsform.constituenta", + "pk": 828, + "fields": { + "schema": 37, + "order": 92, + "alias": "F75", + "cst_type": "function", + "convention": "", + "term_raw": "свекровь", + "term_resolved": "свекровь", + "term_forms": [], + "definition_formal": "[α∈D4] F18[F9[α]]", + "definition_raw": "@{D7|nomn,sing} @{D3|gent,sing}", + "definition_resolved": "мать мужа" + } +}, +{ + "model": "rsform.constituenta", + "pk": 829, + "fields": { + "schema": 37, + "order": 93, + "alias": "F76", + "cst_type": "function", + "convention": "", + "term_raw": "тесть", + "term_resolved": "тесть", + "term_forms": [], + "definition_formal": "[α∈D3] F17[F10[α]]", + "definition_raw": "@{D6|nomn,sing} @{D4|gent,sing}", + "definition_resolved": "отец жены" + } +}, +{ + "model": "rsform.constituenta", + "pk": 830, + "fields": { + "schema": 37, + "order": 94, + "alias": "F77", + "cst_type": "function", + "convention": "", + "term_raw": "тёща", + "term_resolved": "тёща", + "term_forms": [], + "definition_formal": "[α∈D3] F18[F10[α]]", + "definition_raw": "@{D7|nomn,sing} @{D4|gent,sing}", + "definition_resolved": "мать жены" + } +}, +{ + "model": "rsform.constituenta", + "pk": 831, + "fields": { + "schema": 37, + "order": 95, + "alias": "F78", + "cst_type": "function", + "convention": "", + "term_raw": "сваты", + "term_resolved": "сваты", + "term_forms": [], + "definition_formal": "[α∈X1] F16[F13[F3[α]]]", + "definition_raw": "@{D6|nomn,plur} @{D5|gent,plur} @{D1|gent,plur}", + "definition_resolved": "отцы супругов детей" + } +}, +{ + "model": "rsform.constituenta", + "pk": 832, + "fields": { + "schema": 37, + "order": 96, + "alias": "F79", + "cst_type": "function", + "convention": "", + "term_raw": "сватьи", + "term_resolved": "сватьи", + "term_forms": [], + "definition_formal": "[α∈X1] F19[F13[F3[α]]]", + "definition_raw": "@{D7|gent,sing} @{D5|gent,plur} @{D1|gent,plur}", + "definition_resolved": "матери супругов детей" + } +}, +{ + "model": "rsform.constituenta", + "pk": 833, + "fields": { + "schema": 37, + "order": 97, + "alias": "F80", + "cst_type": "function", + "convention": "", + "term_raw": "девери", + "term_resolved": "девери", + "term_forms": [], + "definition_formal": "[α∈D4] F28[F9[α]]", + "definition_raw": "@{F28|nomn,plur} @{D3|gent,sing}", + "definition_resolved": "братья мужа" + } +}, +{ + "model": "rsform.constituenta", + "pk": 834, + "fields": { + "schema": 37, + "order": 98, + "alias": "F81", + "cst_type": "function", + "convention": "", + "term_raw": "золовки", + "term_resolved": "золовки", + "term_forms": [], + "definition_formal": "[α∈D4] F30[F9[α]]", + "definition_raw": "@{F30|nomn,plur} @{D3|gent,sing}", + "definition_resolved": "сёстры мужа" + } +}, +{ + "model": "rsform.constituenta", + "pk": 835, + "fields": { + "schema": 37, + "order": 99, + "alias": "F82", + "cst_type": "function", + "convention": "", + "term_raw": "шурины", + "term_resolved": "шурины", + "term_forms": [], + "definition_formal": "[α∈D3] F28[F10[α]]", + "definition_raw": "@{F28|nomn,plur} @{D4|gent,sing}", + "definition_resolved": "братья жены" + } +}, +{ + "model": "rsform.constituenta", + "pk": 836, + "fields": { + "schema": 37, + "order": 100, + "alias": "F83", + "cst_type": "function", + "convention": "", + "term_raw": "свояченицы", + "term_resolved": "свояченицы", + "term_forms": [], + "definition_formal": "[α∈D3] F30[F10[α]]", + "definition_raw": "@{F30|nomn,plur} @{D4|gent,sing}", + "definition_resolved": "сёстры жены" + } +}, +{ + "model": "rsform.constituenta", + "pk": 837, + "fields": { + "schema": 37, + "order": 101, + "alias": "F84", + "cst_type": "function", + "convention": "", + "term_raw": "шуричи", + "term_resolved": "шуричи", + "term_forms": [], + "definition_formal": "[α∈D3] F21[F82[α]]", + "definition_raw": "@{F20|nomn,plur} @{F82|gent,plur}", + "definition_resolved": "сыновья шуринов" + } +}, +{ + "model": "rsform.constituenta", + "pk": 838, + "fields": { + "schema": 37, + "order": 102, + "alias": "F85", + "cst_type": "function", + "convention": "", + "term_raw": "снохи", + "term_resolved": "снохи", + "term_forms": [], + "definition_formal": "[α∈X1] F12[F20[α]]", + "definition_raw": "@{D4|nomn,plur} @{F20|gent,plur}", + "definition_resolved": "жены сыновей" + } +}, +{ + "model": "rsform.constituenta", + "pk": 839, + "fields": { + "schema": 37, + "order": 103, + "alias": "F86", + "cst_type": "function", + "convention": "", + "term_raw": "свояки", + "term_resolved": "свояки", + "term_forms": [], + "definition_formal": "[α∈D3] F11[F83[α]]", + "definition_raw": "@{D3|nomn,plur} @{F83|gent,plur}", + "definition_resolved": "мужья своячениц" + } +}, +{ + "model": "rsform.constituenta", + "pk": 840, + "fields": { + "schema": 37, + "order": 104, + "alias": "F87", + "cst_type": "function", + "convention": "", + "term_raw": "ятровки", + "term_resolved": "ятровки", + "term_forms": [], + "definition_formal": "[α∈D4] F12[F80[α]]", + "definition_raw": "@{D4|nomn,plur} @{F80|gent,plur}", + "definition_resolved": "жены деверей" + } +}, +{ + "model": "rsform.constituenta", + "pk": 841, + "fields": { + "schema": 37, + "order": 105, + "alias": "F88", + "cst_type": "function", + "convention": "", + "term_raw": "зятья", + "term_resolved": "зятья", + "term_forms": [], + "definition_formal": "[α∈X1] F11[F22[α]∪F30[α]∪F81[α]∪F61[α]]", + "definition_raw": "@{D3|nomn,plur} @{F22|gent,plur}, @{F30|gent,plur}, @{F81|gent,plur} или @{F61|gent,plur}", + "definition_resolved": "мужья дочерей, сестёр, золовок или племянниц" + } +}, +{ + "model": "rsform.constituenta", + "pk": 842, + "fields": { + "schema": 37, + "order": 106, + "alias": "F89", + "cst_type": "function", + "convention": "", + "term_raw": "невестки", + "term_resolved": "невестки", + "term_forms": [], + "definition_formal": "[α∈X1] F12[F20[α]∪F28[α]∪F80[α]∪F58[α]]", + "definition_raw": "@{D4|nomn,plur} @{F20|gent,plur}, @{F28|gent,plur}, @{F80|gent,plur} или @{F58|gent,plur}", + "definition_resolved": "жены сыновей, братьев, деверей или племянников" + } +}, +{ + "model": "rsform.constituenta", + "pk": 843, + "fields": { + "schema": 37, + "order": 107, + "alias": "F90", + "cst_type": "function", + "convention": "", + "term_raw": "вуйки", + "term_resolved": "вуйки", + "term_forms": [], + "definition_formal": "[α∈X1] F12[F54[α]]", + "definition_raw": "@{D4|nomn,plur} @{F54|gent,plur}", + "definition_resolved": "жены вуи" + } +}, +{ + "model": "rsform.constituenta", + "pk": 844, + "fields": { + "schema": 37, + "order": 108, + "alias": "F91", + "cst_type": "function", + "convention": "", + "term_raw": "братанихи", + "term_resolved": "братанихи", + "term_forms": [], + "definition_formal": "[α∈X1] F12[F45[α]]", + "definition_raw": "@{D4|nomn,plur} @{F45|gent,plur}", + "definition_resolved": "жены двоюродных братьев" + } +}, +{ + "model": "rsform.constituenta", + "pk": 845, + "fields": { + "schema": 37, + "order": 109, + "alias": "D9", + "cst_type": "term", + "convention": "", + "term_raw": "законные @{D1|nomn,plur}", + "term_resolved": "законные дети", + "term_forms": [], + "definition_formal": "D{ξ∈D1 | F13[F1[ξ]]=F1[ξ]}", + "definition_raw": "@{D1|nomn,plur}, @{D2|nomn,plur} которых состоят в @{S4|loct,sing}", + "definition_resolved": "дети, родители которых состоят в браке" + } +}, +{ + "model": "rsform.constituenta", + "pk": 846, + "fields": { + "schema": 37, + "order": 110, + "alias": "D10", + "cst_type": "term", + "convention": "", + "term_raw": "бастарды", + "term_resolved": "бастарды", + "term_forms": [], + "definition_formal": "D1\\D9", + "definition_raw": "@{D1|nomn,plur}, @{D2|nomn,plur} которых не состоят в @{S4|loct,sing}", + "definition_resolved": "дети, родители которых не состоят в браке" + } +}, +{ + "model": "rsform.constituenta", + "pk": 847, + "fields": { + "schema": 37, + "order": 111, + "alias": "F92", + "cst_type": "function", + "convention": "", + "term_raw": "сводные @{F5|nomn,plur}", + "term_resolved": "сводные сиблинги", + "term_forms": [], + "definition_formal": "[α∈X1] F4[F13[F1[α]]] \\ F5[α] \\ {α}", + "definition_raw": "@{D1|nomn,plur} @{D5|gent,plur} @{D2|gent,plur}, не являющиеся @{F5|ablt,plur}", + "definition_resolved": "дети супругов родителей, не являющиеся сиблингами" + } +}, +{ + "model": "rsform.constituenta", + "pk": 848, + "fields": { + "schema": 37, + "order": 112, + "alias": "F93", + "cst_type": "function", + "convention": "", + "term_raw": "сводные @{F28|nomn,plur}", + "term_resolved": "сводные братья", + "term_forms": [], + "definition_formal": "[α∈X1] F21[F13[F1[α]]] \\ F28[α] \\ {α}", + "definition_raw": "@{F20|nomn,plur} @{D5|gent,plur} @{D2|gent,plur}, не являющиеся @{F28|ablt,plur}", + "definition_resolved": "сыновья супругов родителей, не являющиеся братьями" + } +}, +{ + "model": "rsform.constituenta", + "pk": 849, + "fields": { + "schema": 37, + "order": 113, + "alias": "F94", + "cst_type": "function", + "convention": "", + "term_raw": "сводные @{F30|nomn,plur}", + "term_resolved": "сводные сёстры", + "term_forms": [], + "definition_formal": "[α∈X1] F23[F13[F1[α]]] \\ F30[α] \\ {α}", + "definition_raw": "@{F22|nomn,plur} @{D5|gent,plur} @{D2|gent,plur}, не являющиеся @{F30|ablt,plur}", + "definition_resolved": "дочери супругов родителей, не являющиеся сёстрами" + } +}, +{ + "model": "rsform.constituenta", + "pk": 850, + "fields": { + "schema": 37, + "order": 114, + "alias": "F95", + "cst_type": "function", + "convention": "", + "term_raw": "пасынки", + "term_resolved": "пасынки", + "term_forms": [], + "definition_formal": "[α∈X1] F21[F13[{α}]] \\ F20[α]", + "definition_raw": "@{F20|nomn,plur} @{D5|gent,sing}, не являющиеся @{D1|ablt,plur}", + "definition_resolved": "сыновья супруга, не являющиеся детьми" + } +}, +{ + "model": "rsform.constituenta", + "pk": 851, + "fields": { + "schema": 37, + "order": 115, + "alias": "F96", + "cst_type": "function", + "convention": "", + "term_raw": "падчерицы", + "term_resolved": "падчерицы", + "term_forms": [], + "definition_formal": "[α∈X1] F23[F13[{α}]] \\ F22[α]", + "definition_raw": "@{F22|nomn,plur} @{D5|gent,sing}, не являющиеся @{D1|ablt,plur}", + "definition_resolved": "дочери супруга, не являющиеся детьми" + } +}, +{ + "model": "rsform.constituenta", + "pk": 852, + "fields": { + "schema": 37, + "order": 116, + "alias": "F97", + "cst_type": "function", + "convention": "", + "term_raw": "отчимы", + "term_resolved": "отчимы", + "term_forms": [], + "definition_formal": "[α∈X1] F11[F19[{α}]] \\ F16[{α}]", + "definition_raw": "@{D3|nomn,sing} @{D7|gent,sing}, не являющийся @{D6|ablt,sing}", + "definition_resolved": "муж матери, не являющийся отцом" + } +}, +{ + "model": "rsform.constituenta", + "pk": 853, + "fields": { + "schema": 37, + "order": 117, + "alias": "F98", + "cst_type": "function", + "convention": "", + "term_raw": "мачехи", + "term_resolved": "мачехи", + "term_forms": [], + "definition_formal": "[α∈X1] F12[F16[{α}]] \\ F19[{α}]", + "definition_raw": "@{D4|nomn,sing} @{D6|gent,sing}, не являющаяся @{D7|ablt,sing}", + "definition_resolved": "жена отца, не являющаяся матерью" + } +}, +{ + "model": "rsform.editor", + "pk": 2, + "fields": { + "item": 35, + "editor": 3, + "time_create": "2024-06-03T20:55:45.359Z" + } +}, +{ + "model": "rsform.subscription", + "pk": 11, + "fields": { + "user": 1, + "item": 34 + } +}, +{ + "model": "rsform.subscription", + "pk": 12, + "fields": { + "user": 5, + "item": 35 + } +}, +{ + "model": "rsform.subscription", + "pk": 13, + "fields": { + "user": 3, + "item": 36 + } +}, +{ + "model": "rsform.subscription", + "pk": 14, + "fields": { + "user": 3, + "item": 37 + } +}, +{ + "model": "rsform.libraryitem", + "pk": 34, + "fields": { + "item_type": "rsform", + "owner": 1, + "title": "Банк выражений", + "alias": "БВ", + "comment": "Банк шаблонов для генерации выражений", + "visible": true, + "read_only": false, + "access_policy": "public", + "location": "/L", + "time_create": "2024-06-03T20:52:06.322Z", + "time_update": "2024-06-03T20:52:06.325Z" + } +}, +{ + "model": "rsform.libraryitem", + "pk": 35, + "fields": { + "item_type": "rsform", + "owner": 5, + "title": "Групповая операция", + "alias": "БК09", + "comment": "", + "visible": true, + "read_only": false, + "access_policy": "public", + "location": "/S", + "time_create": "2024-06-03T20:55:36.489Z", + "time_update": "2024-06-03T20:55:36.492Z" + } +}, +{ + "model": "rsform.libraryitem", + "pk": 36, + "fields": { + "item_type": "rsform", + "owner": 3, + "title": "Булева алгебра", + "alias": "БК12", + "comment": "", + "visible": true, + "read_only": false, + "access_policy": "public", + "location": "/S", + "time_create": "2024-06-03T20:58:30.529Z", + "time_update": "2024-06-03T20:58:32.512Z" + } +}, +{ + "model": "rsform.libraryitem", + "pk": 37, + "fields": { + "item_type": "rsform", + "owner": 3, + "title": "Генеалогия", + "alias": "D0001", + "comment": "построено на основе понятия \"родство\" из Википедии", + "visible": true, + "read_only": false, + "access_policy": "public", + "location": "/U/test", + "time_create": "2024-06-03T20:59:40.845Z", + "time_update": "2024-06-03T21:00:01.809Z" + } +}, +{ + "model": "rsform.librarytemplate", + "pk": 1, + "fields": { + "lib_source": 34 + } +} +] diff --git a/rsconcept/backend/manage.py b/rsconcept/backend/manage.py new file mode 100644 index 00000000..2c49f3ac --- /dev/null +++ b/rsconcept/backend/manage.py @@ -0,0 +1,22 @@ +#!/usr/bin/env python +"""Django's command-line utility for administrative tasks.""" +import os +import sys + + +def main(): + """Run administrative tasks.""" + os.environ.setdefault('DJANGO_SETTINGS_MODULE', 'project.settings') + try: + from django.core.management import execute_from_command_line + except ImportError as exc: + raise ImportError( + "Couldn't import Django. Are you sure it's installed and " + "available on your PYTHONPATH environment variable? Did you " + "forget to activate a virtual environment?" + ) from exc + execute_from_command_line(sys.argv) + + +if __name__ == '__main__': + main() diff --git a/rsconcept/backend/mypy.ini b/rsconcept/backend/mypy.ini new file mode 100644 index 00000000..519f4292 --- /dev/null +++ b/rsconcept/backend/mypy.ini @@ -0,0 +1,20 @@ +# Global options: + +[mypy] +warn_return_any = True +warn_unused_configs = True + +plugins = mypy_django_plugin.main + +# Per-module options: +[mypy.plugins.django-stubs] +django_settings_module = "project.settings" + +[mypy-django_filters.*] +ignore_missing_imports = True + +[mypy-pyconcept.*] +ignore_missing_imports = True + +[mypy-cctext.*] +ignore_missing_imports = True diff --git a/rsconcept/backend/project/__init__.py b/rsconcept/backend/project/__init__.py new file mode 100644 index 00000000..e69de29b diff --git a/rsconcept/backend/project/settings.py b/rsconcept/backend/project/settings.py new file mode 100644 index 00000000..2d2f0de2 --- /dev/null +++ b/rsconcept/backend/project/settings.py @@ -0,0 +1,249 @@ +''' +Django settings for project. + +Generated by 'django-admin startproject' using Django 4.1.7. + +For more information on this file, see +https://docs.djangoproject.com/en/4.1/topics/settings/ + +For the full list of settings and their values, see +https://docs.djangoproject.com/en/4.1/ref/settings/ +''' + +import logging +import os +import sys +from pathlib import Path + + +def _get_secret(key: str, default): + value = os.environ.get(key, default) + if os.path.isfile(value): + with open(value, mode='r', encoding='utf-8') as f: + return f.read() + return value + + +_TRUE_VARIANTS = [True, 'True', '1'] + +# Build paths inside the project like this: BASE_DIR / 'subdir'. +BASE_DIR = Path(__file__).resolve().parent.parent + + +# Quick-start development settings - unsuitable for production +# See https://docs.djangoproject.com/en/4.1/howto/deployment/checklist/ + +# SECURITY WARNING: keep the secret key used in production secret! +SECRET_KEY = _get_secret('SECRET_KEY', 'not-a-secret') + +# SECURITY WARNING: don't run with debug turned on in production! +DEBUG = os.environ.get('DEBUG', True) in _TRUE_VARIANTS + +ALLOWED_HOSTS = os.environ.get('ALLOWED_HOSTS', '*').split(';') +INTERNAL_IPS = ['127.0.0.1'] if DEBUG else [] + +# MAIL SETUP +EMAIL_HOST = _get_secret('EMAIL_HOST', '') +EMAIL_PORT = int(os.environ.get('EMAIL_PORT', '1025')) +EMAIL_USE_SSL = os.environ.get('EMAIL_SSL', False) in _TRUE_VARIANTS +EMAIL_USE_TLS = os.environ.get('EMAIL_TLS', False) in _TRUE_VARIANTS +EMAIL_HOST_USER = _get_secret('EMAIL_HOST_USER', '') +EMAIL_HOST_PASSWORD = _get_secret('EMAIL_HOST_PASSWORD', '') + +DEFAULT_FROM_EMAIL = EMAIL_HOST_USER +SERVER_EMAIL = EMAIL_HOST_USER +EMAIL_ADMIN = EMAIL_HOST_USER +EMAIL_BACKEND = \ + 'django.core.mail.backends.smtp.EmailBackend' \ + if EMAIL_HOST != '' else \ + 'django.core.mail.backends.console.EmailBackend' + + +INSTALLED_APPS = [ + 'django.contrib.admin', + 'django.contrib.auth', + 'django.contrib.contenttypes', + 'django.contrib.sessions', + 'django.contrib.messages', + 'django.contrib.staticfiles', + + 'django_filters', + 'rest_framework', + 'django_rest_passwordreset', + 'corsheaders', + + 'apps.users', + 'apps.rsform', + + 'drf_spectacular', + 'drf_spectacular_sidecar', +] + + +REST_FRAMEWORK = { + 'TEST_REQUEST_DEFAULT_FORMAT': 'json', + 'DEFAULT_SCHEMA_CLASS': 'drf_spectacular.openapi.AutoSchema', + 'DEFAULT_AUTHENTICATION_CLASSES': [ + 'rest_framework.authentication.SessionAuthentication', + ], + 'DEFAULT_PERMISSION_CLASSES': [ + 'rest_framework.permissions.AllowAny' + ], + 'DEFAULT_FILTER_BACKENDS': [ + 'django_filters.rest_framework.DjangoFilterBackend' + ], +} + + +CORS_ALLOW_CREDENTIALS = True +CORS_ALLOWED_ORIGINS = os.environ.get('CORS_ALLOWED_ORIGINS', 'http://localhost:3000').split(';') +CSRF_TRUSTED_ORIGINS = os.environ.get('CSRF_TRUSTED_ORIGINS', 'http://localhost:3000').split(';') +CSRF_COOKIE_AGE = 365 * 24 * 60 * 60 +SESSION_COOKIE_AGE = 365 * 24 * 60 * 60 * 2 + +_domain = os.environ.get('CSRF_COOKIE_DOMAIN', '') +if _domain != '': + CSRF_COOKIE_DOMAIN = _domain + SESSION_COOKIE_DOMAIN = _domain + + +MIDDLEWARE = [ + 'django.middleware.security.SecurityMiddleware', + 'django.contrib.sessions.middleware.SessionMiddleware', + 'corsheaders.middleware.CorsMiddleware', + 'django.middleware.common.CommonMiddleware', + 'django.middleware.csrf.CsrfViewMiddleware', + 'django.contrib.auth.middleware.AuthenticationMiddleware', + 'django.contrib.messages.middleware.MessageMiddleware', + 'django.middleware.clickjacking.XFrameOptionsMiddleware', +] + +ROOT_URLCONF = 'project.urls' +LOGIN_URL = '/admin/login' +LOGIN_REDIRECT_URL = '/' +LOGOUT_REDIRECT_URL = '/' +APPEND_SLASH = False + + +# Static files (CSS, JavaScript, Images) +# https://docs.djangoproject.com/en/4.1/howto/static-files/ + +STATIC_ROOT = os.environ.get('STATIC_ROOT', os.path.join(BASE_DIR, 'static')) +STATIC_URL = 'static/' +MEDIA_ROOT = os.environ.get('MEDIA_ROOT', os.path.join(BASE_DIR, 'media')) +MEDIA_URL = 'media/' + + +TEMPLATES = [ + { + 'BACKEND': 'django.template.backends.django.DjangoTemplates', + 'DIRS': [str(BASE_DIR) + '/templates/'], + 'APP_DIRS': True, + 'OPTIONS': { + 'context_processors': [ + 'django.template.context_processors.debug', + 'django.template.context_processors.request', + 'django.contrib.auth.context_processors.auth', + 'django.contrib.messages.context_processors.messages', + ], + }, + }, +] + +WSGI_APPLICATION = 'project.wsgi.application' + + +# Database +# https://docs.djangoproject.com/en/4.1/ref/settings/#databases + +DATABASES = { + 'default': { + 'ENGINE': os.environ.get('DB_ENGINE', 'django.db.backends.sqlite3'), + 'NAME': os.environ.get('DB_NAME', BASE_DIR / 'db.sqlite3'), + 'USER': os.environ.get('DB_USER'), + 'PASSWORD': _get_secret('DB_PASSWORD', ''), + 'HOST': os.environ.get('DB_HOST'), + 'DB_PORT': os.environ.get('DB_PORT'), + } +} + +# drf-spectacular settings. API docs generator +# https://drf-spectacular.readthedocs.io/en/latest/settings.html +SPECTACULAR_SETTINGS = { + 'TITLE': 'ConceptPortal API', + 'DESCRIPTION': 'Портал для работы с экспликациями концептуальных схем', + 'VERSION': '0.1.2', + 'SERVE_INCLUDE_SCHEMA': False, + + 'COMPONENT_SPLIT_PATCH': True, + 'COMPONENT_SPLIT_REQUEST': True, + + 'SERVE_PERMISSIONS': ['rest_framework.permissions.AllowAny'], + 'SERVE_AUTHENTICATION': None, + + 'DISABLE_ERRORS_AND_WARNINGS': False, + + 'SWAGGER_UI_SETTINGS': { + 'deepLinking': True, + 'persistAuthorization': True, + 'tryItOutEnabled': False, + 'supportedSubmitMethods': [''], + }, + 'SWAGGER_UI_DIST': 'SIDECAR', + 'SWAGGER_UI_FAVICON_HREF': 'SIDECAR', + 'REDOC_DIST': 'SIDECAR' +} + + +# Password validation +# https://docs.djangoproject.com/en/4.1/ref/settings/#auth-password-validators + +AUTH_PASSWORD_VALIDATORS: list[str] = [ + # NOTE: Password validators disabled + # { + # 'NAME': 'django.contrib.auth.password_validation.UserAttributeSimilarityValidator', + # }, + # { + # 'NAME': 'django.contrib.auth.password_validation.MinimumLengthValidator', + # }, + # { + # 'NAME': 'django.contrib.auth.password_validation.CommonPasswordValidator', + # }, + # { + # 'NAME': 'django.contrib.auth.password_validation.NumericPasswordValidator', + # }, +] + + +# Internationalization +# https://docs.djangoproject.com/en/4.1/topics/i18n/ + +LANGUAGE_CODE = 'ru' +TIME_ZONE = 'Europe/Moscow' +USE_I18N = True +USE_TZ = True + + +# Default primary key field type +# https://docs.djangoproject.com/en/4.1/ref/settings/#default-auto-field + +DEFAULT_AUTO_FIELD = 'django.db.models.BigAutoField' + + +LOGGING = { + 'version': 1, + 'disable_existing_loggers': False, + 'handlers': { + 'console': { + 'class': 'logging.StreamHandler', + }, + }, + 'root': { + 'handlers': ['console'], + 'level': os.getenv('DJANGO_LOG_LEVEL', 'INFO') + }, +} + + +if len(sys.argv) > 1 and sys.argv[1] == 'test': + logging.disable(logging.CRITICAL) diff --git a/rsconcept/backend/project/urls.py b/rsconcept/backend/project/urls.py new file mode 100644 index 00000000..550874ba --- /dev/null +++ b/rsconcept/backend/project/urls.py @@ -0,0 +1,20 @@ +''' Main URL router ''' +from django.conf import settings +from django.conf.urls.static import static +from django.contrib import admin +from django.urls import include, path +from django.views.generic.base import TemplateView +from drf_spectacular.views import SpectacularAPIView, SpectacularRedocView, SpectacularSwaggerView + +urlpatterns = [ + path('admin', admin.site.urls), + path('api/', include('apps.rsform.urls')), + path('users/', include('apps.users.urls')), + path('schema', SpectacularAPIView.as_view(), name='schema'), + path('redoc', SpectacularRedocView.as_view()), + path( + 'robots.txt', + TemplateView.as_view(template_name='robots.txt', content_type='text/plain'), + ), + path('', SpectacularSwaggerView.as_view(), name='home'), +] + static(settings.STATIC_URL, document_root=settings.STATIC_ROOT) diff --git a/rsconcept/backend/project/wsgi.py b/rsconcept/backend/project/wsgi.py new file mode 100644 index 00000000..ebe89c39 --- /dev/null +++ b/rsconcept/backend/project/wsgi.py @@ -0,0 +1,16 @@ +""" +WSGI config for rsconcept project. + +It exposes the WSGI callable as a module-level variable named ``application``. + +For more information on this file, see +https://docs.djangoproject.com/en/4.1/howto/deployment/wsgi/ +""" + +import os + +from django.core.wsgi import get_wsgi_application + +os.environ.setdefault('DJANGO_SETTINGS_MODULE', 'project.settings') + +application = get_wsgi_application() diff --git a/rsconcept/backend/requirements-dev.txt b/rsconcept/backend/requirements-dev.txt new file mode 100644 index 00000000..e3b3cb24 --- /dev/null +++ b/rsconcept/backend/requirements-dev.txt @@ -0,0 +1,19 @@ +tzdata +django +djangorestframework +django-cors-headers +django-filter +drf-spectacular +drf-spectacular[sidecar] +coreapi +cctext +pyconcept + +mypy +pylint +coverage +djangorestframework-stubs[compatible-mypy] +django-rest-passwordreset + +psycopg2-binary +gunicorn \ No newline at end of file diff --git a/rsconcept/backend/requirements.txt b/rsconcept/backend/requirements.txt new file mode 100644 index 00000000..4ad504c2 --- /dev/null +++ b/rsconcept/backend/requirements.txt @@ -0,0 +1,14 @@ +tzdata==2024.1 +Django==5.0.6 +djangorestframework==3.15.1 +django-cors-headers==4.3.1 +django-filter==24.2 +drf-spectacular==0.27.2 +drf-spectacular-sidecar==2024.5.1 +coreapi==2.3.3 +django-rest-passwordreset==1.4.1 +cctext==0.1.3 +pyconcept==0.1.5 + +psycopg2-binary==2.9.9 +gunicorn==22.0.0 \ No newline at end of file diff --git a/rsconcept/backend/templates/robots.txt b/rsconcept/backend/templates/robots.txt new file mode 100644 index 00000000..77470cb3 --- /dev/null +++ b/rsconcept/backend/templates/robots.txt @@ -0,0 +1,2 @@ +User-agent: * +Disallow: / \ No newline at end of file diff --git a/rsconcept/frontend/.dockerignore b/rsconcept/frontend/.dockerignore new file mode 100644 index 00000000..0441a02d --- /dev/null +++ b/rsconcept/frontend/.dockerignore @@ -0,0 +1,5 @@ +# Dev specific +.gitignore +node_modules +.env.local +.next \ No newline at end of file diff --git a/rsconcept/frontend/.env.local b/rsconcept/frontend/.env.local new file mode 100644 index 00000000..e406b9c7 --- /dev/null +++ b/rsconcept/frontend/.env.local @@ -0,0 +1,5 @@ +# Local build config + +VITE_PORTAL_BACKEND=http://localhost:8000 +VITE_PORTAL_FRONT_PORT=3000 +VITE_PORTAL_FRONT_HTTPS=false diff --git a/rsconcept/frontend/.eslintignore b/rsconcept/frontend/.eslintignore new file mode 100644 index 00000000..9a7e5cf6 --- /dev/null +++ b/rsconcept/frontend/.eslintignore @@ -0,0 +1,2 @@ +**/parser.ts +**/node_modules/** \ No newline at end of file diff --git a/rsconcept/frontend/.eslintrc.json b/rsconcept/frontend/.eslintrc.json new file mode 100644 index 00000000..8339fce5 --- /dev/null +++ b/rsconcept/frontend/.eslintrc.json @@ -0,0 +1,25 @@ +{ + "env": { + "browser": true, + "es2021": true + }, + "extends": [ + "eslint:recommended", + "plugin:@typescript-eslint/recommended-type-checked", + "plugin:react-hooks/recommended" + ], + "parser": "@typescript-eslint/parser", + "parserOptions": { + "ecmaVersion": "latest", + "sourceType": "module", + "project": ["tsconfig.json", "tsconfig.node.json"] + }, + "plugins": ["react-refresh", "simple-import-sort", "eslint-plugin-tsdoc"], + "rules": { + "no-console": "off", + "require-jsdoc": "off", + "react-refresh/only-export-components": ["off", { "allowConstantExport": true }], + "simple-import-sort/imports": "warn", + "tsdoc/syntax": "warn" + } +} diff --git a/rsconcept/frontend/.prettierignore b/rsconcept/frontend/.prettierignore new file mode 100644 index 00000000..cbe6c044 --- /dev/null +++ b/rsconcept/frontend/.prettierignore @@ -0,0 +1,6 @@ +build/ +node_modules/ +package-lock.json +yarn.lock +package.json +coverage \ No newline at end of file diff --git a/rsconcept/frontend/.prettierrc.json b/rsconcept/frontend/.prettierrc.json new file mode 100644 index 00000000..d4dd284f --- /dev/null +++ b/rsconcept/frontend/.prettierrc.json @@ -0,0 +1,13 @@ +{ + "semi": true, + "useTabs": false, + "printWidth": 120, + "tabWidth": 2, + "trailingComma": "none", + "arrowParens": "avoid", + "singleQuote": true, + "jsxSingleQuote": true, + "quoteProps": "consistent", + "bracketSameLine": false, + "bracketSpacing": true +} \ No newline at end of file diff --git a/rsconcept/frontend/Dockerfile b/rsconcept/frontend/Dockerfile new file mode 100644 index 00000000..fdff3fce --- /dev/null +++ b/rsconcept/frontend/Dockerfile @@ -0,0 +1,37 @@ +# ======== Multi-stage base ========== +FROM node:bullseye-slim as node-base +RUN apt-get update -qq && \ + apt-get upgrade -y && \ + rm -rf /var/lib/apt/lists/* + +# ======= Build ======= +ARG BUILD_TYPE=production +FROM node-base as builder + +WORKDIR /result + +COPY ./ ./ +COPY ./env/.env.$BUILD_TYPE ./ +RUN rm -rf ./env +RUN npm ci +ENV NODE_ENV production +RUN npm run build + +# ========= Server ======= +FROM node-base as product-server + +ENV NODE_ENV production + +# Install serve util +RUN npm install -g serve + +# Setup USER +RUN adduser --system --group app +USER node + +# Bring up deployment files +WORKDIR /home/node +COPY --chown=node:node --from=builder /result/dist ./ + +# Start server through docker-compose +# serve -s /home/node -l 3000 \ No newline at end of file diff --git a/rsconcept/frontend/Dockerfile.dev b/rsconcept/frontend/Dockerfile.dev new file mode 100644 index 00000000..be4e8c9f --- /dev/null +++ b/rsconcept/frontend/Dockerfile.dev @@ -0,0 +1,17 @@ +# ======== Multi-stage base ========== +FROM node:bullseye-slim as node-base +RUN apt-get update -qq && \ + apt-get upgrade -y && \ + rm -rf /var/lib/apt/lists/* + +# ========= Server ======= +FROM node-base as product-server +ARG BUILD_TYPE=production + +WORKDIR /home + +COPY ./ ./ +COPY ./env/.env.$BUILD_TYPE ./ +RUN rm -rf ./env + +RUN npm install diff --git a/rsconcept/frontend/README.md b/rsconcept/frontend/README.md new file mode 100644 index 00000000..681d51b4 --- /dev/null +++ b/rsconcept/frontend/README.md @@ -0,0 +1,22 @@ +# Frontend Developer guidelines + +Styling conventions + +- static > conditional static > props. All dynamic styling should go in styles props +- dimensions = rectangle + outer layout + ++ - layer: z-position + - outer layout: fixed bottom-1/2 left-0 -translate-x-1/2 + - rectangle: mt-3 min-w-fit min-w-10 flex-grow shrink-0 + - inner layout: px-3 py-2 flex flex-col gap-3 justify-between items-center + - overflow behavior: overflow-scroll overscroll-contain + - border: borer-2 outline-none shadow-md + - colors: clr-controls + - text: text-start text-sm font-semibold whitespace-nowrap + - behavior modifiers: select-none disabled:cursor-not-allowed + - transitions: ++
+ Термин: + {data.term_resolved || data.term_raw} +
+ ) : null} ++ Типизация: + {labelCstTypification(data)} +
+ {data.definition_formal ? ( ++ Выражение: + {data.definition_formal} +
+ ) : null} + {data.definition_resolved ? ( ++ Определение: + {data.definition_resolved} +
+ ) : null} + {data.parent_alias ? ( ++ Основание: + {data.parent_alias} +
+ ) : null} + {data.children_alias.length > 0 ? ( ++ Порождает: + {data.children_alias.join(', ')} +
+ ) : null} + {data.convention ? ( ++ {isBasicConcept(data.cst_type) ? 'Конвенция' : 'Комментарий'}: + {data.convention} +
+ ) : null} ++ + {labelCstClass(cstClass)} + + - + {describeCstClass(cstClass)} +
+ ); + })} ++ + {labelExpressionStatus(status)} + + - + {describeExpressionStatus(status)} +
+ ))} +Ошибки отсутствуют
; + } else if (typeof error === 'string') { + return{error}
; + } else if (!axios.isAxiosError(error)) { + returnНет ответа от сервера
; + } + if (error.response.status === 404) { + return ( +{'Обращение к несуществующему API'}
+{'Соединение с сервером потеряно. Перезагрузите страницу'}
+Ошибка
+{error.message}
+ {error.response.data && ( + <> +Описание
+ {isHtml ? : null} + {!isHtml ?Пожалуйста сделайте скриншот и отправьте вместе с описанием ситуации на почту portal@acconcept.ru
+Для продолжения работы перезагрузите страницу
+Список конституент пуст
+Измените параметры фильтра
+ + } + onRowClicked={onSelectValue} + /> +Список пуст
+ + } + /> +Список схем пуст
+Измените параметры фильтра
+ + } + onRowClicked={rowData => onSelectValue(rowData.id)} + /> +Список пуст
+Добавьте отождествление
+ + } + /> +{JSON.stringify(data, null, 2)};
+}
+
+export default PrettyJson;
diff --git a/rsconcept/frontend/src/components/ui/SearchBar.tsx b/rsconcept/frontend/src/components/ui/SearchBar.tsx
new file mode 100644
index 00000000..a1b9fcfa
--- /dev/null
+++ b/rsconcept/frontend/src/components/ui/SearchBar.tsx
@@ -0,0 +1,39 @@
+import clsx from 'clsx';
+
+import { IconSearch } from '../Icons';
+import { CProps } from '../props';
+import Overlay from './Overlay';
+import TextInput from './TextInput';
+
+interface SearchBarProps extends CProps.Styling {
+ value: string;
+ noIcon?: boolean;
+ id?: string;
+ placeholder?: string;
+ onChange?: (newValue: string) => void;
+ noBorder?: boolean;
+}
+
+function SearchBar({ id, value, noIcon, onChange, noBorder, placeholder = 'Поиск', ...restProps }: SearchBarProps) {
+ return (
+