Assertion list
printer ink (subgroup of ink ) → HasProperty
Results from Ascent++: 1
printer ink → HasProperty → expensive 0.75