| absent | Check if an activity is absent from a case | 
| and | Check for co-existence of two activities | 
| check_rule | Check declarative rules. | 
| check_rules | Check multiple declarative rules. | 
| contains | Check if activity is present (contained) in a case | 
| contains_between | Check if activity is present (contained) in a case between min and max number of times | 
| contains_exactly | Check if activity is present (contained) in a case for exactly n times | 
| ends | Check if cases end with an activity. | 
| filter_rules | Filter using declarative rules. | 
| precedence | Check for precedence between two activities. | 
| processcheckR | processcheckR - Check rules in event data | 
| responded_existence | Check for responded existence between two activity | 
| response | Check for response between two activities | 
| starts | Check if cases start with an activity | 
| succession | Check succession between two activities | 
| xor | Check for exclusiveness of two activities |