upper-set public under subset 6 List Picture As a command %3 n0 upper-set n2 order-filter n0->n2 n1 subset n1->n0