Assertion list
pair (aspect of shrimp ) → HasA
Results from Ascent++: 1
pair → HasA → claw 0.66