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: A car and a bus are both driving 60 mph, but the car drives longer then the bus. Which vehicle travelled the greater distance? (A) car (B) bus