logical_forms: (infer (and (brightness low world1) (brightness high world2)) (distance lower world1) (distance higher world1)) (infer (and (brightness low world2) (brightness high world1)) (distance lower world2) (distance higher world2))
logical_form_pretty: qval(brightness, low, world1), qval(brightness, high, world2) -> qrel(distance, lower, world1) ; qrel(distance, higher, world1)
question: Jane  sees two stars directly overhead. One of them appears quite bright and the other one is dim. Why? (A) the dim one is a lot closer (B) the dim one is further away