For example, forward application is expressed as follows -for all compex category descriptions Φ and Ψ such that (SLASH b) ∈ Φ, and {φ | (ARG φ) ∈ Φ} ∪ Ψ is compatible, the following is a valid inference: The functionality ratio of the I-CCG lexicon in Table 4 is 14 14 = 1 and the atomicity ratio is 14 14 = 1.
the lexicon is maximally nonredundant, since all the linguistically significant generalisations are encodable within the lexical inheritance hierarchy.