Assertion list for term "three treads".

Results from Ascent++: 1
size HasAthree treads 0.31