Syntax definition wpss

Description: Syntax for the proper subclass predicate.

	Ref	Expression
Assertion	wpss	wff A C. B