Assertion list
risk (aspect of circumcision ) → HasProperty

Results from Ascent++: 2
riskHasProperty low 0.68
riskHasProperty higher 0.59