pretty_print


INSTANCE pretty_print#1;
	text = ["the addends are ", ?addends, ", and the sum is ", ?sum];
END_INSTANCE;

INSTANCE pretty_print#2;
	text = ["ARRAY [", ?lower, " : ", ?upper, "] OF ", ?element_type];
END_INSTANCE;

INSTANCE pretty_print#3;
	text = ["BAG [", ?lower, " : ", ?upper, "] OF ", ?element_type];
END_INSTANCE;

INSTANCE pretty_print#4;
	text = ["a ", ?discrete, ", ", ?inclusive, ", ", ?kind, " bound of ", ?limit, " on ", ?variable];
END_INSTANCE;

INSTANCE pretty_print#5;
	text = [?constrainee, " is constrained to have at most one (optional = ", ?optional, ") of the values ", ?list];
END_INSTANCE;

INSTANCE pretty_print#6;
	text = [?entity_name, ".", ?attribute_name];
END_INSTANCE;

INSTANCE pretty_print#7;
	text = [?entity, " is constrained by the following domain rules: ", ?domain_rules];
END_INSTANCE;

INSTANCE pretty_print#8;
	text = [?entity_name, ".", ?attribute_name];
END_INSTANCE;

INSTANCE pretty_print#9;
	text = [?description];
END_INSTANCE;

INSTANCE pretty_print#10;
	text = ["for all ", ?aggregation, " ", ?variable, ", ", ?proposition];
END_INSTANCE;

INSTANCE pretty_print#11;
	text = ["?"];
END_INSTANCE;

INSTANCE pretty_print#12;
	text = [?literal_value];
END_INSTANCE;

INSTANCE pretty_print#13;
	text = [?entity_name, ".", ?attribute_name];
END_INSTANCE;

INSTANCE pretty_print#14;
	text = ["LIST [", ?lower, " : ", ?upper, "] OF ", ?element_type];
END_INSTANCE;

INSTANCE pretty_print#15;
	text = ["many ", ?source, "s (", ?target_attr, "), many ", ?target, "s (", ?source_attr, ")"];
END_INSTANCE;

INSTANCE pretty_print#16;
	text = ["-", ?operand];
END_INSTANCE;

INSTANCE pretty_print#17;
	text = ["the multiplicands are ", ?multiplicands, ", and the product is ", ?product];
END_INSTANCE;

INSTANCE pretty_print#18;
	text = [?name];
END_INSTANCE;

INSTANCE pretty_print#19;
	text = [?attribute, " must have a value (other than `indeterminate')"];
END_INSTANCE;

INSTANCE pretty_print#20;
	text = ["one ", ?source, " (", ?target_attr, "), many ", ?target, "s (", ?source_attr, ")"];
END_INSTANCE;

INSTANCE pretty_print#21;
	text = ["one ", ?source, " (", ?target_attr, "), one ", ?target, " (", ?source_attr, ")"];
END_INSTANCE;

INSTANCE pretty_print#22;
	text = [?name];
END_INSTANCE;

INSTANCE pretty_print#23;
	text = ["a ", ?discrete, " range constraint on ", ?variable, ", with bounds ", ?bound1, " and ", ?bound2];
END_INSTANCE;

INSTANCE pretty_print#24;
	text = [?literal_value];
END_INSTANCE;

INSTANCE pretty_print#25;
	text = ["1/", ?operand];
END_INSTANCE;

INSTANCE pretty_print#26;
	text = [?name];
END_INSTANCE;

INSTANCE pretty_print#27;
	text = ["SET [", ?lower, " : ", ?upper, "] OF ", ?element_type];
END_INSTANCE;

INSTANCE pretty_print#28;
	text = ["there exists a ", ?variable, " in ", ?aggregation, " such that ", ?proposition];
END_INSTANCE;

INSTANCE pretty_print#29;
	text = ["the value of ", ?attribute, " must be of type ", ?type];
END_INSTANCE;