Assertion list
ransom (primary) → HasProperty
Results from Ascent++: 2
ransom → HasProperty → high 0.34
ransom → HasProperty → large 0.16