Syntax definition wlim

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

	Ref	Expression
Assertion	wlim	wff Lim A