Assertion list
fresh mango (subgroup of mango ) → HasProperty
Results from Ascent++: 1
fresh mango → HasProperty → rich 0.16