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