What are definitional assertions?
Definitional assertions constrain the use and meaning of some sonstant. They are those GAFs (Ground Atomic Formulas) which have a definitional predicate in their arg 0 slot.
Definitional predicates are those predicates which are used to constrain other arguments. So, for example, the following are definitional predicates:
These predicates can be used to make the following definitional assertions about #$Animal: