We are mainly interested in the development of CAD systems for architectural design. In the last few years CAD systems have been evolving from simple drafting tools to much more complex solid modeling environments. Nevertheless, experience has shown that an effective use of such systems relies to a large extent on the characteristics of their user interface: the interaction language should be easy to learn and use while, at the same time, it should leave the possibility of using the full power of the system. In particular, the user should have the possibility of describing in full detail a particular scenario or giving the system only a raw description of it. This paper describes NALIG, a system able to ‘understand’ and ‘reason about’ high ...