logical_forms: (infer (mass lower world1) (gravity higher world1) (gravity higher world2)) (infer (mass lower world2) (gravity higher world2) (gravity higher world1))
logical_form_pretty: qrel(mass, lower, world1) -> qrel(gravity, higher, world1) ; qrel(gravity, higher, world2)
question: Mercury has a smaller mass then Mars. This means that (A) Mercury (B) Mars emits a greater gravitational field