Assertion list
smuggler (primary) → HasA
Results from Ascent++: 1
smuggler → HasA → flight 0.16