logical_forms: (infer (strength higher world1) (distance higher world1) (distance lower world1)) (infer (strength higher world2) (distance higher world2) (distance lower world2))
logical_form_pretty: qrel(strength, higher, world1) -> qrel(distance, higher, world1) ; qrel(distance, lower, world1)
question: Henry is playing with his younger brother.  Henry is bigger and stronger and he can throw the ball (A) farther (B) not as far.