Assertion list
oreo cookie (subgroup of cookie ) → IsA
Results from Ascent++: 1
oreo cookie → IsA → example 0.68