disjunction



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