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;