Assertion list
fingertip (primary) → HasA
Results from Ascent++: 1
fingertip → HasA → slight amount of overlap 0.25