interval-order public under partial-order 5 List Picture As a command %3 n0 interval-order n1 partial-order n1->n0