Assertion list for term "make notation".

Results from Ascent++: 1
clerk CapableOfmake notation 0.39