#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