User: Pause Decathlon workout at 9:30.
Parse: Pause_exercise ( provider « Decathlon » start_time « 9:30 » )