Table 1: Colbert statements: (a) control actions; (b) activity state tests; (c) internal state actions; (d) sequencing actions.