on tau, advanced users define languages, and normal users use (speak) those languages.
to define languages one needs to know to define a context free grammar (the syntax part) and then to write logical formulas that express which relations are implied from derivation trees (the semantics part).
any knowledge about how compilers are built can be useful.

it is all about formal languages. the platform is not intended to support natural languages