Assertion list for term "divide their properties".

Results from Ascent++: 1
fence CapableOfdivide their properties 0.24