A constant can have multiple partial definitions, each of which restricts the
possible denotations of the constant. All the definitions of a constant must
declare the constant to be the same category; i.e., they must all use the same
operator - `defobject`, `deffunction`, or `defrelation`. The defining
axioms specified by partial definitions can be either unrestricted or optionally
required to be conservative extensions to the language.

Wed Dec 7 13:23:42 PST 1994