Textual Inference Logic: Take Two

This note describes a logical system based on concepts and contexts, whose aim is to serve as a representation language for meanings of natural language sentences. The logic is a theoretical description of the output of an evolving implemented system, the system Bridge, which we are developing at parc, as part of the aquaint program. The note concentrates on the results of an experiment which changed the under- lying ontology of the representation language from cyc to a version of WordNet/VerbNet.