graph-clique public under complete-graph 1, induced-subgraph 2 List Picture As a command %3 n0 graph-clique n1 complete-graph n1->n0 n2 induced-subgraph n2->n0