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: Tom and Jim are brothers.  Tom is thirteen and Jim is six.  Tom is much bigger.  They go out to throw rocks at the lake.  Who can throw them farther?  (A) Tom (B) Jim