logical_forms: (infer (distance lower world1) (apparentSize higher world1) (apparentSize higher world2)) (infer (distance lower world2) (apparentSize higher world2) (apparentSize higher world1))
logical_form_pretty: qrel(distance, lower, world1) -> qrel(apparentSize, higher, world1) ; qrel(apparentSize, higher, world2)
question: The Sun is closer to the Earth then the nearest star. Which object looks bigger to someone standing on the Earth looking up? (A) Sun (B) Star