hd-spr-rule := hd-spr-ph.

fin-vp-rule0 := fin-vp & 
		[HD-DTR #h & [SYNSEM.LOCAL.CAT.COMPS <>],
		 ARGS <#h>].
fin-vp-rule1 := fin-vp &
		[HD-DTR #h & [SYNSEM.LOCAL.CAT.COMPS <#1>],
		 ARGS <#h, #1>].


nf-hc-ph-rule0 := nf-hc-ph &
		  [HD-DTR #h & [SYNSEM.LOCAL.CAT.COMPS <>],
		   ARGS <#h>].

nf-hc-ph-rule1 := nf-hc-ph &
		  [HD-DTR #h & [SYNSEM.LOCAL.CAT.COMPS <#1>],
		   ARGS <#h, #1>].



decl-hd-su-cl-rule := decl-hd-su-cl &
		      [ARGS <sign, [SYNSEM.SLASH <>]>].

decl-hd-su-cl-rule-slash := decl-hd-su-cl &
			    [ARGS <sign, [SYNSEM [LOCAL.CAT.COMPS *null*,
						  SLASH *ne-list*]]>].
					    

cp-cl-rule1 := cp-cl &
	       [HD-DTR #h & [SYNSEM.LOCAL.CAT.COMPS <#1>],
		ARGS <#h, #1>].

cp-cl-rule2 := cp-cl &
	       [HD-DTR #h & [SYNSEM.LOCAL.CAT.COMPS <#1, #2>],
		ARGS <#h, #1, #2>].



; empty COMPS not allowed
inv-decl-cl-rule1 := inv-decl-cl &
		    [HD-DTR #h & [SYNSEM.LOCAL.CAT.COMPS <#1>],
		     ARGS <#h, sign, #1>].

inv-decl-cl-rule2 := inv-decl-cl &
		    [HD-DTR #h & [SYNSEM.LOCAL.CAT.COMPS <#1, #2>],
		     ARGS <#h, sign, #1, #2>].


; empty COMPS not allowed
pol-int-cl-rule1 := pol-int-cl &
		    [HD-DTR #h & [SYNSEM.LOCAL.CAT.COMPS <#1>],
		     ARGS <#h, sign, #1>].

pol-int-cl-rule2 := pol-int-cl &
		    [HD-DTR #h & [SYNSEM.LOCAL.CAT.COMPS <#1,#2>],
		     ARGS <#h, sign, #1, #2>].

; TODO:
; variations on the rule to accomodate OPC (Optional Pro Condition)
ns-wh-int-cl-rule-no-pro := ns-wh-int-cl & [SYNSEM.LOCAL.CAT.SUBJ <>].
					    

su-wh-int-cl-rule := su-wh-int-cl.

decl-ns-cl-rule := decl-ns-cl.


top-cl-rule := top-cl.