Assertion list
pause (primary) → CapableOf
Results from Ascent++: 1
pause → CapableOf → prolong the war 0.16