Assertion list
saucepan (primary) → HasA
Results from Ascent++: 2
saucepan → HasA → one long handle 0.41
saucepan → HasA → side 0.25