Assertion list
carapace (aspect of turtle ) → HasA
Results from Ascent++: 1
carapace → HasA → various color patterns 0.37