Assertion list
skin (aspect of caterpillar ) → HasProperty
Results from Ascent++: 1
skin → HasProperty → tough 0.22