Assertion list for term "all of them".

Results from Ascent++: 1
cleaner HasAall of them 0.16