Assertion list
lockdown (primary) → HasProperty
Results from Ascent++: 2
lockdown → HasProperty → necessary 0.32
lockdown → HasProperty → real 0.32