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;

INSTANCE range#2;
	extracted_from = {bound#19, bound#20};
	conjunct_of = conjunction#5;
	lower_bound = bound#19;
	upper_bound = bound#20;
	variable = explicit_attribute#119;
END_INSTANCE;