Assertion list
hot toddy (primary) → IsA
Results from Ascent++: 1
hot toddy → IsA → mixed drink 0.60