Assertion list
sound wave (primary) → AtLocation
Results from Ascent++: 1
sound wave → AtLocation → phase 0.56