Assertion list for term "represent dichotomy".

Results from Ascent++: 1
triangle CapableOfrepresent dichotomy 0.29