text: A << declarative formalism >> is presented which permits [[ direct mappings of one feature structure into another ]] , and illustrative examples are given of its application to areas of current interest .