Assertion list
tenor (primary) → AtLocation
Results from Ascent++: 1
tenor → AtLocation → tune 0.25