Syntax definition wo

Description: Extend wff definition to include disjunction ("or").

	Ref	Expression
Assertion	wo	wff ( ph \/ ps )