Assertion list
capitulation (primary) → HasProperty
Results from Ascent++: 1
capitulation → HasProperty → unconditional 0.68