logical_forms: (infer (and (speed high world1) (speed low world2)) (distance higher world1) (distance higher world2)) (infer (and (speed high world2) (speed low world1)) (distance higher world2) (distance higher world1))
logical_form_pretty: qval(speed, high, world1), qval(speed, low, world2) -> qrel(distance, higher, world1) ; qrel(distance, higher, world2)
question: Jim can ride his bike very quickly, but Jen is still learning how to ride a bike, so she is not as fast. If they both ride their bikes for the same amount of time, the person who travels further is (A) Jim (B) Jen