Assertion list
cusp (primary) → HasA

Results from Ascent++: 1
cuspHasA varying cross 0.25