Assertion list
space station (primary) → IsA
Results from Ascent++: 1
space station → IsA → spacecraft 0.46