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

;;; Authors: 
;;; 1997-2000 Walter Kasper & Stefan Müller
;;; 2000-2002 Stefan Müller
;;; 2002-2006 Berthold Crysmann

;;; Copyright: DFKI GmbH





*anc-list* :< *list*.

*anc-cons* := *anc-list* & *cons* &
	      [FIRST index-cont,
	       REST *anc-list*].

*anc-5-list* :< *anc-list*.
*anc-5-cons* := *anc-5-list* & 
		*anc-cons* & 
		[REST *anc-4-list*].
*anc-4-list* :< *anc-5-list*.
*anc-4-cons* := *anc-4-list* & 
		*anc-5-cons* & 
		[REST *anc-3-list*].
*anc-3-list* :< *anc-4-list*.
*anc-3-cons* := *anc-3-list* & 
		*anc-4-cons* & 
		[REST *anc-2-list*].

*anc-2-list* :< *anc-3-list*.
*anc-2-cons* := *anc-2-list* & 
		*anc-3-cons* & 
		[REST *anc-1-list*].

*anc-1-list* :< *anc-2-list*.
*anc-1-cons* := *anc-1-list* & 
		*anc-2-cons* & 
		[REST *null*].


*eps-list* :< *list*.

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

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


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


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

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


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



*vc-sp-eps-list* :< *list*.

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

*vc-eps-list* :< *vc-sp-eps-list*.

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



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


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


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


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

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


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

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



*eps-no-rel-synsem-list* :< *eps-list*.

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


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


            
*empty-or-expl-synsem-list* :< *eps-1-no-sp-list*.
*empty-or-expl-synsem-cons* := *empty-or-expl-synsem-list* & 
			       *eps-1-no-sp-cons* & 
			       [FIRST expl-noun-synsem,
				REST  *null*
				      ].



*empty-or-clausal-complement-synsem-list* :< *eps-1-no-sp-list*.

*clausal-complement-synsem-cons* := *empty-or-clausal-complement-synsem-list* &
					     *eps-1-no-sp-cons* & 
					     [FIRST clausal-complement-synsem,
					      REST  *null*
						    ].
					     
*clausal-complement-no-sp-undef-nonlocs-cons* := 
						  *eps-1-no-sp-undef-nonlocs-synsem-cons* &
						  *clausal-complement-synsem-cons*.

*lr-infl-list* :<*list*.

*lr-infl-cons* := *cons* &
		    *lr-infl-list* &
		    <[lr.lr_inflected +] . *lr-infl-list* >.