subsumption public under logical-relation 17 List Picture As a command %3 n0 subsumption n1 logical-relation n1->n0