Упорядоченные свойства

При задании множества по умолчанию подразумевается, что указывается размер задаваемого множества. Однако программа построена так, что вычислять можно любую функцию от задаваемого множества – лишь бы эту функцию можно было распознать при синтаксическом разборе.

В настоящий момент, помимо размера множества, реализована функция порядкового номера свойства в указанном множестве. Например, нужно указать, что "Вася пришел к финишу раньше Пети". Здесь свойство "место" имеет подузлы "место[первое]", "место[второе]" и т.д. – по количеству участников. Тогда вышеуказанное условие задается с помощью символа "^":

Единственное условие на задание порядка свойства: нумерация свойств будет производится в порядке их появления в предложении, т.е. чтобы свойство "место[первое]" имело порядковый номер меньше, чем свойство "место[второе]", нужно, чтобы первое появилось в предложении раньше второго.