logical_forms: (infer (and (mass high world1) (mass low world2)) (gravity higher world1) (gravity higher world2)) (infer (and (mass high world2) (mass low world1)) (gravity higher world2) (gravity higher world1))
logical_form_pretty: qval(mass, high, world1), qval(mass, low, world2) -> qrel(gravity, higher, world1) ; qrel(gravity, higher, world2)
question: If a comet flies halfway between the sun and the Earth, in which direction is it more likely to be pulled? (A) towards the sun (B) towards the Earth