On the generation of an English description of a picture from a predicate calculus representation