Assertion list
cleat (primary) → AtLocation
Results from Ascent++: 2
cleat → AtLocation → the middle of the sole 0.47
cleat → AtLocation → the mid 0.30