Assertion list for term "many programs".
Results from Ascent++: 1
library → HasA → many programs 0.32