logical_forms: (infer (and (distance low world1) (distance high world2)) (loudness higher world2) (loudness higher world1)) (infer (and (distance low world2) (distance high world1)) (loudness higher world1) (loudness higher world2))
logical_form_pretty: qval(distance, low, world1), qval(distance, high, world2) -> qrel(loudness, higher, world2) ; qrel(loudness, higher, world1)
question: Mike is a concert listening to a performance. The orchestra is arrayed in front of him, with the bongos nearby and the snare in the back. Which drum will sound louder to him? (A) snare (B) bongo