Assertion list
coat (aspect of cur ) → HasProperty
Results from Ascent++: 1
coat → HasProperty → short 0.59