Assertion list for term "hold for function".

Results from Ascent++: 1
predicate CapableOfhold for function 0.28