subexpression_case


INSTANCE subexpression_case#1;
	description = "A case for walking the conjuncts of a conjunction";
	problem = conjunction#3;
	solution = submit#17;
	language = express;
	filename = "CASES/EXPRESS/SUBEXPRESSION/subexpression-conjunction.filc";
END_INSTANCE;

INSTANCE subexpression_case#2;
	description = "A case for walking the disjuncts of a disjunction";
	problem = disjunction#1;
	solution = submit#18;
	language = express;
	filename = "CASES/EXPRESS/SUBEXPRESSION/subexpression-disjunction.filc";
END_INSTANCE;