Assertion list for term "consist of finite number of parts".

Results from Ascent++: 1
mechanism CapableOfconsist of finite number of parts 0.25