logical_forms: (infer (strength lower world1) (distance higher world2) (distance higher world1)) (infer (strength lower world2) (distance higher world1) (distance higher world2))
logical_form_pretty: qrel(strength, lower, world1) -> qrel(distance, higher, world2) ; qrel(distance, higher, world1)
question: Mary has always been weaker then Jimbo. Which person is able to throw a ball farther? (A) Jimbo (B) Mary