logical_forms: (infer (strength higher world1) (distance higher world1) (distance higher world2)) (infer (strength higher world2) (distance higher world2) (distance higher world1))
logical_form_pretty: qrel(strength, higher, world1) -> qrel(distance, higher, world1) ; qrel(distance, higher, world2)
question: Connie is a lot stronger then Jerry. If they both threw a softball, which would throw it the greater distance? (A) Connie (B) Jerry