sentential-function public under mathematical-expression 6 List Picture As a command Nothing is filed under sentential-function.