strict-order public under antisymmetric-relation 7, transitive-relation 11 List Picture As a command %3 n0 strict-order n1 antisymmetric-relation n1->n0 n2 transitive-relation n2->n0