existential-quantifier public under quantifier 2 List Picture As a command %3 n0 existential-quantifier n1 quantifier n1->n0