Assertion list
skink (primary) → HasA
Results from Ascent++: 1
skink → HasA → smooth scales 0.25