Assertion list for term "function with information".

Results from Ascent++: 1
hardware CapableOffunction with information 0.28