;;; domain theory for tsg11.

;;; block conjunctionless coordination.

DRULE d1 : 10 N1[CONJ -] N1[CONJ -].
DRULE d2 : 10 N0[CONJ -] N1[CONJ -].
DRULE d3 : 10 N2[CONJ -] N1[CONJ -].

DRULE d4 : 10 V0[CONJ -] V0[CONJ -].
DRULE d5 : 10 V1[CONJ -] V1[CONJ -].
DRULE d6 : 10 V2[CONJ -] V2[CONJ -].

DRULE d7 : 10 P0[CONJ -] P0[CONJ -].
DRULE d8 : 10 P1[CONJ -] P1[CONJ -].
DRULE d9 : 10 P2[CONJ -] P2[CONJ -].

DRULE d10 : 10 A0[CONJ -] A0[CONJ -].
DRULE d11 : 10 A1[CONJ -] A1[CONJ -].
DRULE d12 : 10 A2[CONJ -] A2[CONJ -].

;;; PP --> PP[with] PP[of] ; shld be ruled out semantically without conj+

;;; drule d9 does this.

;;; PP -->A1 PP --wrong head (A1) -- ruled out by semantics, A1 can't modify PP

DRULE d14: 10 A1 [V -, N -].

;;;; VP --> VP PP[of] -- shld be ruled out / disprefered by semantics

DRULE d14: 10 [BAR (1,2)] [BAR (1,2), PFORM OF].

;;; PP --> PP PRT -- ruled out by semantics

DRULE d15 : 10 P2 [MINOR PRT].


;;; attach punctuation high

DRULE d17: 10 [BAR (0,1)] [PUNCT].

;;; Verbal subcat

;;; only subcat for nominals
DRULE d18 : 10 [VSUBCAT NP] [V +].

;;; conj[begin] wants [conj +]

DRULE d19 : 10 [CJTYPE BEGIN] [CONJ -].

;;; conj[end] wants [conj -]

DRULE d19 : 10 [CJTYPE END] [CONJ +].

;;; No text cats in rules.  

DRULE d20: 10 [~N, ~V, TXTCAT].

;;; This blocks minor cats.

;DRULE d21: 10 [MINOR].

;DRULE d21a : 10 [BAR 0].

;;; This blocks punctuation.

;DRULE d22: 10 [PUNCT].

;;; P2 --> P2 N0 block

DRULE d23 : 10 [N -, V -, BAR 2] [N +, V -, BAR 0, NTYPE NORM].

;;; V0[AUX TO] --> V2 V0[AUX tO]

DRULE d24 : 10 [VFORM (BSE, ING, PPART, PAST, PRES)] [N -, V +, BAR 0, AUX TO].

;;; Vs need major cats.

;DRULE D25 : 10 [V +, N -, BAR 0] [BAR (0,1)]. 


;;; N0[NTYPE NORM] appears in a lot of bad rules, so block it.

DRULE D26 : 10 N0[NTYPE NORM].

;;; Dets don't modify PPs.

DRULE D27 : 10 [N -, V -] [MINOR DET].

;;; Dets don't modify [AFORM NONE].

DRULE D28 : 10 [MINOR DET] [N +, V +, AFORM NONE, BAR 1].

;;; [SCOLON +] seems to be part of text rules, so block usage,

DRULE D29 : 10 [SCOLON +].

DRULE D29a : 10 [T +].

;;; Dets don't modify VPs.

DRULE D30 : 10 [MINOR DET] [N -, V +].

;;; seems coordination not working correctly, so block.

DRULE D31 : 10 [MINOR CONJ, CJTYPE (END,BEGIN)].

;;; dets don't modify APs.

DRULE D32 : 10 [MINOR DET] [N +, V +, BAR 2].

;;; many bad rules with V0s and PPs

DRULE D33 : 10 [N -, V +, BAR 0] [N -, V -, BAR 2].

;;; [ADJ +] wants N1, N2 or A2.  Not Verbal cats (cf. sent 109 8 30.77 25)
DRULE D34 : 10 [ADJ +] [N -, V +].

;;; possessives want NPs (cf sent 202 6 23 27)

DRULE 34 :  -5 [POSS +] [N + , V -, BAR (1,2)].

DRULE 35 : 10 [POSS +] [N - , V +].









