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;