inclusive_disjunction



INSTANCE inclusive_disjunction#1;
END_INSTANCE;