logical_forms: (infer (and (distance low world1) (distance high world2)) (brightness higher world1) (brightness higher world2)) (infer (and (distance low world2) (distance high world1)) (brightness higher world2) (brightness higher world1))
logical_form_pretty: qval(distance, low, world1), qval(distance, high, world2) -> qrel(brightness, higher, world1) ; qrel(brightness, higher, world2)
question: When Bill was driving last night he noticed that the street lights that were close to him appeared _____ than the ones that were in the distance (A) brighter (B) dimmer