Assertion list
coat (aspect of pointer ) → HasProperty
Results from Ascent++: 2
coat → HasProperty → wavy 0.51
coat → HasProperty → black 0.25