Assertion list
frigate (primary) → HasA
Results from Ascent++: 2
frigate → HasA → hangar 0.36
frigate → HasA → a flight deck 0.31