The abstract categorial grammars (ACGs, for short) are a type-theoretic grammatical formalism intended for the description
of natural languages [1]. It is based on the implicative fragment of multiplicative linear logic, which results in a rather
simple framework.