Assertion list
second space (subgroup of space ) → IsA

Results from Ascent++: 1
second spaceIsA space 0.68