Assertion list for term "17 parts".

Results from Ascent++: 1
set HasA17 parts 0.30