Assertion list
function (aspect of appendix ) → HasProperty
Results from Ascent++: 1
function → HasProperty → unknown 0.58