;;; -*- Mode: TDL; Coding: utf-8 -*- 

;;; Authors: 
;;; 2005-2006 Berthold Crysmann

;;; Copyright: DFKI GmbH




*coh-list* := *eps-list*.

*coh-cons* := *eps-cons* & 
	      *coh-list* &  
	       [FIRST synsem & 
		       [loc [cont.hook.index.--coh +]],
		REST *coh-list*].


;; a list of maximally five saturated complements
*coh-5-list* := *eps-5-list* & *coh-list*.
*coh-5-cons* := *eps-5-cons* & *coh-5-list* & *coh-cons*   & [
    REST *coh-4-no-sp-list* ].


;; a list of maximally four saturated complements
*coh-4-list* := *eps-4-list* & *coh-5-list*.
*coh-4-cons* := *eps-4-cons* & *coh-4-list* & *coh-5-cons*   & [
    REST *coh-3-no-sp-list* ].


*coh-3-list* := *eps-3-list* & *coh-4-list*.
*coh-3-cons* := *eps-3-cons* & *coh-3-list* & *coh-4-cons*   & [
    REST *coh-2-no-sp-list* ].

*coh-2-list* := *eps-2-list* & *coh-3-list*.
*coh-2-cons* := *eps-2-cons* & *coh-2-list* & *coh-3-cons*   & [
    REST *coh-1-no-sp-list* ].


*coh-1-list* := *eps-1-list* & *coh-2-list*.
*coh-1-cons* := *eps-1-cons* & *coh-1-list* & *coh-2-cons*   & [
    REST *null* ].



*vc-sp-coh-list* := *vc-sp-eps-list*.

*vc-sp-coh-cons* := *vc-sp-coh-list* &
		    *vc-sp-eps-cons* & 
		    [FIRST sp-sep-or-prd-adj-or-non-fin-verb-synsem & [loc.cat.opt +],
		     REST *null* ].

*vc-coh-list* := *vc-sp-coh-list* & 
		 *vc-eps-list*.

*vc-coh-cons* := *vc-coh-list* &
		 *vc-sp-coh-cons*  & 
		 *vc-eps-cons* &
		 [FIRST [ loc [cat.head prd-adj-or-coherent-inf-verb-head]
			      ],
		  REST *null* ].



*coh-no-sp-list* := *eps-no-sp-list* & *coh-list*.
*coh-no-sp-cons* := *eps-no-sp-cons* & *coh-no-sp-list* & *coh-cons* & [
   FIRST saturated-complement-synsem & [
         loc.cat.head vcomp-no-sp-head,
         nonloc contains-no-rel
         ]
   ].


*coh-5-no-sp-list* := *eps-5-no-sp-list* & *coh-5-list* & *coh-no-sp-list*.
*coh-5-no-sp-cons* := *eps-5-no-sp-cons* & *coh-5-no-sp-list* &
		      *coh-5-cons* & 
		      *coh-no-sp-cons* &
		      [FIRST saturated-complement-synsem & 
			     [loc.cat.head vcomp-no-sp-head,
			      nonloc contains-no-rel
					   ],
		       REST *coh-4-no-sp-list*
			     ].


*coh-4-no-sp-list* := *eps-4-no-sp-list* & *coh-4-list* & *coh-5-no-sp-list*.
*coh-4-no-sp-cons* := *eps-4-no-sp-cons* & *coh-4-no-sp-list* & 
                      *coh-4-cons* & 
                      *coh-5-no-sp-cons* & 
		      [FIRST saturated-complement-synsem & 
                                            [loc.cat.head vcomp-no-sp-head,
                                             nonloc contains-no-rel
                                                          ],
                                      REST *coh-3-no-sp-list*
                                            ].


*coh-3-no-sp-list* := *eps-3-no-sp-list* & *coh-3-list* & *coh-4-no-sp-list*.
*coh-3-no-sp-cons* := *eps-3-no-sp-cons* & *coh-3-no-sp-list* & 
                      *coh-3-cons* & 
		      *coh-4-no-sp-cons* &
		      [FIRST saturated-complement-synsem & 
			     [loc.cat.head vcomp-no-sp-head,
			      nonloc contains-no-rel
					   ],
		       REST *coh-2-no-sp-list*].

