Assertion list
prolapse (primary) → HasProperty
Results from Ascent++: 2
prolapse → HasProperty → small 0.68
prolapse → HasProperty → large 0.25