induced-subgraph public under subgraph 13 List Picture As a command %3 n0 induced-subgraph n2 graph-clique n0->n2 n3 independent-set n0->n3 n1 subgraph n1->n0