Syntax PRIsM

Syntax PRIsM