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;