Assertion list
function (primary) → IsA
Results from Ascent++: 2
function → IsA → relation 0.55
function → IsA → duty 0.37