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;