Assertion list
hamburger (primary) → IsA
Results from Ascent++: 2
hamburger → IsA → sandwich 0.78
hamburger → IsA → a meat patty 0.25