logical_forms: (infer (and (speed high world1) (speed low world2)) (time lower world1) (time lower world2)) (infer (and (speed high world2) (speed low world1)) (time lower world2) (time lower world1))
logical_form_pretty: qval(speed, high, world1), qval(speed, low, world2) -> qrel(time, lower, world1) ; qrel(time, lower, world2)
question: John rides the bullet train from Tokyo to Kyoto and Jim rides the same path on his bicycle. Which person will spend less time making the trip? (A) John (B) Jim