Another approach to formal methods in software development is to write a specification in some form of logic—usually a variation of first-order logic (FOL)—and then to directly execute the logic as though it were a program. The OWL language, based on Description Logic (DL), is an example. There is also work on mapping some version of English (or another natural language) automatically to and from logic, and executing the logic directly. Examples are Attempto Controlled English , and Internet Business Logic, which do not seek to control the vocabulary or syntax. A feature of systems that support bidirectional English-logic mapping and direct execution of the logic is that they can be made to explain their results, in English, at the business or scientific level. [ citation needed ]
The main idea of each paragraph should be stated in a topic sentence. The topic sentence should appear as the first sentence in each paragraph. It directly supports your thesis statement, developing the ideas previewed in the introductory paragraph. It acts as a guidepost for your readers, making it easy to follow your discussion. Each detail in the paragraph should work to support or develop this topic sentence. Any details that do not support topic sentences should be revised, moved, or deleted.