Assertion list
soft serve ice cream (subgroup of ice cream ) → IsA
Results from Ascent++: 1
soft serve ice cream → IsA → ice cream 0.25