show/hide this revision's text 1 [made Community Wiki]

Geometry seems like a natural source, e.g., colinearity of three points. Or how about, for three non-colinear points, clockwise(p,q,r) if the path going through p, q, and then r runs clockwise on the circle whose circumference they lie on? It seems unintuitive to me to try to break up this relation into binary functions and relations.