Assertion list
claw (aspect of lobster ) → HasProperty
Results from Ascent++: 2
claw → HasProperty → clean 0.81
claw → HasProperty → red 0.62