Assertion list for term "known function".

Results from Ascent++: 3
appendix HasAknown function 0.47
cog HasAknown function 0.25
silver HasAknown function 0.23