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;