logical-consequence public under logical-relation 17 List Picture As a command %3 n0 logical-consequence n1 logical-relation n1->n0