Other examples of hand-coded knowledge bases are the Component Library (CLib) (Barker et al. 2001), and a collection of commonsense psychological axioms by Hobbs and Gordon (2005). CLib provides a broad upper (i.e., high-level) ontology of several hundred concepts, and axioms about basic actions (conveying, entering, breaking, etc.) and resultant change. However, the frame-based Kleo knowledge representation used in CLib is not close to language, and the coverage of the English lexicon is sparse. The psychological axioms of Hobbs and Gordon are naturally narrow in focus (memories, beliefs, plans, and goals), and it remains to be seen whether they can be used effectively in conjunction with language-derived logical forms (of the “flat” type favored by Hobbs) for inference in discourse contexts.