quantifier public under logical-operation 9 List Picture As a command %3 n0 quantifier n2 existential-quantifier n0->n2 n3 universal-quantifier n0->n3 n1 logical-operation n1->n0