Assertion list
sippy cup (subgroup of cup ) → CapableOf
Results from Ascent++: 1
sippy cup → CapableOf → eliminate mess 0.16