logical_forms: (infer (time lower world1) (distance lower world1) (distance lower world2)) (infer (time lower world2) (distance lower world2) (distance lower world1))
logical_form_pretty: qrel(time, lower, world1) -> qrel(distance, lower, world1) ; qrel(distance, lower, world2)
question: A pickup and a van are both driving on the highway at 60 mph. If the pickup pulls off at an exit and stops sooner then the van, which vehicle would have traveled the shorter distance? (A) pickup (B) van