logical_forms: (infer (and (distance low world1) (distance high world2)) (loudness higher world1) (loudness higher world2)) (infer (and (distance low world2) (distance high world1)) (loudness higher world2) (loudness higher world1))
logical_form_pretty: qval(distance, low, world1), qval(distance, high, world2) -> qrel(loudness, higher, world1) ; qrel(loudness, higher, world2)
question: Which would be easier to hear (A) a helicopter you are about to board or (B) a helicopter that is flying far away.