Trace-Category and Hyper-trace-category

Trace-category is useful to follow the traversal of the constituent structure as it is performed by FUF. When a category C is traced, the following message is printed whenever a constituent of category C is unified with the grammar:

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

The function hyper-trace-category provides more detail: if category C is ``hyper-traced'', the same message is printed, and in addition the whole constituent is printed:

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


>CONSTITUENT {SYNT-ROLES SUBJ-COMP HEAD} =
((CAT ADJ) (CONCEPT {SYNT-ROLES SUBJ-COMP CONCEPT})
 (POLARITY {SYNT-ROLES SUBJ-COMP POLARITY})
 (LEX {SYNT-ROLES SUBJ-COMP LEX}))
          
          

The functions are used as follows:

          
(TRACE-CATEGORY c | :all | (c1 ... cn)  &optional t | nil)
(HYPER-TRACE-CATEGORY c | :all | (c1 ... cn) &optional t | nil)
		Trace or hyper-trace a given category, or all categories
		(if parameter is :all) or a list of categories.
		If a second parameter nil is added, the category or
		categories are untraced.