Implementing Informal Semantics of ASP

We describe a system that, given a theory of an answer-set programming ASP system psgrnd, generates its informal reading in natural language. That reading helps understand the psgrnd theory, and verify its correctness or identify programming errors. Similar tools can be developed for other ASP formalisms. To this end, the basic language used by the system has to be extended to allow the programmer provide minimal additional information on how to understand atomic concepts, of which the theory program is built.