logical_forms: (infer (speed higher world1) (distance higher world2) (distance higher world1)) (infer (speed higher world2) (distance higher world1) (distance higher world2))
logical_form_pretty: qrel(speed, higher, world1) -> qrel(distance, higher, world2) ; qrel(distance, higher, world1)
question: Jim and Bob are running on the track.  Jim has a hurt knee and can't run as fast.  After a half hour, who has run further? (A) Jim (B) Bob