• defined (variable: <variable name> )
• defined (<identifier>)
• defined (type: <identifier> )
• defined (pou: <pou name>)
• defined (resource: <identifier>)
• defined (task: <task name> )
• defined (IsLittleEndian)
• defined (IsSimulationMode)
• defined (IsFPUSupported)
• hasattribute (pou: <pou name>, ' <attribute name> ')
• hasattribute (variable: <variable name> , ' <attribute name> ')
• hasconstanttype( <constant name> , <boolean literal> )
• hasconstantvalue( <constant name> , <variable name> , <comparison operator> )
• hastype (variable: <variable name>, <data type> )
• hasvalue (<define-ident>, ' <character string> ')
• NOT <operator>
• <operator> AND <operator>
• <operator> OR <operator>
• (<operator>)