Assertion list for term "allow smaller components of the solution".

Results from Ascent++: 1
membrane CapableOfallow smaller components of the solution 0.44