Assertion list
protrusion (primary) → AtLocation
Results from Ascent++: 1
protrusion → AtLocation → the cavity 0.40