Assertion list
negative space (subgroup of space ) → IsA

Results from Ascent++: 1
negative spaceIsA the space 0.56