logical_forms: (infer (mass higher world1) (gravity lower world2) (gravity lower world1)) (infer (mass higher world2) (gravity lower world1) (gravity lower world2))
logical_form_pretty: qrel(mass, higher, world1) -> qrel(gravity, lower, world2) ; qrel(gravity, lower, world1)
question: Mars has a greater mass than the moon. Which object will attract fewer objects to it? (A) Moon (B) Mars