identifier
Gen
iff
Prop
ExtendedAny
imply
Prop
ExtendedAny
include
Properties
initialState
Commands