Watson is primarily concerned with the manipulation of terms (as opposed to, say, propositions). This subsection describes the syntax of the term language.