bound


INSTANCE bound#8;
	extracted_from = {comparator#8};
	covers = comparator#8;
	description = "a discrete, inclusive, lower bound of 0 on person.age";
	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#105;
END_INSTANCE;

INSTANCE bound#9;
	extracted_from = {comparator#9};
	covers = comparator#9;
	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#106;
END_INSTANCE;

INSTANCE bound#10;
	extracted_from = {comparator#10};
	covers = comparator#10;
	description = "a discrete, exclusive, upper bound of 65 on person.age";
	hlcs_extracted = {range#5}; (* set indirectly *)
	kind = upper;
	inclusive = inclusive_or_exclusive(exclusive);
	discrete = discrete_or_continuous(discrete);
	variable = explicit_attribute#310;
	limit = integer_literal#112;
END_INSTANCE;

INSTANCE bound#11;
	extracted_from = {comparator#11};
	covers = comparator#11;
	description = "a discrete, inclusive, lower bound of 18 on person.age";
	hlcs_extracted = {range#5}; (* set indirectly *)
	kind = lower;
	inclusive = inclusive_or_exclusive(inclusive);
	discrete = discrete_or_continuous(discrete);
	variable = explicit_attribute#310;
	limit = integer_literal#113;
END_INSTANCE;