ASdeCopas is a syntactic-semantic parser, implemented in Prolog, which uses hierarchically organized order-independent rules. This paper focuses on the formalization of semantic rules, presenting the concepts of well-formed semantic rule, rules hierarchy, and the conditions for rules application. If two rules can apply, only the most specific one does so. Examples are given and some properties ...
