Assertion list
risk (aspect of portfolio ) → IsA

Results from Ascent++: 1
riskIsA the probability 0.24