Assertion list
claw (aspect of wolverine ) → HasProperty
Results from Ascent++: 2
claw → HasProperty → sharp 0.25
claw → HasProperty → useful 0.25