Assertion list
foreskin (primary) → HasProperty
Results from Ascent++: 2
foreskin → HasProperty → tight 0.75
foreskin → HasProperty → healthy 0.16