The document discusses using controlled natural language and ontologies to represent scientific findings about protein interactions. Researchers could formally summarize their results using Attempto Controlled English (ACE) and an ontology for protein interactions. An empirical study showed that ACE could represent most protein interaction facts from journal articles. An authoring tool helps write ACE sentences aligned with the ontology. Formal summaries could enable consistency checking, question answering, and automatically updated knowledge bases.