the predicates that express events in the controlled activity class. Example: running is a controlled activity event, and run is a controlled activity predicate. (Section 6.3.3)