Assertion list
handle (aspect of kettle ) → HasA
Results from Ascent++: 1
handle → HasA → rivet 0.25