A model of natural language generation based on an underlying language-free representation of meaning is described. A computer implementation of this model, called BABEL, has been developed at Stanford University. It is able to produce sentence paraphrases which demonstrate understanding with respect to a given context. Available from Association for Computing Machinery, 1133 Avenue of the Americas, New York, NY 10036. (Author/TL)