logical_forms: (infer (distance lower world1) (brightness higher world1) (brightness lower world1)) (infer (distance lower world2) (brightness higher world2) (brightness lower world2))
logical_form_pretty: qrel(distance, lower, world1) -> qrel(brightness, higher, world1) ; qrel(brightness, lower, world1)
question: Miller thinks that a light that he is approaching is very small, since he is quite far away. As he gets closer, he sees that it is a huge spotlight. The light is actually (A) bright (B) dim