@rsconcept/rstool 0.5.2 → 0.6.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (21) hide show
  1. package/README.md +1 -1
  2. package/docs/PORTAL-API.md +84 -6
  3. package/examples/README.md +59 -0
  4. package/examples/agent-client.ts +76 -0
  5. package/examples/build-kinship-rsform.ts +466 -0
  6. package/examples/build-kinship-rsmodel.ts +125 -0
  7. package/examples/build-sample-rsform.ts +90 -0
  8. package/examples/build-sample-rsmodel.ts +106 -0
  9. package/examples/kinship/cli.ts +247 -0
  10. package/examples/kinship/constants.ts +12 -0
  11. package/examples/kinship/session.ts +190 -0
  12. package/examples/kinship/x1-actions.test.ts +136 -0
  13. package/examples/kinship/x1-actions.ts +371 -0
  14. package/examples/kinship-rsform-session.json +1221 -0
  15. package/examples/kinship-rsmodel-session.json +1263 -0
  16. package/examples/sample-rsform-session.json +134 -0
  17. package/examples/sample-rsmodel-session.json +163 -0
  18. package/package.json +3 -1
  19. package/skills/rstool-helper/EXAMPLES.md +1 -1
  20. package/skills/rstool-helper/GUIDE.md +15 -0
  21. package/skills/rstool-helper/REFERENCE.md +4 -0
