A binary relations schema with CWM semantics. Quite useful, if a bit limited due to CWM's inherent inability to deal with second order logic.Binary relationsAnti-symmetry means p(x,y) & p(y,x) => (x = y).Equivalences are reflexive, transitive and symmetric.Inverse monodromeness means p(x,z) & p(y,z) => x = y. Inverse monodrome relations are one to many.Monodromeness means p(x,y) & p(x,z) => y = z. Monodrome relations are many-to-one.Orders, or partial orders, are reflexive, transitive and anti-symmetric.Reflexivity means p(x,y) => p(x,x) & p(y,y).Relations are properties between resources. Literal properties are disallowed.Symmetry means p(x,y) => p(y,x).Transitivity means p(x,y) & p(y,z) => p(x,z).