Assertion list for term "cut into four equal triangles".

Results from Ascent++: 1
triangle CapableOfcut into four equal triangles 0.25