1

Точка p1 задана координатами -451.5 и -82 .

Согласование простое

2

Окружность d1 задана центром p1 и радиусом 199.18082 .

Согласование простое

3

Прямая o1 задана координатами двух точек: X1= -29.5 , Y1= -154 , X2= 70.5 , Y2= -154 .

Согласование простое

4

Величина n есть 12 .

Согласование простое

5

Точка p2 принадлежит объекту d1 с параметром принадлежности [0~1~n] .

Согласование множественное - окружность одна, а параметров принадлежности много

6

Окружность d2 задана центром p2 и радиусом 305.76386 .

Согласование множественное - точек много, а величина радиуса одна

7

Точки p7 и p8 есть пересечение прямой o1 и окружности d2 .

Согласование множественное - прямая одна, а окружностей много

8

Прямая o2 задана точками p7 и p2 .

Согласование простое - каждой точке из p7 соответствуетсвоя точка из p2

9

Точка p9 принадлежит объекту o2 с параметром принадлежности 0.44426107 .

Согласование множественное - прямых много, а параметр принадлежности один

10

Прямая o3 проведена через точку p9 под углом rect к прямой o2 .

Согласование комбинированное: mu(3,no(1,2)). В данной функции первый параметр - прямая, второй - точка, третий - величина угла. Прямых и точек много и они соответствуют друг другу, поэтому между этими параметрами - первым и вторым - устанавливается простое согласование no(1,2). Можно считать что образовалось множество пар вида прямая-точка. Но этим парам, которых много, соответствует единственное число rect, равное 90. Поэтому между парами и этим числом (третьим по счету параметром) следует установить множественное согласование: mu(3,no(1,2)).

11

Точка p10 принадлежит объекту o3 с параметром принадлежности -1.966 .

Согласование множественное. Прямых много, а число одно.

12

Прямая o4 задана точками p10 и p10 .

Согласование сдвиговое. Каждая точка множества соединяется со следующей точкой этого множества.