We specify the types and internal contents .
for nouns and adjectives as shown here: noun types are functions from individual justification rules r ∈ I into a set of justifications that an individual satisfying r is of the type N (or ∅, if there is no such justification).