logical_forms: (infer (gravity higher world1) (mass higher world1) (mass higher world2)) (infer (gravity higher world2) (mass higher world2) (mass higher world1))
logical_form_pretty: qrel(gravity, higher, world1) -> qrel(mass, higher, world1) ; qrel(mass, higher, world2)
question: Why does Saturn have more gravitational pull than the moon? (A) Saturn has a larger mass (B) The moon is made of cheese