Syntax definition cspthson

Description: Extend class notation with simple paths between two vertices (within a graph).

	Ref	Expression
Assertion	cspthson	class SPathsOn