Assertion list
sketch (primary) → HasA
Results from Ascent++: 2
sketch → HasA → page 0.25
sketch → HasA → feature 0.20