disjunction
INSTANCE
disjunction
#1;
disjuncts
= ?d; END_INSTANCE;