Assertion list
renin (primary) → HasProperty
Results from Ascent++: 1
renin → HasProperty → low 0.25