Assertion list
lockdown (primary) → CapableOf
Results from Ascent++: 1
lockdown → CapableOf → remain in effect 0.29