*coh-2-no-sp-list* := *eps-2-no-sp-list* & *coh-2-list* & *coh-3-no-sp-list*.
*coh-2-no-sp-cons* := *eps-2-no-sp-cons* & *coh-2-no-sp-list* & 
		      *coh-2-cons* & 
		      *coh-3-no-sp-cons* &
		      [FIRST saturated-complement-synsem & 
			     [loc.cat.head vcomp-no-sp-head,
			      nonloc contains-no-rel
					   ],
		       REST *coh-1-no-sp-list*
			     ].


*coh-1-no-sp-list* := *eps-1-no-sp-list* & *coh-1-list* & *coh-2-no-sp-list*.

*coh-1-no-sp-cons* := *eps-1-no-sp-cons* & *coh-1-no-sp-list* & 
		      *coh-1-cons* & 
		      *coh-2-no-sp-cons* &
		      [FIRST saturated-complement-synsem & 
			     [loc.cat.head vcomp-no-sp-head,
			      nonloc contains-no-rel
					   ],
		       REST *null*].



*coh-no-rel-synsem-list* := *eps-no-rel-synsem-list* & *coh-list*.

*coh-no-rel-synsem-cons* := *eps-no-rel-synsem-cons* & *coh-no-rel-synsem-list* & 
			    *coh-cons* & 
			    [FIRST [ nonloc contains-no-rel ],
			     REST  *coh-no-rel-synsem-list*
				   ].


*coh-undef-nonlocs-synsem-list* := *eps-undef-nonlocs-synsem-list* & *coh-no-rel-synsem-list*.
*coh-undef-nonlocs-synsem-cons* := *eps-undef-nonlocs-synsem-cons* & *coh-undef-nonlocs-synsem-list* & *coh-no-rel-synsem-cons* & [
   FIRST [ nonloc undef-nonlocs ],
   REST  *coh-undef-nonlocs-synsem-list*
   ].




;;; 
            
*coh-empty-or-expl-synsem-list* := *coh-1-no-sp-list* &
				   *empty-or-expl-synsem-list*.

*coh-empty-or-expl-synsem-cons* := *coh-empty-or-expl-synsem-list* & 
				   *coh-1-no-sp-cons* & 
				   *empty-or-expl-synsem-cons*.



*coh-empty-or-clausal-complement-synsem-list* := *coh-1-no-sp-list* &
						 *empty-or-clausal-complement-synsem-list*.

*coh-clausal-complement-synsem-cons* := *coh-empty-or-clausal-complement-synsem-list* &
					*coh-1-no-sp-cons* & 
					*clausal-complement-synsem-cons*.
					     
*coh-clausal-complement-no-sp-undef-nonlocs-cons* := 
						     *coh-1-no-sp-undef-nonlocs-synsem-cons* & 
						     *clausal-complement-no-sp-undef-nonlocs-cons* &
						     *coh-clausal-complement-synsem-cons*.




;;; cross-list-types.tdl 

*coh-no-sp-no-rel-synsem-list* := *eps-no-sp-no-rel-synsem-list* &
				 *coh-no-rel-synsem-list* &
				 *coh-no-sp-list*.

*coh-no-sp-no-rel-synsem-cons* := *eps-no-sp-no-rel-synsem-cons* &
				 *coh-no-sp-no-rel-synsem-list* &
				 *coh-no-rel-synsem-cons* &
				 *coh-no-sp-cons*.




*coh-5-no-rel-synsem-list* := *eps-5-no-rel-synsem-list* &
			     *coh-no-rel-synsem-list* &
			     *coh-5-list*.

*coh-5-no-rel-synsem-cons* := *eps-5-no-rel-synsem-cons* &
			     *coh-5-no-rel-synsem-list* &
			     *coh-no-rel-synsem-cons* &
			     *coh-5-cons*.

