Assertion list for term "undivide family".

Results from Ascent++: 1
deduction CapableOfundivide family 0.15