logical_forms: (infer (speed lower world1) (time higher world1) (time lower world1)) (infer (speed lower world2) (time higher world2) (time lower world2))
logical_form_pretty: qrel(speed, lower, world1) -> qrel(time, higher, world1) ; qrel(time, lower, world1)
question: The tank is much slower than the fighter jet. Supposing they both had to travel a set distance (A) the tank will take more time than the jet to make that journey (B) the tank will take less time than the jet to take that journey