logical_forms: (infer (time higher world1) (distance higher world1) (distance higher world2)) (infer (time higher world2) (distance higher world2) (distance higher world1))
logical_form_pretty: qrel(time, higher, world1) -> qrel(distance, higher, world1) ; qrel(distance, higher, world2)
question: Mike rode his skateboard and his rollerblades one after the other. He rode them both at the same speed, but he rode the skateboard for a longer amount of time. Which method made him travel the greater distance? (A) skateboard (B) rollerblades