attribute-implication public under implication 1 List Picture As a command %3 n0 attribute-implication n1 implication n1->n0