logical_forms: (infer (speed higher world1) (time lower world2) (time lower world1)) (infer (speed higher world2) (time lower world1) (time lower world2))
logical_form_pretty: qrel(speed, higher, world1) -> qrel(time, lower, world2) ; qrel(time, lower, world1)
question: Henry was so happy to have his new car because it made his commute so much quicker! Unlike the bus, with all the extra time needed for its endless stops and starts, the ride to work in his car was super speedy! Which vehicle gets Henry to work faster? (A) The bus (B) The car