logical_forms: (infer (distance higher world1) (brightness higher world1) (brightness lower world1)) (infer (distance higher world2) (brightness higher world2) (brightness lower world2))
logical_form_pretty: qrel(distance, higher, world1) -> qrel(brightness, higher, world1) ; qrel(brightness, lower, world1)
question: Jack is in the forest and sees a light shining in the distance. He moves closer to it. When is the light dimmer? (A) when the light is closer (B) when the light is further away