Syntax definition cspths

Description: Extend class notation with simple paths (of a graph).

	Ref	Expression
Assertion	cspths	$$class\mathrm{SPaths}$$