*coh-4-no-rel-synsem-list* := *eps-4-no-rel-synsem-list* & 
			      *coh-5-no-rel-synsem-list* &
			      *coh-4-list*.

*coh-4-no-rel-synsem-cons* := *eps-4-no-rel-synsem-cons* &
			     *coh-4-no-rel-synsem-list* &
			     *coh-5-no-rel-synsem-cons* &
			     *coh-4-cons*.

*coh-3-no-rel-synsem-list* := *eps-3-no-rel-synsem-list* &
			     *coh-4-no-rel-synsem-list* &
			     *coh-3-list*.

*coh-3-no-rel-synsem-cons* := *eps-3-no-rel-synsem-cons* &
			     *coh-3-no-rel-synsem-list* &
			     *coh-4-no-rel-synsem-cons* &
			     *coh-3-cons*.

*coh-2-no-rel-synsem-list* := *eps-2-no-rel-synsem-list* &
			     *coh-3-no-rel-synsem-list* &
			     *coh-2-list*.

*coh-2-no-rel-synsem-cons* := *eps-2-no-rel-synsem-cons* &
			     *coh-2-no-rel-synsem-list* &
			     *coh-3-no-rel-synsem-cons* &
			     *coh-2-cons*.

*coh-1-no-rel-synsem-list* := *eps-1-no-rel-synsem-list* &
			     *coh-2-no-rel-synsem-list* &
			     *coh-1-list*.

*coh-1-no-rel-synsem-cons* := *eps-1-no-rel-synsem-cons* &
			     *coh-1-no-rel-synsem-list* &
			     *coh-2-no-rel-synsem-cons* &
			     *coh-1-cons*.



*coh-5-undef-nonlocs-synsem-list* := *eps-5-undef-nonlocs-synsem-list* &
				    *coh-undef-nonlocs-synsem-list* &
				    *coh-5-no-rel-synsem-list*.

*coh-5-undef-nonlocs-synsem-cons* := *eps-5-undef-nonlocs-synsem-cons* &
				    *coh-5-undef-nonlocs-synsem-list* &
				    *coh-undef-nonlocs-synsem-cons* &
				    *coh-5-no-rel-synsem-cons*.


*coh-4-undef-nonlocs-synsem-list* := *eps-4-undef-nonlocs-synsem-list* &
				    *coh-5-undef-nonlocs-synsem-list* &
				    *coh-4-no-rel-synsem-list*.

*coh-4-undef-nonlocs-synsem-cons* := *eps-4-undef-nonlocs-synsem-cons* &
				    *coh-4-undef-nonlocs-synsem-list* &
				    *coh-5-undef-nonlocs-synsem-cons* &
				    *coh-4-no-rel-synsem-cons*.

*coh-3-undef-nonlocs-synsem-list* := *eps-3-undef-nonlocs-synsem-list* &
				    *coh-4-undef-nonlocs-synsem-list* &
				    *coh-3-no-rel-synsem-list*.

*coh-3-undef-nonlocs-synsem-cons* := *eps-3-undef-nonlocs-synsem-cons* &
				    *coh-3-undef-nonlocs-synsem-list* &
				    *coh-4-undef-nonlocs-synsem-cons* &
				    *coh-3-no-rel-synsem-cons*.

*coh-2-undef-nonlocs-synsem-list* := *eps-2-undef-nonlocs-synsem-list* &
				    *coh-3-undef-nonlocs-synsem-list* &
				    *coh-2-no-rel-synsem-list*.

*coh-2-undef-nonlocs-synsem-cons* := *eps-2-undef-nonlocs-synsem-cons* &
				    *coh-2-undef-nonlocs-synsem-list* &
				    *coh-3-undef-nonlocs-synsem-cons* &
				    *coh-2-no-rel-synsem-cons*.

*coh-1-undef-nonlocs-synsem-list* := *eps-1-undef-nonlocs-synsem-list* &
				    *coh-2-undef-nonlocs-synsem-list* &
				    *coh-1-no-rel-synsem-list*.

