Assertion list
nasa space shuttle (subgroup of space shuttle ) → CapableOf
Results from Ascent++: 1
nasa space shuttle → CapableOf → reenter 0.68