Assertion list
space shuttle (primary) → IsA
Results from Ascent++: 1
space shuttle → IsA → spacecraft 0.45