Assertion list
cafe (primary) → IsA
Results from Ascent++: 2
cafe → IsA → space 0.31
cafe → IsA → under construction 0.25