Assertion list
sound (aspect of headphone ) → AtLocation
Results from Ascent++: 2
sound → AtLocation → safe level 0.41
sound → AtLocation → the recording 0.26