| 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 |