Assertion list
coat (aspect of eskimo dog ) → HasProperty
Results from Ascent++: 1
coat → HasProperty → shiny 0.59