Assertion list for term "separate the two sides".

Results from Ascent++: 1
goal CapableOfseparate the two sides 0.29