Syntax definition word

Description: Extend the definition of a wff to include the ordinal predicate.

	Ref	Expression
Assertion	word	$$wff\mathrm{Ord}A$$