Trace-Cset

The trace-cset function is used to monitor constituent traversal. Each time FUF finishes unifying a constituent, it computes the cset of the result of the unification, applying the rules described in Section . The constituents are then traversed breadth-first. The function trace-cset triggers messages of the following form at the end of the unification of each constituent:

          


>Expanding constituent {} into cset ({SYNT-ROLES SUBJ-COMP}
                                     {PROCESS}
                                     {SYNT-ROLES SUBJECT}).
>


>========================================
>STARTING CAT AP AT LEVEL {SYNT-ROLES SUBJ-COMP}
>========================================
          
          

If the constituent has an empty cset, it means it is a leaf in the constituent structure. In that case, the following message is printed:

          


>Constituent {SYNT-ROLES SUBJ-COMP HEAD} is a leaf.
>Constituent {PROCESS EVENT} is a leaf.
>