Assertion list for term "function as one or more upper bounds".

Results from Ascent++: 1
boundary CapableOffunction as one or more upper bounds 0.34