User: Pausiere boxing workout at 8:30 on my fone.
Parse: Pause_exercise ( activity « boxing » device « fone » start_time « 8:30 » )