Assertion list for term "four different modules".

Results from Ascent++: 1
expansion HasAfour different modules 0.28