This short paper (extended abstract?) describes a simple application of the ATMS (Assumptions Truth Maintenance System) technique for detecting inconsistencies in data input to a legal expert system. The application described is the set of rules and requirements for acquiring citizenship in Norway. The rules and the reasoning mechanism are quite straightforward (basically, backward chaining). The input data may contain inconsistencies, however. The ATMS, which is a module separate from the expert system, discovers these inconsistencies and points out the assumptions that may be wrong.

The paper is clearly written and provides a nice application of the technique. A more detailed description of the ATMS module, as well as a more elaborate example, would have been useful.