This paper gives a brief overview of the work on translating natural language sentences into logic done at PARC and distills a few simple-minded lessons. Then we turn our attention to formal logics applicable to systems of contexts and describe some open questions on these systems.