--- title: "Attempto Controlled English (ACE) — Fuchs 1996" description: "Fuchs and Schwitter propose Attempto Controlled English (ACE) to bridge the two. 2 references, cited by 11 papers here." authors: ["Norbert E. Fuchs", "Rolf Schwitter"] year: 1996 venue: "arXiv:cmp-lg/9603003" source: "https://arxiv.org/abs/cmp-lg/9603003" doi: "10.48550/arxiv.cmp-lg/9603003" arxiv: "cmp-lg/9603003" licence: "arXiv — no licence stated (read only)" summary_licence: "Elamur Cosmic License" canonical: "https://research.elamur.ai/free/en/papers/fuchs-1996-attempto-controlled-english-ace/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/fuchs-1996-attempto-controlled-english-ace/) [home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [1996](https://md.research.elamur.ai/free/en/papers/1996/) / Attempto Controlled English (ACE) # Attempto Controlled English (ACE) **Authors:** [Norbert E. Fuchs](https://md.research.elamur.ai/free/en/authors/norbert-e-fuchs/) and Rolf Schwitter · **Year:** 1996 · **Venue:** arXiv:cmp-lg/9603003 · **Licence:** arXiv — no licence stated (read only) **Links:** [Publisher's page](https://arxiv.org/abs/cmp-lg/9603003) · [PDF](https://arxiv.org/pdf/cmp-lg/9603003) · [DOI 10.48550/arxiv.cmp-lg/9603003](https://doi.org/10.48550/arxiv.cmp-lg/9603003) · [arXiv cmp-lg/9603003](https://arxiv.org/abs/cmp-lg/9603003) · [OpenAlex](https://openalex.org/W1593904304) **Citations:** 137 citations (OpenAlex, 2026-10-14) · [11](https://md.research.elamur.ai/free/en/papers/fuchs-1996-attempto-controlled-english-ace/cited-by/) in our library, of the 149,439 papers whose bibliographies we read ## Summary Requirements specifications are usually written in free English, which is easy for everyone to read but often vague or ambiguous. Formal specification languages remove the ambiguity, but untrained users find them hard to read. Fuchs and Schwitter propose Attempto Controlled English (ACE) to bridge the two. ACE is a restricted English with a fixed set of function words, a user-extended lexicon of content words, and tight grammatical limits. Within the Attempto system, a deterministic parser builds a syntax tree and, at the same time, a discourse representation structure (DRS). The DRS covers the whole text, with each sentence interpreted against what came before. It can optionally be compiled into Prolog. The system then shows the user a paraphrase of how it read the input, answers questions posed in ACE by deduction, and can run the specification as a simulation. The prototype handles a non-trivial automated teller machine example. This shows that text which reads as English can serve as an executable, logic-backed specification that domain experts and developers can both check. ## Key points - The paper appeared at CLAW 96, the first workshop on controlled language applications. Its running example is an ATM called SimpleMat. - Verbs are limited to active voice, simple present tense, and third person. Modal verbs and modal adjectives (e.g. possible, necessary) are excluded, and one-word verbs are preferred over particle verbs (start rather than turn on). - The lexical editor has two interfaces: - Experts edit full feature structures. - Non-experts fill in templates. For a noun, they give number, gender, and whether it is countable or mass, and may add synonyms or abbreviations. - The DRS uses nested IF/THEN and NOT sub-structures. A pronoun resolves to the nearest referent in a superordinate DRS that matches it in gender and number. - In the Prolog translation, each condition becomes a `fact/1` clause. Existential discourse referents are replaced by Skolem constants (0, 1, 2, …). ## Interesting ideas - After parsing, the system restates the input in the same controlled language and marks every resolved pronoun, elided phrase, and synonym in brackets, so the user can see the reading at a glance. - Pronouns are resolved by a single transparent rule: take the closest referent in an enclosing structure that agrees in gender and number. - Wh-questions are answered by filling the found entity, in brackets, back into the question sentence itself, rather than returning a bare value. - A specification is executed step by step: events are printed as a trace, and missing situation facts (who the customer is, whether a code is valid) are requested from the user when needed. - When input is ambiguous, the system always picks one documented default reading and leaves other readings to explicit rephrasing, so its behaviour stays predictable. ## For Mova How these ideas could serve Mova, our small open language model — its files, stages and tests: - **I1** (back): Generating such a bracketed restatement from the meaning graph would give a human-readable check of every resolution step, and it doubles as a test for the text → graph → text path. - **I2** (frames): A deterministic, accessibility-based baseline like this would make each coreference decision easy to explain, and it can serve as a control against which learned resolvers are compared. - **I3** (answer): Answers to QA on fables or school tests could be returned as the completed question sentence, which shows exactly which entity filled which slot. - **I4** (world): The world-of-the-text builder could replay events in order and flag the facts it lacks, instead of silently assuming them, which exposes gaps in a story's state. - **I5** (tree): Fixing documented default attachments for known ambiguous constructions, and recording them in the explanation, would make parser choices reproducible and auditable. *Our summary of the paper, in our own words — not its text. The work belongs to its authors; read it at the links above.* ## Institutions - [University of Zurich](https://md.research.elamur.ai/free/en/universities/university-of-zurich/) — University, Zurich, Switzerland · 80 works · 12,260 citations 📚 Shelves (5): [🖥️ Computer Science](https://md.research.elamur.ai/free/en/shelves/computer-science/) · 18,614 works · [🤖 Artificial Intelligence](https://md.research.elamur.ai/free/en/shelves/computer-science/artificial-intelligence/) · 17,965 works · [🎭 Arts and Humanities](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/) · 17,450 works · [🗣️ Language and Linguistics](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/language-and-linguistics/) · 17,296 works · [💻 Software](https://md.research.elamur.ai/free/en/shelves/computer-science/software/) · 119 works 🧭 Topics (1): [English](https://md.research.elamur.ai/free/en/topics/english/) · 2,379 works ## Cite Cite as: Norbert E. Fuchs and Rolf Schwitter. 1996. Attempto Controlled English (ACE). arXiv:cmp-lg/9603003. The paper itself, not this page. BibTeX from the library's record of the work. ```bibtex @misc{fuchs1996attempto, title = {{Attempto Controlled English (ACE)}}, author = {Norbert E. Fuchs and Rolf Schwitter}, year = {1996}, doi = {10.48550/arxiv.cmp-lg/9603003}, eprint = {cmp-lg/9603003}, archivePrefix = {arXiv}, url = {https://doi.org/10.48550/arxiv.cmp-lg/9603003} } ``` - [← previous Chart Generation](https://md.research.elamur.ai/free/en/papers/kay-1996-chart-generation/) - [next → Toward a Synthesis of Two Accounts of Discourse Structure](https://md.research.elamur.ai/free/en/papers/moser-1996-synthesis-two-accounts-discourse-structure/) - [↑ back to papers of 1996](https://md.research.elamur.ai/free/en/papers/1996/) ## References 2 references, 1 of them with a card of ours. ↗ leads to the work, «find» searches for one we have no id for yet. 1. G. Adriaens, D. Schreurs, From Cogram to Alcogram: Towards a Controlled English Grammar Checker, Proceedings COLING 92, pp. 595-601, 1992 The European Association of Aerospace Industries (AECMA), AECMA Simplified English, AECMA Document: PSC-85-16598, A Guide for the Preparation of Aircraft Maintenance Documentation in the International Aerospace Maintenance Language, Issue 1, September 1995 I. Androutsopoulos, G. D. Ritchie, P. Thanisch, Natural Language Interfaces to Databases – An Introduction, Journal of Natural Language Engineering, vol.1, no.1, Cambridge University Press, 1995 R. A. Capindale, R. G. Crawford, Using a natural language interface with casual users, International Journal Man-Machine Studies, 32, pp. 341-362, 1989 T. Dodd, Prolog: A Logical Approach, Oxford University Press, 1990 N. E. Fuchs, R. Schwitter, Specifying Logic Programs in Controlled Natural Language, CLNLP 95, Workshop on Computational Logic for Natural Language Processing, Edinburgh, 1995 A. Hall, Seven Myths of Formal Methods, IEEE Software, 9, pp. 11-19, September 1990 C. A. R. Hoare, An overview of some formal methods for program design, in: C. A. R. Hoare, C. B. Jones, Essays in Computing Science, Prentice Hall, pp. 371-387, 1987 Y. Ishihara, H. Seki, T. Kasami, A Translation Method from Natural Language Specifications into Formal Specifications Using Contextual Dependencies, in: Proceedings of IEEE International Symposium on Requirements Engineering, 4-6 Jan. 1993, San Diego, IEEE Computer Society Press, pp. 232 - 239, 1992 H. Kamp, U. Reyle, From Discourse to Logic, Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory, Kluwer Academic Publishers, Dordrecht, 1993 B. Macias, S. Pulman, Natural Language Processing for Requirements Specifications, in: F. Redmill, T. Anderson (eds.), Safety-Critical Systems, Current Issues, Techniques and Standards, Chapman & Hall, pp. 67-89, 1993 T. Mitamura, E. H. Nyberg, 3rd, [Controlled English for Knowledge-Based MT: Experience with the KANT System](https://md.research.elamur.ai/free/en/papers/mitamura-1995-controlled-english-knowledge-based-mt/), Center for Machine Translation, Carnegie Mellon University, Pittsburgh, 1995 K. Pohl, The Three Dimensions of Requirements Engineering, in: Proc. 5th Int. Conf. of Advanced Information Systems Engineering 1993, Paris, Springer, Berlin, pp. 275-292, 1993 S. Pulman, M. Rayner, Computer Processable Controlled Language, SRI International Cambridge Computer Science Research Centre, 1994 2. S. G. Pulman, Natural Language Processing and Requirements Specification, Presentation at the Prolog Forum, Department of Computer Science, University of Zurich, February 1994 I. Sommerville, Software Engineering, Fourth Edition, Addison-Wesley, Wokingham, 1992 R. H. Wojcik, J. E. Hoard, K. C. Holzhauser, The Boeing Simplified English Checker, Proc. Internatl. Conf. Human Machine Interaction and Artificial Intelligence in Aeronautics and Space, Centre d'Etude et de Recherche de Toulouse, pp. 43-57, 1990 [find](https://scholar.google.com/scholar?q=S%2E+G%2E+Pulman%2C+Natural+Language+Processing+and+Requirements+Specification%2C+Presentation+at+the+Prolog+Forum%2C+Department+of+Computer+Science%2C+University+of+Zurich%2C+February+1994+I%2E+Sommerville%2C+Software) *Updated 2 November 2026*