Assertion list
housekeeper (primary) → HasA
Results from Ascent++: 1
housekeeper → HasA → a number of functions 0.25