ГОСТ Р ИС0 18629-41—2011
(forall (?s1 ?s2 ?а) (iff(ordertree ?s1 ?s2 ?a)
(and (monojree ?s1 ?s2 ?a)
(forall (?s3 ?s4 ?s5 ?s6)
(implies (and (min_precedes ?s1 ?s3 ?a)
(min_precedes ?s2 ?s4 ?a)
(cousin ?s3 ?s4 ?a)
(min_precedes ?s3 ?s5 ?a)
(cousin ?s5 ?s6 ?a))
(iff(iso_occ ?s3 ?s5)
(iso_occ ?s4 ?s6)))))))
8.5.3 Root_automorphic
Два события наодном и том жедереве автоморфны корнями тогда и толькотогда, когда для каждого
события существует набор событий, являющихся корнями изоморфных поддеревьев.
(forall (?ocd ?occ2)(iff(root_automorphic?occ1 ?осс2)
(exists (?а ?s1 ?s2)
(and (occurrence_of ?occ1 ?a)
(occurrence_of ?occ2?a)
(subactivity_occurrence ?s1 ?occ1)
(subactivity_occurrence ?s2 ?occ2)
(orderjree ?s1 ?s2?a)
(orderjree ?s2 ?s1 ?a)))))
8.5.4 Ordered
Событие является упорядоченным тогда и только тогда, когда оно автоморфно корнями со всеми
прочими корневыми подсобытиями на этом жедереве.
(forall (?ocd ?occ2)(iff(root_automorphic?occ1 ?осс2)
(exists (?а ?s1 ?s2)
(and (occurrence_of ?ocd ?a)
(occurrence_of ?occ2 ?a)
(subactivityoccurrence ?s1 ?occ1)
(subactivity_occurrence ?s2 ?occ2)
(order Jree?s1 ?s2 ?a)
(order_tree ?s2?s1 ?a)))))
8.5.5 Nondet_ordered
Событие является недетерминировано упорядоченным тогда итолькотогда, когдакаждоесобытие на
деревеавтоморфно корнями с некоторым другим корневым событием надереве.
(forall (?ocd)(iff(nondet_ordered ?осс
1
)
(forall (?осс2)
(implies (same_grove?ocd ?осс2)
(exists (?оссЗ)
(and (same_grove ?осс1 ?оссЗ)
(not(= ?оссЗ ?осс2))
(root_automorphic ?осс2 ?оссЗ)))))))
8.5.6 Brokon_ordored
Некотороедействие имеет сломанный (нарушенный) порядок тогда итолько тогда, когда на одном и
томже дереве существуют события, автоморфныекорнями некоторым другим корневым подсобытиям на
нем. а также существуют корневые события, неавтоморфные корнями каким-либо другим корневым подсо
бытиям.
(forall (?ocd)(iff(broke n_ordered ?осс1)
(exists (?осс2)
(and (same_grove ?occ1 ?occ2)
(not (= ?occ1 ?occ2))
(root_automorphic?occ1 ?occ2)
(forall (?occ3)
(implies (and (same_grove ?occ3 ?occ1)
(not(= ?occ3 ?occ2))
(not (root_automorphic ?ooc3 ?occ2))))))))
11