Assertion list
cheeseburger (primary) → IsA
Results from Ascent++: 2
cheeseburger → IsA → hamburger 0.38
cheeseburger → IsA → sandwich 0.30