PARENT PARENT STATE1 $initial_state STATE2 [guard2] [guard 1] do / stuff