package/examples/kinship-rsform-session.json ADDED
@@ -0,0 +1,1221 @@
1
+ {
2
+ "contractVersion": "1.3.0",
3
+ "state": {
4
+ "sessionId": "44c92f6d-b409-4c19-86b0-6d93f6e7e616",
5
+ "createdAt": "2026-05-29T09:15:19.322Z",
6
+ "updatedAt": "2026-05-29T09:15:19.400Z",
7
+ "revisions": [
8
+ {
9
+ "revisionId": "3090701f-00b6-4e15-948b-3062139a30ab",
10
+ "at": "2026-05-29T09:15:19.400Z",
11
+ "message": "КС «родственные отношения»: пол (S2/S3), отцы/матери, разновидности сиблингов, внуки, дедушки/бабушки, двоюродные"
12
+ }
13
+ ],
14
+ "items": [
15
+ {
16
+ "id": 1,
17
+ "alias": "X1",
18
+ "cstType": "basic",
19
+ "definitionFormal": "",
20
+ "term": "люди",
21
+ "convention": "Базисное множество людей предметной области «родственные отношения».",
22
+ "definitionText": "",
23
+ "analysis": {
24
+ "success": true,
25
+ "type": {
26
+ "typeID": 5,
27
+ "base": {
28
+ "typeID": 3,
29
+ "baseID": "X1"
30
+ }
31
+ },
32
+ "valueClass": "value",
33
+ "diagnostics": []
34
+ }
35
+ },
36
+ {
37
+ "id": 2,
38
+ "alias": "S1",
39
+ "cstType": "structure",
40
+ "definitionFormal": "ℬ(X1×X1)",
41
+ "term": "родитель-ребенок",
42
+ "convention": "Элементы — пары (p, c): p — родитель, c — ребёнок; p, c ∈ X1. Отношение задаётся конвенцией на предметной области.",
43
+ "definitionText": "",
44
+ "analysis": {
45
+ "success": true,
46
+ "type": {
47
+ "typeID": 5,
48
+ "base": {
49
+ "typeID": 4,
50
+ "factors": [
51
+ {
52
+ "typeID": 3,
53
+ "baseID": "X1"
54
+ },
55
+ {
56
+ "typeID": 3,
57
+ "baseID": "X1"
58
+ }
59
+ ]
60
+ }
61
+ },
62
+ "valueClass": "value",
63
+ "diagnostics": []
64
+ }
65
+ },
66
+ {
67
+ "id": 3,
68
+ "alias": "D1",
69
+ "cstType": "term",
70
+ "definitionFormal": "Pr1(S1)",
71
+ "term": "родители",
72
+ "definitionText": "Множество людей, выступающих в роли родителя хотя бы для одного ребёнка.",
73
+ "convention": "",
74
+ "analysis": {
75
+ "success": true,
76
+ "type": {
77
+ "typeID": 5,
78
+ "base": {
79
+ "typeID": 3,
80
+ "baseID": "X1"
81
+ }
82
+ },
83
+ "valueClass": "value",
84
+ "diagnostics": []
85
+ }
86
+ },
87
+ {
88
+ "id": 4,
89
+ "alias": "F1",
90
+ "cstType": "function",
91
+ "definitionFormal": "[ξ∈X1] Pr1(Fi2[{ξ}](S1))",
92
+ "term": "родители данного человека",
93
+ "definitionText": "Для человека ξ — множество его родителей (первая проекция пар из S1, у которых вторая проекция равна ξ).",
94
+ "convention": "",
95
+ "analysis": {
96
+ "success": true,
97
+ "type": {
98
+ "typeID": 7,
99
+ "result": {
100
+ "typeID": 5,
101
+ "base": {
102
+ "typeID": 3,
103
+ "baseID": "X1"
104
+ }
105
+ },
106
+ "args": [
107
+ {
108
+ "alias": "ξ",
109
+ "type": {
110
+ "typeID": 3,
111
+ "baseID": "X1"
112
+ }
113
+ }
114
+ ]
115
+ },
116
+ "valueClass": "value",
117
+ "diagnostics": []
118
+ }
119
+ },
120
+ {
121
+ "id": 10,
122
+ "alias": "F6",
123
+ "cstType": "function",
124
+ "definitionFormal": "[σ∈ℬ(X1)] Pr2(Fi1[σ](S1))",
125
+ "term": "дети",
126
+ "definitionText": "Прямые дети людей из σ: вторая проекция пар из S1, у которых родитель (первая проекция) лежит в σ. Для одного человека ξ используют F6[{ξ}].",
127
+ "convention": "",
128
+ "analysis": {
129
+ "success": true,
130
+ "type": {
131
+ "typeID": 7,
132
+ "result": {
133
+ "typeID": 5,
134
+ "base": {
135
+ "typeID": 3,
136
+ "baseID": "X1"
137
+ }
138
+ },
139
+ "args": [
140
+ {
141
+ "alias": "σ",
142
+ "type": {
143
+ "typeID": 5,
144
+ "base": {
145
+ "typeID": 3,
146
+ "baseID": "X1"
147
+ }
148
+ }
149
+ }
150
+ ]
151
+ },
152
+ "valueClass": "value",
153
+ "diagnostics": []
154
+ }
155
+ },
156
+ {
157
+ "id": 5,
158
+ "alias": "D2",
159
+ "cstType": "term",
160
+ "definitionFormal": "Pr2(S1)",
161
+ "term": "потомки",
162
+ "definitionText": "Множество людей, выступающих ребёнком хотя бы в одной паре из S1 (симметрично терму «родители»).",
163
+ "convention": "",
164
+ "analysis": {
165
+ "success": true,
166
+ "type": {
167
+ "typeID": 5,
168
+ "base": {
169
+ "typeID": 3,
170
+ "baseID": "X1"
171
+ }
172
+ },
173
+ "valueClass": "value",
174
+ "diagnostics": []
175
+ }
176
+ },
177
+ {
178
+ "id": 6,
179
+ "alias": "F2",
180
+ "cstType": "function",
181
+ "definitionFormal": "[ξ∈X1] R{ρ:=F6[{ξ}] | ρ≠∅ | ρ∪F6[ρ]}",
182
+ "term": "потомки данного человека",
183
+ "definitionText": "Для человека ξ — транзитивное замыкание отношения «ребёнок»: прямые дети, внуки и все последующие поколения.",
184
+ "convention": "",
185
+ "analysis": {
186
+ "success": true,
187
+ "type": {
188
+ "typeID": 7,
189
+ "result": {
190
+ "typeID": 5,
191
+ "base": {
192
+ "typeID": 3,
193
+ "baseID": "X1"
194
+ }
195
+ },
196
+ "args": [
197
+ {
198
+ "alias": "ξ",
199
+ "type": {
200
+ "typeID": 3,
201
+ "baseID": "X1"
202
+ }
203
+ }
204
+ ]
205
+ },
206
+ "valueClass": "value",
207
+ "diagnostics": []
208
+ }
209
+ },
210
+ {
211
+ "id": 7,
212
+ "alias": "F3",
213
+ "cstType": "function",
214
+ "definitionFormal": "[ξ∈X1] D{μ∈X1 | ∃p∈F1[ξ] μ∈F1[p] & μ≠ξ}",
215
+ "term": "братья и сестры данного человека",
216
+ "definitionText": "Люди μ ≠ ξ, у которых есть общий с ξ родитель (в т.ч. сводные братья и сестры при одном общем родителе).",
217
+ "convention": "",
218
+ "analysis": {
219
+ "success": true,
220
+ "type": {
221
+ "typeID": 7,
222
+ "result": {
223
+ "typeID": 5,
224
+ "base": {
225
+ "typeID": 3,
226
+ "baseID": "X1"
227
+ }
228
+ },
229
+ "args": [
230
+ {
231
+ "alias": "ξ",
232
+ "type": {
233
+ "typeID": 3,
234
+ "baseID": "X1"
235
+ }
236
+ }
237
+ ]
238
+ },
239
+ "valueClass": "value",
240
+ "diagnostics": []
241
+ }
242
+ },
243
+ {
244
+ "id": 8,
245
+ "alias": "F4",
246
+ "cstType": "function",
247
+ "definitionFormal": "[ξ∈X1] D{κ∈X1 | ∃μ∈F3[ξ] κ∈F6[{μ}] & κ∉F2[ξ]}",
248
+ "term": "племянники данного человека",
249
+ "definitionText": "Прямые дети братьев и сестёр ξ, не входящие в множество потомков самого ξ.",
250
+ "convention": "",
251
+ "analysis": {
252
+ "success": true,
253
+ "type": {
254
+ "typeID": 7,
255
+ "result": {
256
+ "typeID": 5,
257
+ "base": {
258
+ "typeID": 3,
259
+ "baseID": "X1"
260
+ }
261
+ },
262
+ "args": [
263
+ {
264
+ "alias": "ξ",
265
+ "type": {
266
+ "typeID": 3,
267
+ "baseID": "X1"
268
+ }
269
+ }
270
+ ]
271
+ },
272
+ "valueClass": "value",
273
+ "diagnostics": []
274
+ }
275
+ },
276
+ {
277
+ "id": 9,
278
+ "alias": "F5",
279
+ "cstType": "function",
280
+ "definitionFormal": "[ξ∈X1] D{ν∈X1 | ∃κ∈F4[ξ] ν∈F6[{κ}]}",
281
+ "term": "внучатые племянники данного человека",
282
+ "definitionText": "Прямые дети племянников ξ: потомки братьев/сестёр на два поколения ниже (ребёнок племянника или племянницы).",
283
+ "convention": "",
284
+ "analysis": {
285
+ "success": true,
286
+ "type": {
287
+ "typeID": 7,
288
+ "result": {
289
+ "typeID": 5,
290
+ "base": {
291
+ "typeID": 3,
292
+ "baseID": "X1"
293
+ }
294
+ },
295
+ "args": [
296
+ {
297
+ "alias": "ξ",
298
+ "type": {
299
+ "typeID": 3,
300
+ "baseID": "X1"
301
+ }
302
+ }
303
+ ]
304
+ },
305
+ "valueClass": "value",
306
+ "diagnostics": []
307
+ }
308
+ },
309
+ {
310
+ "id": 11,
311
+ "alias": "D3",
312
+ "cstType": "term",
313
+ "definitionFormal": "D{ν∈X1 | ∃ξ∈X1 ν∈F5[ξ]}",
314
+ "term": "внучатые племянники",
315
+ "definitionText": "Множество людей, являющихся внучатыми племянниками или племянницами хотя бы одного человека из X1 (объединение значений F5 по всем ξ).",
316
+ "convention": "",
317
+ "analysis": {
318
+ "success": true,
319
+ "type": {
320
+ "typeID": 5,
321
+ "base": {
322
+ "typeID": 3,
323
+ "baseID": "X1"
324
+ }
325
+ },
326
+ "valueClass": "value",
327
+ "diagnostics": []
328
+ }
329
+ },
330
+ {
331
+ "id": 13,
332
+ "alias": "S2",
333
+ "cstType": "structure",
334
+ "definitionFormal": "ℬ(X1)",
335
+ "term": "мужчины",
336
+ "convention": "Пол устанавливается по документам; каждый индивид из X1 входит ровно в одно из множеств S2 или S3.",
337
+ "definitionText": "",
338
+ "analysis": {
339
+ "success": true,
340
+ "type": {
341
+ "typeID": 5,
342
+ "base": {
343
+ "typeID": 3,
344
+ "baseID": "X1"
345
+ }
346
+ },
347
+ "valueClass": "value",
348
+ "diagnostics": []
349
+ }
350
+ },
351
+ {
352
+ "id": 14,
353
+ "alias": "S3",
354
+ "cstType": "structure",
355
+ "definitionFormal": "ℬ(X1)",
356
+ "term": "женщины",
357
+ "convention": "Пол устанавливается по документам; каждый индивид из X1 входит ровно в одно из множеств S2 или S3.",
358
+ "definitionText": "",
359
+ "analysis": {
360
+ "success": true,
361
+ "type": {
362
+ "typeID": 5,
363
+ "base": {
364
+ "typeID": 3,
365
+ "baseID": "X1"
366
+ }
367
+ },
368
+ "valueClass": "value",
369
+ "diagnostics": []
370
+ }
371
+ },
372
+ {
373
+ "id": 15,
374
+ "alias": "A2",
375
+ "cstType": "axiom",
376
+ "definitionFormal": "S2∪S3=X1 & S2∩S3=∅",
377
+ "term": "разбиение людей по полу",
378
+ "definitionText": "Каждый человек — мужчина или женщина, но не оба сразу: S2 и S3 образуют разбиение X1.",
379
+ "convention": "",
380
+ "analysis": {
381
+ "success": true,
382
+ "type": {
383
+ "typeID": 6
384
+ },
385
+ "valueClass": "value",
386
+ "diagnostics": []
387
+ }
388
+ },
389
+ {
390
+ "id": 16,
391
+ "alias": "F7",
392
+ "cstType": "function",
393
+ "definitionFormal": "[ξ∈X1] F1[ξ]∩S2",
394
+ "term": "отцы данного человека",
395
+ "definitionText": "Родители ξ, являющиеся мужчинами.",
396
+ "convention": "",
397
+ "analysis": {
398
+ "success": true,
399
+ "type": {
400
+ "typeID": 7,
401
+ "result": {
402
+ "typeID": 5,
403
+ "base": {
404
+ "typeID": 3,
405
+ "baseID": "X1"
406
+ }
407
+ },
408
+ "args": [
409
+ {
410
+ "alias": "ξ",
411
+ "type": {
412
+ "typeID": 3,
413
+ "baseID": "X1"
414
+ }
415
+ }
416
+ ]
417
+ },
418
+ "valueClass": "value",
419
+ "diagnostics": []
420
+ }
421
+ },
422
+ {
423
+ "id": 17,
424
+ "alias": "F8",
425
+ "cstType": "function",
426
+ "definitionFormal": "[ξ∈X1] F1[ξ]∩S3",
427
+ "term": "матери данного человека",
428
+ "definitionText": "Родители ξ, являющиеся женщинами.",
429
+ "convention": "",
430
+ "analysis": {
431
+ "success": true,
432
+ "type": {
433
+ "typeID": 7,
434
+ "result": {
435
+ "typeID": 5,
436
+ "base": {
437
+ "typeID": 3,
438
+ "baseID": "X1"
439
+ }
440
+ },
441
+ "args": [
442
+ {
443
+ "alias": "ξ",
444
+ "type": {
445
+ "typeID": 3,
446
+ "baseID": "X1"
447
+ }
448
+ }
449
+ ]
450
+ },
451
+ "valueClass": "value",
452
+ "diagnostics": []
453
+ }
454
+ },
455
+ {
456
+ "id": 18,
457
+ "alias": "A3",
458
+ "cstType": "axiom",
459
+ "definitionFormal": "∀ξ∈X1 (card(F7[ξ])≤1 & card(F8[ξ])≤1)",
460
+ "term": "не более одного отца и одной матери",
461
+ "definitionText": "У каждого человека не более одного отца и не более одной матери.",
462
+ "convention": "",
463
+ "analysis": {
464
+ "success": true,
465
+ "type": {
466
+ "typeID": 6
467
+ },
468
+ "valueClass": "value",
469
+ "diagnostics": []
470
+ }
471
+ },
472
+ {
473
+ "id": 19,
474
+ "alias": "F9",
475
+ "cstType": "function",
476
+ "definitionFormal": "[ξ∈X1] F3[ξ]∩S2",
477
+ "term": "братья данного человека",
478
+ "definitionText": "Братья и сёстры ξ (F3), являющиеся мужчинами.",
479
+ "convention": "",
480
+ "analysis": {
481
+ "success": true,
482
+ "type": {
483
+ "typeID": 7,
484
+ "result": {
485
+ "typeID": 5,
486
+ "base": {
487
+ "typeID": 3,
488
+ "baseID": "X1"
489
+ }
490
+ },
491
+ "args": [
492
+ {
493
+ "alias": "ξ",
494
+ "type": {
495
+ "typeID": 3,
496
+ "baseID": "X1"
497
+ }
498
+ }
499
+ ]
500
+ },
501
+ "valueClass": "value",
502
+ "diagnostics": []
503
+ }
504
+ },
505
+ {
506
+ "id": 20,
507
+ "alias": "F10",
508
+ "cstType": "function",
509
+ "definitionFormal": "[ξ∈X1] F3[ξ]∩S3",
510
+ "term": "сёстры данного человека",
511
+ "definitionText": "Братья и сёстры ξ (F3), являющиеся женщинами.",
512
+ "convention": "",
513
+ "analysis": {
514
+ "success": true,
515
+ "type": {
516
+ "typeID": 7,
517
+ "result": {
518
+ "typeID": 5,
519
+ "base": {
520
+ "typeID": 3,
521
+ "baseID": "X1"
522
+ }
523
+ },
524
+ "args": [
525
+ {
526
+ "alias": "ξ",
527
+ "type": {
528
+ "typeID": 3,
529
+ "baseID": "X1"
530
+ }
531
+ }
532
+ ]
533
+ },
534
+ "valueClass": "value",
535
+ "diagnostics": []
536
+ }
537
+ },
538
+ {
539
+ "id": 21,
540
+ "alias": "F11",
541
+ "cstType": "function",
542
+ "definitionFormal": "[ξ∈X1] D{μ∈F3[ξ] | F1[ξ]=F1[μ]}",
543
+ "term": "полнородные братья и сёстры",
544
+ "definitionText": "Сиблинги с полностью совпадающими множествами родителей.",
545
+ "convention": "",
546
+ "analysis": {
547
+ "success": true,
548
+ "type": {
549
+ "typeID": 7,
550
+ "result": {
551
+ "typeID": 5,
552
+ "base": {
553
+ "typeID": 3,
554
+ "baseID": "X1"
555
+ }
556
+ },
557
+ "args": [
558
+ {
559
+ "alias": "ξ",
560
+ "type": {
561
+ "typeID": 3,
562
+ "baseID": "X1"
563
+ }
564
+ }
565
+ ]
566
+ },
567
+ "valueClass": "value",
568
+ "diagnostics": []
569
+ }
570
+ },
571
+ {
572
+ "id": 22,
573
+ "alias": "F12",
574
+ "cstType": "function",
575
+ "definitionFormal": "[ξ∈X1] F11[ξ]∩S2",
576
+ "term": "полнородные братья",
577
+ "definitionText": "Полнородные сиблинги ξ, являющиеся мужчинами.",
578
+ "convention": "",
579
+ "analysis": {
580
+ "success": true,
581
+ "type": {
582
+ "typeID": 7,
583
+ "result": {
584
+ "typeID": 5,
585
+ "base": {
586
+ "typeID": 3,
587
+ "baseID": "X1"
588
+ }
589
+ },
590
+ "args": [
591
+ {
592
+ "alias": "ξ",
593
+ "type": {
594
+ "typeID": 3,
595
+ "baseID": "X1"
596
+ }
597
+ }
598
+ ]
599
+ },
600
+ "valueClass": "value",
601
+ "diagnostics": []
602
+ }
603
+ },
604
+ {
605
+ "id": 23,
606
+ "alias": "F13",
607
+ "cstType": "function",
608
+ "definitionFormal": "[ξ∈X1] F11[ξ]∩S3",
609
+ "term": "полнородные сёстры",
610
+ "definitionText": "Полнородные сиблинги ξ, являющиеся женщинами.",
611
+ "convention": "",
612
+ "analysis": {
613
+ "success": true,
614
+ "type": {
615
+ "typeID": 7,
616
+ "result": {
617
+ "typeID": 5,
618
+ "base": {
619
+ "typeID": 3,
620
+ "baseID": "X1"
621
+ }
622
+ },
623
+ "args": [
624
+ {
625
+ "alias": "ξ",
626
+ "type": {
627
+ "typeID": 3,
628
+ "baseID": "X1"
629
+ }
630
+ }
631
+ ]
632
+ },
633
+ "valueClass": "value",
634
+ "diagnostics": []
635
+ }
636
+ },
637
+ {
638
+ "id": 24,
639
+ "alias": "F14",
640
+ "cstType": "function",
641
+ "definitionFormal": "[ξ∈X1] D{μ∈F3[ξ] | F7[ξ]=F7[μ] & F8[ξ]≠F8[μ]}",
642
+ "term": "единокровные братья и сёстры",
643
+ "definitionText": "Сиблинги с общим отцом и разными матерями.",
644
+ "convention": "",
645
+ "analysis": {
646
+ "success": true,
647
+ "type": {
648
+ "typeID": 7,
649
+ "result": {
650
+ "typeID": 5,
651
+ "base": {
652
+ "typeID": 3,
653
+ "baseID": "X1"
654
+ }
655
+ },
656
+ "args": [
657
+ {
658
+ "alias": "ξ",
659
+ "type": {
660
+ "typeID": 3,
661
+ "baseID": "X1"
662
+ }
663
+ }
664
+ ]
665
+ },
666
+ "valueClass": "value",
667
+ "diagnostics": []
668
+ }
669
+ },
670
+ {
671
+ "id": 25,
672
+ "alias": "F15",
673
+ "cstType": "function",
674
+ "definitionFormal": "[ξ∈X1] F14[ξ]∩S2",
675
+ "term": "единокровные братья",
676
+ "definitionText": "Единокровные сиблинги ξ, являющиеся мужчинами.",
677
+ "convention": "",
678
+ "analysis": {
679
+ "success": true,
680
+ "type": {
681
+ "typeID": 7,
682
+ "result": {
683
+ "typeID": 5,
684
+ "base": {
685
+ "typeID": 3,
686
+ "baseID": "X1"
687
+ }
688
+ },
689
+ "args": [
690
+ {
691
+ "alias": "ξ",
692
+ "type": {
693
+ "typeID": 3,
694
+ "baseID": "X1"
695
+ }
696
+ }
697
+ ]
698
+ },
699
+ "valueClass": "value",
700
+ "diagnostics": []
701
+ }
702
+ },
703
+ {
704
+ "id": 26,
705
+ "alias": "F16",
706
+ "cstType": "function",
707
+ "definitionFormal": "[ξ∈X1] F14[ξ]∩S3",
708
+ "term": "единокровные сёстры",
709
+ "definitionText": "Единокровные сиблинги ξ, являющиеся женщинами.",
710
+ "convention": "",
711
+ "analysis": {
712
+ "success": true,
713
+ "type": {
714
+ "typeID": 7,
715
+ "result": {
716
+ "typeID": 5,
717
+ "base": {
718
+ "typeID": 3,
719
+ "baseID": "X1"
720
+ }
721
+ },
722
+ "args": [
723
+ {
724
+ "alias": "ξ",
725
+ "type": {
726
+ "typeID": 3,
727
+ "baseID": "X1"
728
+ }
729
+ }
730
+ ]
731
+ },
732
+ "valueClass": "value",
733
+ "diagnostics": []
734
+ }
735
+ },
736
+ {
737
+ "id": 27,
738
+ "alias": "F17",
739
+ "cstType": "function",
740
+ "definitionFormal": "[ξ∈X1] D{μ∈F3[ξ] | F7[ξ]≠F7[μ] & F8[ξ]=F8[μ]}",
741
+ "term": "единоутробные братья и сёстры",
742
+ "definitionText": "Сиблинги с общей матерью и разными отцами.",
743
+ "convention": "",
744
+ "analysis": {
745
+ "success": true,
746
+ "type": {
747
+ "typeID": 7,
748
+ "result": {
749
+ "typeID": 5,
750
+ "base": {
751
+ "typeID": 3,
752
+ "baseID": "X1"
753
+ }
754
+ },
755
+ "args": [
756
+ {
757
+ "alias": "ξ",
758
+ "type": {
759
+ "typeID": 3,
760
+ "baseID": "X1"
761
+ }
762
+ }
763
+ ]
764
+ },
765
+ "valueClass": "value",
766
+ "diagnostics": []
767
+ }
768
+ },
769
+ {
770
+ "id": 28,
771
+ "alias": "F18",
772
+ "cstType": "function",
773
+ "definitionFormal": "[ξ∈X1] F17[ξ]∩S2",
774
+ "term": "единоутробные братья",
775
+ "definitionText": "Единоутробные сиблинги ξ, являющиеся мужчинами.",
776
+ "convention": "",
777
+ "analysis": {
778
+ "success": true,
779
+ "type": {
780
+ "typeID": 7,
781
+ "result": {
782
+ "typeID": 5,
783
+ "base": {
784
+ "typeID": 3,
785
+ "baseID": "X1"
786
+ }
787
+ },
788
+ "args": [
789
+ {
790
+ "alias": "ξ",
791
+ "type": {
792
+ "typeID": 3,
793
+ "baseID": "X1"
794
+ }
795
+ }
796
+ ]
797
+ },
798
+ "valueClass": "value",
799
+ "diagnostics": []
800
+ }
801
+ },
802
+ {
803
+ "id": 29,
804
+ "alias": "F19",
805
+ "cstType": "function",
806
+ "definitionFormal": "[ξ∈X1] F17[ξ]∩S3",
807
+ "term": "единоутробные сёстры",
808
+ "definitionText": "Единоутробные сиблинги ξ, являющиеся женщинами.",
809
+ "convention": "",
810
+ "analysis": {
811
+ "success": true,
812
+ "type": {
813
+ "typeID": 7,
814
+ "result": {
815
+ "typeID": 5,
816
+ "base": {
817
+ "typeID": 3,
818
+ "baseID": "X1"
819
+ }
820
+ },
821
+ "args": [
822
+ {
823
+ "alias": "ξ",
824
+ "type": {
825
+ "typeID": 3,
826
+ "baseID": "X1"
827
+ }
828
+ }
829
+ ]
830
+ },
831
+ "valueClass": "value",
832
+ "diagnostics": []
833
+ }
834
+ },
835
+ {
836
+ "id": 30,
837
+ "alias": "F20",
838
+ "cstType": "function",
839
+ "definitionFormal": "[ξ∈X1] F6[{ξ}]∩S2",
840
+ "term": "сыновья данного человека",
841
+ "definitionText": "Прямые дети ξ, являющиеся мужчинами.",
842
+ "convention": "",
843
+ "analysis": {
844
+ "success": true,
845
+ "type": {
846
+ "typeID": 7,
847
+ "result": {
848
+ "typeID": 5,
849
+ "base": {
850
+ "typeID": 3,
851
+ "baseID": "X1"
852
+ }
853
+ },
854
+ "args": [
855
+ {
856
+ "alias": "ξ",
857
+ "type": {
858
+ "typeID": 3,
859
+ "baseID": "X1"
860
+ }
861
+ }
862
+ ]
863
+ },
864
+ "valueClass": "value",
865
+ "diagnostics": []
866
+ }
867
+ },
868
+ {
869
+ "id": 31,
870
+ "alias": "F21",
871
+ "cstType": "function",
872
+ "definitionFormal": "[ξ∈X1] F6[{ξ}]∩S3",
873
+ "term": "дочери данного человека",
874
+ "definitionText": "Прямые дети ξ, являющиеся женщинами.",
875
+ "convention": "",
876
+ "analysis": {
877
+ "success": true,
878
+ "type": {
879
+ "typeID": 7,
880
+ "result": {
881
+ "typeID": 5,
882
+ "base": {
883
+ "typeID": 3,
884
+ "baseID": "X1"
885
+ }
886
+ },
887
+ "args": [
888
+ {
889
+ "alias": "ξ",
890
+ "type": {
891
+ "typeID": 3,
892
+ "baseID": "X1"
893
+ }
894
+ }
895
+ ]
896
+ },
897
+ "valueClass": "value",
898
+ "diagnostics": []
899
+ }
900
+ },
901
+ {
902
+ "id": 32,
903
+ "alias": "F22",
904
+ "cstType": "function",
905
+ "definitionFormal": "[ξ∈X1] F6[F6[{ξ}]]∩S2",
906
+ "term": "внуки данного человека",
907
+ "definitionText": "Внуки-мужчины: мужчины среди детей детей ξ.",
908
+ "convention": "",
909
+ "analysis": {
910
+ "success": true,
911
+ "type": {
912
+ "typeID": 7,
913
+ "result": {
914
+ "typeID": 5,
915
+ "base": {
916
+ "typeID": 3,
917
+ "baseID": "X1"
918
+ }
919
+ },
920
+ "args": [
921
+ {
922
+ "alias": "ξ",
923
+ "type": {
924
+ "typeID": 3,
925
+ "baseID": "X1"
926
+ }
927
+ }
928
+ ]
929
+ },
930
+ "valueClass": "value",
931
+ "diagnostics": []
932
+ }
933
+ },
934
+ {
935
+ "id": 33,
936
+ "alias": "F23",
937
+ "cstType": "function",
938
+ "definitionFormal": "[ξ∈X1] F6[F6[{ξ}]]∩S3",
939
+ "term": "внучки данного человека",
940
+ "definitionText": "Внучки: женщины среди детей детей ξ.",
941
+ "convention": "",
942
+ "analysis": {
943
+ "success": true,
944
+ "type": {
945
+ "typeID": 7,
946
+ "result": {
947
+ "typeID": 5,
948
+ "base": {
949
+ "typeID": 3,
950
+ "baseID": "X1"
951
+ }
952
+ },
953
+ "args": [
954
+ {
955
+ "alias": "ξ",
956
+ "type": {
957
+ "typeID": 3,
958
+ "baseID": "X1"
959
+ }
960
+ }
961
+ ]
962
+ },
963
+ "valueClass": "value",
964
+ "diagnostics": []
965
+ }
966
+ },
967
+ {
968
+ "id": 34,
969
+ "alias": "F24",
970
+ "cstType": "function",
971
+ "definitionFormal": "[ξ∈X1] D{μ∈X1 | ∃p∈F1[ξ] μ∈F7[p]}",
972
+ "term": "дедушки данного человека",
973
+ "definitionText": "Отцы родителей ξ.",
974
+ "convention": "",
975
+ "analysis": {
976
+ "success": true,
977
+ "type": {
978
+ "typeID": 7,
979
+ "result": {
980
+ "typeID": 5,
981
+ "base": {
982
+ "typeID": 3,
983
+ "baseID": "X1"
984
+ }
985
+ },
986
+ "args": [
987
+ {
988
+ "alias": "ξ",
989
+ "type": {
990
+ "typeID": 3,
991
+ "baseID": "X1"
992
+ }
993
+ }
994
+ ]
995
+ },
996
+ "valueClass": "value",
997
+ "diagnostics": []
998
+ }
999
+ },
1000
+ {
1001
+ "id": 35,
1002
+ "alias": "F25",
1003
+ "cstType": "function",
1004
+ "definitionFormal": "[ξ∈X1] D{μ∈X1 | ∃p∈F1[ξ] μ∈F8[p]}",
1005
+ "term": "бабушки данного человека",
1006
+ "definitionText": "Матери родителей ξ.",
1007
+ "convention": "",
1008
+ "analysis": {
1009
+ "success": true,
1010
+ "type": {
1011
+ "typeID": 7,
1012
+ "result": {
1013
+ "typeID": 5,
1014
+ "base": {
1015
+ "typeID": 3,
1016
+ "baseID": "X1"
1017
+ }
1018
+ },
1019
+ "args": [
1020
+ {
1021
+ "alias": "ξ",
1022
+ "type": {
1023
+ "typeID": 3,
1024
+ "baseID": "X1"
1025
+ }
1026
+ }
1027
+ ]
1028
+ },
1029
+ "valueClass": "value",
1030
+ "diagnostics": []
1031
+ }
1032
+ },
1033
+ {
1034
+ "id": 36,
1035
+ "alias": "F26",
1036
+ "cstType": "function",
1037
+ "definitionFormal": "[ξ∈X1] F4[ξ]∩S2",
1038
+ "term": "племянники данного человека (мужчины)",
1039
+ "definitionText": "Племянники ξ (F4), являющиеся мужчинами.",
1040
+ "convention": "",
1041
+ "analysis": {
1042
+ "success": true,
1043
+ "type": {
1044
+ "typeID": 7,
1045
+ "result": {
1046
+ "typeID": 5,
1047
+ "base": {
1048
+ "typeID": 3,
1049
+ "baseID": "X1"
1050
+ }
1051
+ },
1052
+ "args": [
1053
+ {
1054
+ "alias": "ξ",
1055
+ "type": {
1056
+ "typeID": 3,
1057
+ "baseID": "X1"
1058
+ }
1059
+ }
1060
+ ]
1061
+ },
1062
+ "valueClass": "value",
1063
+ "diagnostics": []
1064
+ }
1065
+ },
1066
+ {
1067
+ "id": 37,
1068
+ "alias": "F27",
1069
+ "cstType": "function",
1070
+ "definitionFormal": "[ξ∈X1] F4[ξ]∩S3",
1071
+ "term": "племянницы данного человека",
1072
+ "definitionText": "Племянники ξ (F4), являющиеся женщинами.",
1073
+ "convention": "",
1074
+ "analysis": {
1075
+ "success": true,
1076
+ "type": {
1077
+ "typeID": 7,
1078
+ "result": {
1079
+ "typeID": 5,
1080
+ "base": {
1081
+ "typeID": 3,
1082
+ "baseID": "X1"
1083
+ }
1084
+ },
1085
+ "args": [
1086
+ {
1087
+ "alias": "ξ",
1088
+ "type": {
1089
+ "typeID": 3,
1090
+ "baseID": "X1"
1091
+ }
1092
+ }
1093
+ ]
1094
+ },
1095
+ "valueClass": "value",
1096
+ "diagnostics": []
1097
+ }
1098
+ },
1099
+ {
1100
+ "id": 38,
1101
+ "alias": "F28",
1102
+ "cstType": "function",
1103
+ "definitionFormal": "[ξ∈X1] D{ν∈X1 | ∃p∈F1[ξ] ∃κ∈F3[p] ν∈F6[{κ}]}",
1104
+ "term": "двоюродные братья и сёстры",
1105
+ "definitionText": "Дети братьев и сестёр родителей ξ.",
1106
+ "convention": "",
1107
+ "analysis": {
1108
+ "success": true,
1109
+ "type": {
1110
+ "typeID": 7,
1111
+ "result": {
1112
+ "typeID": 5,
1113
+ "base": {
1114
+ "typeID": 3,
1115
+ "baseID": "X1"
1116
+ }
1117
+ },
1118
+ "args": [
1119
+ {
1120
+ "alias": "ξ",
1121
+ "type": {
1122
+ "typeID": 3,
1123
+ "baseID": "X1"
1124
+ }
1125
+ }
1126
+ ]
1127
+ },
1128
+ "valueClass": "value",
1129
+ "diagnostics": []
1130
+ }
1131
+ },
1132
+ {
1133
+ "id": 39,
1134
+ "alias": "F29",
1135
+ "cstType": "function",
1136
+ "definitionFormal": "[ξ∈X1] F28[ξ]∩S2",
1137
+ "term": "двоюродные братья",
1138
+ "definitionText": "Двоюродные сиблинги ξ, являющиеся мужчинами.",
1139
+ "convention": "",
1140
+ "analysis": {
1141
+ "success": true,
1142
+ "type": {
1143
+ "typeID": 7,
1144
+ "result": {
1145
+ "typeID": 5,
1146
+ "base": {
1147
+ "typeID": 3,
1148
+ "baseID": "X1"
1149
+ }
1150
+ },
1151
+ "args": [
1152
+ {
1153
+ "alias": "ξ",
1154
+ "type": {
1155
+ "typeID": 3,
1156
+ "baseID": "X1"
1157
+ }
1158
+ }
1159
+ ]
1160
+ },
1161
+ "valueClass": "value",
1162
+ "diagnostics": []
1163
+ }
1164
+ },
1165
+ {
1166
+ "id": 40,
1167
+ "alias": "F30",
1168
+ "cstType": "function",
1169
+ "definitionFormal": "[ξ∈X1] F28[ξ]∩S3",
1170
+ "term": "двоюродные сёстры",
1171
+ "definitionText": "Двоюродные сиблинги ξ, являющиеся женщинами.",
1172
+ "convention": "",
1173
+ "analysis": {
1174
+ "success": true,
1175
+ "type": {
1176
+ "typeID": 7,
1177
+ "result": {
1178
+ "typeID": 5,
1179
+ "base": {
1180
+ "typeID": 3,
1181
+ "baseID": "X1"
1182
+ }
1183
+ },
1184
+ "args": [
1185
+ {
1186
+ "alias": "ξ",
1187
+ "type": {
1188
+ "typeID": 3,
1189
+ "baseID": "X1"
1190
+ }
1191
+ }
1192
+ ]
1193
+ },
1194
+ "valueClass": "value",
1195
+ "diagnostics": []
1196
+ }
1197
+ },
1198
+ {
1199
+ "id": 12,
1200
+ "alias": "A1",
1201
+ "cstType": "axiom",
1202
+ "definitionFormal": "card(X1)≤10",
1203
+ "term": "не более десяти человек",
1204
+ "definitionText": "В предметной области не более десяти человек: мощность X1 не превышает 10.",
1205
+ "convention": "",
1206
+ "analysis": {
1207
+ "success": true,
1208
+ "type": {
1209
+ "typeID": 6
1210
+ },
1211
+ "valueClass": "value",
1212
+ "diagnostics": []
1213
+ }
1214
+ }
1215
+ ],
1216
+ "model": {
1217
+ "items": []
1218
+ }
1219
+ },
1220
+ "diagnostics": []
1221
+ }