logical_forms: (infer (distance higher world1) (strength higher world2) (strength higher world1)) (infer (distance higher world2) (strength higher world1) (strength higher world2))
logical_form_pretty: qrel(distance, higher, world1) -> qrel(strength, higher, world2) ; qrel(strength, higher, world1)
question: Billy and Bob both threw tomatoes at the performers on the stage.  Billy's throws always hit an actor, but Bob's throws often fell short of the stage. That's because (A) Bob is stronger than Billy (B) Billy is stronger than Bob