*coh-1-undef-nonlocs-synsem-cons* := *eps-1-undef-nonlocs-synsem-cons* &
				    *coh-1-undef-nonlocs-synsem-list* &
				    *coh-2-undef-nonlocs-synsem-cons* &
				    *coh-1-no-rel-synsem-cons*.

*coh-no-sp-undef-nonlocs-synsem-list* := *eps-no-sp-undef-nonlocs-synsem-list* &
					*coh-undef-nonlocs-synsem-list* &
					*coh-no-sp-no-rel-synsem-list*.

*coh-no-sp-undef-nonlocs-synsem-cons* := *eps-no-sp-undef-nonlocs-synsem-cons* &
					*coh-no-sp-undef-nonlocs-synsem-list* &
					*coh-undef-nonlocs-synsem-cons* &
					*coh-no-sp-no-rel-synsem-cons*.


*coh-5-no-sp-no-rel-synsem-list* := *eps-5-no-sp-no-rel-synsem-list* &
				   *coh-5-no-sp-list* &
                                   *coh-5-no-rel-synsem-list* &
                                   *coh-no-sp-no-rel-synsem-list*.

*coh-5-no-sp-no-rel-synsem-cons* := *eps-5-no-sp-no-rel-synsem-cons* &
                                   *coh-no-sp-no-rel-synsem-cons* &
				   *coh-5-no-sp-no-rel-synsem-list* &
				   *coh-5-no-sp-cons* &
				   *coh-5-no-rel-synsem-cons*.

*coh-4-no-sp-no-rel-synsem-list* := *eps-4-no-sp-no-rel-synsem-list* &
				   *coh-5-no-sp-no-rel-synsem-list* &
				   *coh-4-no-sp-list* &
				   *coh-4-no-rel-synsem-list*.

*coh-4-no-sp-no-rel-synsem-cons* := *eps-4-no-sp-no-rel-synsem-cons* &
				   *coh-5-no-sp-no-rel-synsem-cons* &
				   *coh-4-no-sp-no-rel-synsem-list* &
				   *coh-4-no-sp-cons* &
				   *coh-4-no-rel-synsem-cons*.

*coh-3-no-sp-no-rel-synsem-list* := *eps-3-no-sp-no-rel-synsem-list* &
				   *coh-4-no-sp-no-rel-synsem-list* &
				   *coh-3-no-sp-list* &
				   *coh-3-no-rel-synsem-list*.

*coh-3-no-sp-no-rel-synsem-cons* := *eps-3-no-sp-no-rel-synsem-cons* &
				   *coh-4-no-sp-no-rel-synsem-cons* &
				   *coh-3-no-sp-no-rel-synsem-list* &
				   *coh-3-no-sp-cons* &
				   *coh-3-no-rel-synsem-cons*.


*coh-2-no-sp-no-rel-synsem-list* := *eps-2-no-sp-no-rel-synsem-list* &
				   *coh-3-no-sp-no-rel-synsem-list* &
				   *coh-2-no-sp-list* &
				   *coh-2-no-rel-synsem-list*.

*coh-2-no-sp-no-rel-synsem-cons* := *eps-2-no-sp-no-rel-synsem-cons* &
				   *coh-3-no-sp-no-rel-synsem-cons* &
				   *coh-2-no-sp-no-rel-synsem-list* &
				   *coh-2-no-sp-cons* &
				   *coh-2-no-rel-synsem-cons*.

*coh-1-no-sp-no-rel-synsem-list* := *eps-1-no-sp-no-rel-synsem-list* &
				   *coh-2-no-sp-no-rel-synsem-list* &
				   *coh-1-no-sp-list* &
				   *coh-1-no-rel-synsem-list*.

*coh-1-no-sp-no-rel-synsem-cons* := *eps-1-no-sp-no-rel-synsem-cons* &
				   *coh-2-no-sp-no-rel-synsem-cons* &
				   *coh-1-no-sp-no-rel-synsem-list* &
				   *coh-1-no-sp-cons* &
				   *coh-1-no-rel-synsem-cons*.

