Assertion list
starship (primary) → HasA
Results from Ascent++: 1
starship → HasA → seven raptor engines 0.25