Assertion list for term "nonempty".
Results from Ascent++: 3
set → HasProperty → nonempty 0.37
sequence → HasProperty → nonempty 0.29
spectrum → HasProperty → nonempty 0.25