sentential-function public under mathematical-expression 6 List Picture As a command %3 n0 sentential-function n1 mathematical-expression n1->n0