range


INSTANCE range#1;
	extracted_from = {bound#17, bound#18};
	conjunct_of = conjunction#2;
	lower_bound = bound#17;
	upper_bound = bound#18;
	variable = ?variable;
END_INSTANCE;