Assertion list for term "note problem".

Results from Ascent++: 1
reviewer CapableOfnote problem 0.21