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