Assertion list
gridlock (primary) → CapableOf
Results from Ascent++: 1
gridlock → CapableOf → go to end in washington 0.25