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