Assertion list
function (aspect of jury ) → HasProperty
Results from Ascent++: 1
function → HasProperty → essential 0.25