Assertion list
vacuum (primary) → IsA
Results from Ascent++: 2
vacuum → IsA → space 0.46
vacuum → IsA → topological space 0.31