Assertion list for term "the functions of the program".

Results from Ascent++: 1
apparatus HasAthe functions of the program 0.28