Assertion list
white chocolate (primary) → IsA
Results from Ascent++: 1
white chocolate → IsA → chocolate 0.50