logical_forms: (infer (and (strength high world1) (strength low world2)) (distance higher world1) (distance higher world2)) (infer (and (strength high world2) (strength low world1)) (distance higher world2) (distance higher world1))
logical_form_pretty: qval(strength, high, world1), qval(strength, low, world2) -> qrel(distance, higher, world1) ; qrel(distance, higher, world2)
question: The strongman, who is very strong, and bearded lady, who is not so strong, at the circus are playing a game. They each throw a Weight as far as they can. Who can throw it farthest? (A) strongman (B) bearded lady