Assertion list
leg (aspect of shrimp ) → HasProperty
Results from Ascent++: 2
leg → HasProperty → red 0.68
leg → HasProperty → white 0.25