Assertion list
puncture (primary) → HasProperty
Results from Ascent++: 6
puncture → HasProperty → small 0.53
puncture → HasProperty → deep 0.46
puncture → HasProperty → big 0.31
puncture → HasProperty → inevitable 0.25
puncture → HasProperty → distal 0.16
puncture → HasProperty → easier 0.16