*coh-5-no-sp-undef-nonlocs-synsem-list* := *eps-5-no-sp-undef-nonlocs-synsem-list* &
					  *coh-no-sp-undef-nonlocs-synsem-list* &
					  *coh-5-no-sp-no-rel-synsem-list* &
					  *coh-5-undef-nonlocs-synsem-list*.

*coh-5-no-sp-undef-nonlocs-synsem-cons* := *eps-5-no-sp-undef-nonlocs-synsem-cons* &
					  *coh-no-sp-undef-nonlocs-synsem-cons* &
					  *coh-5-no-sp-undef-nonlocs-synsem-list* &
					  *coh-5-no-sp-no-rel-synsem-cons* &
					  *coh-5-undef-nonlocs-synsem-cons* .

*coh-4-no-sp-undef-nonlocs-synsem-list* := *eps-4-no-sp-undef-nonlocs-synsem-list* &
					  *coh-5-no-sp-undef-nonlocs-synsem-list* &
					  *coh-4-no-sp-no-rel-synsem-list* &
					  *coh-4-undef-nonlocs-synsem-list*.

*coh-4-no-sp-undef-nonlocs-synsem-cons* := *eps-4-no-sp-undef-nonlocs-synsem-cons* &
					  *coh-5-no-sp-undef-nonlocs-synsem-cons* &
					  *coh-4-no-sp-undef-nonlocs-synsem-list* &
					  *coh-4-no-sp-no-rel-synsem-cons* &
					  *coh-4-undef-nonlocs-synsem-cons*.

*coh-3-no-sp-undef-nonlocs-synsem-list* := *eps-3-no-sp-undef-nonlocs-synsem-list* &
					  *coh-4-no-sp-undef-nonlocs-synsem-list* &
					  *coh-3-no-sp-no-rel-synsem-list* &
					  *coh-3-undef-nonlocs-synsem-list*.

*coh-3-no-sp-undef-nonlocs-synsem-cons* := *eps-3-no-sp-undef-nonlocs-synsem-cons* &
					  *coh-4-no-sp-undef-nonlocs-synsem-cons* &
					  *coh-3-no-sp-undef-nonlocs-synsem-list* &
					  *coh-3-no-sp-no-rel-synsem-cons* &
					  *coh-3-undef-nonlocs-synsem-cons*.

*coh-2-no-sp-undef-nonlocs-synsem-list* := *eps-2-no-sp-undef-nonlocs-synsem-list* &
					  *coh-3-no-sp-undef-nonlocs-synsem-list* &
					  *coh-2-no-sp-no-rel-synsem-list* &
					  *coh-2-undef-nonlocs-synsem-list*.

*coh-2-no-sp-undef-nonlocs-synsem-cons* := *eps-2-no-sp-undef-nonlocs-synsem-cons* &
					  *coh-3-no-sp-undef-nonlocs-synsem-cons* &
					  *coh-2-no-sp-undef-nonlocs-synsem-list* &
					  *coh-2-no-sp-no-rel-synsem-cons* &
					  *coh-2-undef-nonlocs-synsem-cons*.

*coh-1-no-sp-undef-nonlocs-synsem-list* := *eps-1-no-sp-undef-nonlocs-synsem-list* &
					  *coh-2-no-sp-undef-nonlocs-synsem-list* &
					  *coh-1-no-sp-no-rel-synsem-list* &
					  *coh-1-undef-nonlocs-synsem-list*.

*coh-1-no-sp-undef-nonlocs-synsem-cons* := 
					    *eps-1-no-sp-undef-nonlocs-synsem-cons* &
					    *coh-2-no-sp-undef-nonlocs-synsem-cons* &
					    *coh-1-no-sp-undef-nonlocs-synsem-list* &
					    *coh-1-no-sp-no-rel-synsem-cons* &
					    *coh-1-undef-nonlocs-synsem-cons*.