Assertion list
coat (aspect of dingo ) → HasProperty
Results from Ascent++: 2
coat → HasProperty → soft 0.68
coat → HasProperty → short 0.25