Assertion list for term "eight modules".
Results from Ascent++: 1
academy → HasA → eight modules 0.25