Assertion list
stretch (primary) → AtLocation
Results from Ascent++: 1
stretch → AtLocation → poor state 0.23