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