Assertion list
cold war (primary) → HasA

Results from Ascent++: 1
cold warHasA limited recourse 0.16