bound
INSTANCE bound#8;
extracted_from = {comparator#8};
covers = comparator#8;
description = "a discrete, inclusive, lower bound of 0 on person.age";
corresponds_to = {correspondence#4};
kind = lower;
inclusive = inclusive_or_exclusive(inclusive);
discrete = discrete_or_continuous(discrete);
variable = explicit_attribute#291;
limit = integer_literal#97;
END_INSTANCE;
INSTANCE bound#9;
extracted_from = {comparator#9};
covers = comparator#9;
description = "a discrete, inclusive, lower bound of 0 on person.age";
corresponds_to = {correspondence#4};
hlcs_extracted = {range#4}; (* set indirectly *)
kind = lower;
inclusive = inclusive_or_exclusive(inclusive);
discrete = discrete_or_continuous(discrete);
variable = explicit_attribute#293;
limit = integer_literal#98;
END_INSTANCE;
INSTANCE bound#10;
extracted_from = {comparator#10};
covers = comparator#10;
description = "a discrete, exclusive, upper bound of 130 on person.age";
hlcs_extracted = {range#4}; (* set indirectly *)
kind = upper;
inclusive = inclusive_or_exclusive(exclusive);
discrete = discrete_or_continuous(discrete);
variable = explicit_attribute#293;
limit = integer_literal#99;
END_INSTANCE;