Assertion list
strainer (primary) → HasA
Results from Ascent++: 1
strainer → HasA → hole 0.22