Sakura parse tree nodes definitions statement: When[Event, statement] statement: Choice[List(Guardedcommand)] statement: On[Event, statement, statement] statement: Parallel[List(statement)] Guardedcommand[Event, statement]