The second challenge problem in the BAA involves natural language databases. The formal context mechanism allows associating with each database meanings of words, referents of special terms, and assumptions about the facts. Outer contexts permit relating the different usages. (See [Buv96b].)