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: The mass of Mars is less than the mass of Neptune. If a brick is dropped from 1 mile up on each planet, where will it fall the fastest? (A) Mars (B) Neptune