Assertion list
risk (aspect of put ) → HasProperty
Results from Ascent++: 2
risk → HasProperty → unlimited 0.68
risk → HasProperty → high 0.16