logical_forms: (infer (strength lower world1) (distance higher world1) (distance higher world2)) (infer (strength lower world2) (distance higher world2) (distance higher world1))
logical_form_pretty: qrel(strength, lower, world1) -> qrel(distance, higher, world1) ; qrel(distance, higher, world2)
question: Mary isn't as strong as Holly. This means that _____ distance. (A) Mary (B) Holly can throw the ball a greater