Assertion list for term "unfun".
Results from Ascent++: 1
format → HasProperty → unfun 0.25