Assertion list
mastectomy (primary) → HasProperty
Results from Ascent++: 2
mastectomy → HasProperty → necessary 0.46
mastectomy → HasProperty → complete 0.25