logical-disjunction public under logical-connective 4 List Picture As a command %3 n0 logical-disjunction n1 logical-connective n1->n0