feature public under property 35 List Picture As a command %3 n0 feature n2 invariant n0->n2 n1 property n1->n0