inclusive_disjunction
INSTANCE
inclusive_disjunction
#1; END_INSTANCE;