Assertion list
sippy cup (subgroup of cup ) → HasProperty
Results from Ascent++: 1
sippy cup → HasProperty → great 0.16