Assertion list
knife (aspect of butcher ) → HasA
Results from Ascent++: 1
knife → HasA → comfortable non-slip handle 0.16