Assertion list
fresh manure (subgroup of manure ) → HasProperty
Results from Ascent++: 1
fresh manure → HasProperty → hot 0.59