Assertion list
base (aspect of cleat ) → AtLocation
Results from Ascent++: 1
base → AtLocation → first end 0.68