Assertion list for term "divide with vertical and horizontal line".

Results from Ascent++: 1
circle CapableOfdivide with vertical and horizontal line 0.28