antisymmetric-relation public under binary-relation 126 List Picture As a command %3 n0 antisymmetric-relation n2 partial-order n0->n2 n3 strict-order n0->n3 n1 binary-relation n1->n0