Assertion list
cafeteria (primary) → IsA
Results from Ascent++: 1
cafeteria → IsA → restaurant 0.28