logical_forms: (infer (mass higher world1) (gravity lower world1) (gravity higher world1)) (infer (mass higher world2) (gravity lower world2) (gravity higher world2))
logical_form_pretty: qrel(mass, higher, world1) -> qrel(gravity, lower, world1) ; qrel(gravity, higher, world1)
question: The sun has much more mass than the earth so it has (A) weaker gravity (B) stronger gravity