An outline of a theory of knowledge representation for natural language processing, focusing on 'proposition nodes' and their role in a number of representation tasks. The system should be able to represent in a subtle way the meanings of words, sentences and texts, and should be operated upon by the procedures which are necessary for language comprehension and production, inference, question answering, and conversation.