Syntax definition wa

Description: Extend wff definition to include conjunction ("and").

	Ref	Expression
Assertion	wa	wff ( ph /\ ps )