quantifier_rel := predsort.
demonstrative_q_rel := quantifier_rel.
non+demonstrative_q_rel := quantifier_rel.
proximal+dem_q_rel := demonstrative_q_rel.
distal+dem_q_rel := demonstrative_q_rel.
remote+dem_q_rel := distal+dem_q_rel.
hearer+dem_q_rel := distal+dem_q_rel.
def_q_rel := non+demonstrative_q_rel.
indef_q_rel := non+demonstrative_q_rel.

covert-det-phrase := head-only &
  [ SYNSEM.LOCAL.CAT.VAL [ SPR < >,
			   SUBJ < >,
			   COMPS < >,
			   SPEC < > ],
    HEAD-DTR.SYNSEM.LOCAL [ CAT.VAL [ SPR < [ LOCAL.CAT.HEAD det ] >,
				      SUBJ < >,
				      COMPS < > ],
			    CONT.HOOK [ INDEX #index,
					LTOP #larg ] ],
    C-CONT [ RELS < ! quant-relation & 
		   [ LBL #ltop,
		     ARG0 #index,
		     RSTR #harg ] ! >,
	     HCONS < ! qeq & 
		    [ HARG #harg,
		      LARG #larg ] ! >,
	     HOOK [ INDEX #index,
		    LTOP #ltop ]]].