Assertion list
charlotte (primary) → IsA
Results from Ascent++: 1
charlotte → IsA → dessert 0.29