Syntax definition csat

Description: The satisfaction function.

	Ref	Expression
Assertion	csat	$$class\mathrm{Sat}$$