Assertion list
canteen (primary) → IsA
Results from Ascent++: 1
canteen → IsA → restaurant 0.20