Assertion list
claw (aspect of lobster ) → ReceivesAction
Results from Ascent++: 2
claw → ReceivesAction → removed 0.55
claw → ReceivesAction → banded 0.52