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