Assertion list for term "function on many levels".

Results from Ascent++: 1
mantra CapableOffunction on many levels 0.16