Assertion list
condor (primary) → HasA
Results from Ascent++: 2
condor → HasA → cheap flights 0.22
condor → HasA → stable true flight 0.22