bound


INSTANCE bound#8;
	description = "a discrete, inclusive, lower bound of 0 on person.age";
	kind = lower;
	inclusive = inclusive_or_exclusive(inclusive);
	discrete = discrete_or_continuous(discrete);
	variable = explicit_attribute#290;
	limit = integer_literal#100;
END_INSTANCE;

INSTANCE bound#9;
	description = "a discrete, exclusive, upper bound of 130 on person.age";
	kind = upper;
	inclusive = inclusive_or_exclusive(exclusive);
	discrete = discrete_or_continuous(discrete);
	variable = explicit_attribute#290;
	limit = integer_literal#101;
END_INSTANCE;

INSTANCE bound#10;
	description = "a discrete, inclusive, lower bound of 0 on built_in_constant#97";
	kind = lower;
	inclusive = inclusive_or_exclusive(inclusive);
	discrete = discrete_or_continuous(discrete);
	variable = built_in_constant#97;
	limit = integer_literal#102;
END_INSTANCE;

INSTANCE bound#11;
	description = "a discrete, exclusive, upper bound of 130 on built_in_constant#97";
	kind = upper;
	inclusive = inclusive_or_exclusive(exclusive);
	discrete = discrete_or_continuous(discrete);
	variable = built_in_constant#97;
	limit = integer_literal#103;
END_INSTANCE;