One of the many roles of linguistics is to address the semantics of natural languages, that is, the meaning of sentences in natural languages. An important part of the meaning of sentences can be characterized by stating the conditions that need to hold fo

new sequents from other sequents:

In other words,if can concatenate into an expression with category,and if can concatenate into an expression with category,then can concatenate into with category.

For example,the following is a derivation of Tarzan likes Jane.