Assertion list for term "treat colon".

Results from Ascent++: 1
proof CapableOftreat colon 0.31