| #Name | Arguments | OutputActions | ID |
| --- | --- | --- | --- |
| #Check actions: |
| check_a | Animal | | 1 | |
| check_b | Animal, Color | | 2 | |
| #State change actions: |
| state_change_a | Animal | | 3 | |
| state_change_b | AnimalLess, Color | | 4 | |
| #Parameterized actions. |
| changes | Animal | state_change_a($1) & state_change_b($1, Green) | 5 | |
| checks | | check_a(Chicken) & check_b(Chicken, Green) | 6 | |