Assertion list
fresh pineapple (subgroup of pineapple ) → HasProperty
Results from Ascent++: 1
fresh pineapple → HasProperty → expensive 0.19