Assertion list
drop menu (subgroup of menu ) → HasProperty
Results from Ascent++: 1
drop menu → HasProperty → nice 0.16