Assertion list
tailor (primary) → AtLocation
Results from Ascent++: 1
tailor → AtLocation → good numbers 0.16