implementation for relative clauses, DE nominalization, etc

Author: zhenzhenfan

lrules.tdl renamed to cmn/lrules.tdl

@@ -5,7 +5,9 @@ pred-adj-asp-lex-rule := attr-to-pred-adj-aspect-lex-rule.
 vp-ellipsis-lex-rule := vp-aux-ellipsis-lex-rule.
 
 ;; SSH 2014-09-04
+#|
 non-aspect-lex := aspect-lex-rule &
  [ SYNSEM.LOCAL [ CAT.MC +,
 		  CONT.HOOK.INDEX.E.ASPECT non-aspect ] ].
+|#
 

cmn/zhs/irules.tdl

@@ -1,8 +1,6 @@
 ;;; -*- Mode: TDL; Coding: utf-8 -*-
 
 
-no-spr-cl-lex := no-spr-classifier-lex-rule.
-
 ;; SSH 2015-04-30: reduplication of verbs
 ;; e.g. 张三 哭哭 / 张三 喜欢喜欢
 ;; This lexical rule places [ASPECT tentative] to the verb itself. 

cmn/zhs/lrules.tdl

@@ -1,6 +1,8 @@
 ;;; -*- Mode: TDL; Coding: utf-8 -*-
 
-head-comp := head-comp-phrase.
+hdvj-comp := hdvj-comp-phrase.
+
+head-comp := hdnrpdmo-comp-phrase.
 
 ;; SSH 2015-04-21: The subject cannot be indefinite. 
 ;;subj-head := subj-head-phrase & [ STYLE robust ].

rules.tdl

@@ -75,6 +75,7 @@ E.ASPECT : E.ASPECT
   delimitative <> delimitative
   durative <> durative
   non-aspect <> non-aspect
+  aspect >> non-aspect    
   * <> *
 
 ;E.MOOD : E.MOOD

semi.vpm

@@ -2,6 +2,6 @@
 
 ;;; created by Sanghoun Song (SSH, 2014-08-25)
 
-no-cl-lex := no-classifier-lex-rule.
+
 
 

yue/irules.tdl

@@ -0,0 +1,17 @@
+;;; -*- Mode: TDL; Coding: utf-8 -*-
+
+pred-adj-lex-rule := attr-to-pred-adj-lex-rule.
+pred-adj-asp-lex-rule := attr-to-pred-adj-aspect-lex-rule.
+vp-ellipsis-lex-rule := vp-aux-ellipsis-lex-rule.
+
+;;只 猫 走 了
+no-spr-cl-lex := no-spr-classifier-lex-rule.
+no-cl-lex := no-classifier-lex-rule.
+
+;; SSH 2014-09-04
+#|
+non-aspect-lex := aspect-lex-rule &
+ [ SYNSEM.LOCAL [ CAT.MC +,
+		  CONT.HOOK.INDEX.E.ASPECT non-aspect ] ].
+|#
+

yue/lrules.tdl

@@ -284,9 +284,9 @@ head :+
 
 verb-lex := lex-item &
   [ SYNSEM [ PAREN -,
-	     ASPECTED na,
 	     LOCAL.CAT.HEAD verb & [ PRED-KEY #pred ],
 	     LKEYS.KEYREL.PRED #pred ] ].
+	     ;ASPECTED na,
 
 main-verb-lex := verb-lex & basic-verb-lex & tentative-lex-dtr & 
   [ SYNSEM.LOCAL [ CAT [ HEAD.AUX -,
@@ -343,7 +343,7 @@ transitive-verb-lex := main-verb-lex & transitive-lex-item & aspect-rule-dtr &
     ARG-ST < [ LOCAL [ CAT.HEAD noun,
 		       CONT.HOOK.INDEX #index ] ],
 	     #comp &
-	     [ LOCAL.CAT [ VAL [ SPR < >,
+	     [ LOCAL.CAT [ VAL [ SPR 0-1-list,
 				 COMPS < > ],
 			   HEAD noun ] ] > ].
 
@@ -464,18 +464,19 @@ pp-s-comp-verb-lex := main-verb-lex & basic-three-arg-no-hcons & basic-icons-lex
              CONT.HOOK.LTOP #ltop],
            OPT -]> ].
 
+;;2016-2-16 ZZF OPT + testing
 super-ditrans-verb-lex := main-verb-lex & aspect-rule-dtr &
  [ SYNSEM.LOCAL.CAT.VAL.COMPS < #comp1, #comp2>,
    ARG-ST  < [ LOCAL.CAT.HEAD noun ],
              #comp1 &
              [ LOCAL.CAT [ VAL [ SPR < >,
                                  COMPS < > ],
                            HEAD noun ], 
-               OPT -] ,
+               OPT +] ,
              #comp2 &
              [ LOCAL.CAT [ VAL [ SPR < >,
                                  COMPS < > ] ],
-               OPT -] >].
+               OPT +] >].
 
 ditrans-verb-lex := ditransitive-lex-item & super-ditrans-verb-lex.
 
@@ -1430,7 +1431,7 @@ de-super-lex := lex-item &
                                                       VAL.COMPS < > ] ] ] > ],
 			    VAL [ SPR < >,
                                   SPEC < >,
-			          COMPS < synsem > ] ] ] ].
+			          COMPS < synsem  & [ LOCAL.CAT.MC + ] > ] ] ] ].
 
 de-assoc-lex := de-super-lex & adposition-lex & 
   [ SYNSEM [ LOCAL [ CAT [ HEAD.MOD < [ BARE -,
@@ -1448,29 +1449,20 @@ de-assoc-lex := de-super-lex & adposition-lex &
                  NON-LOCAL.SLASH 0-dlist,
                  OPT - ]  > ].
 
-#|
-de-assoc-lex := de-assoc-lex & 
-  [ ARG-ST < synsem-min,
-             [ LOCAL.CAT.HEAD +nv ] >  ].
 
-de-assoc-v-lex := de-assoc-lex & 
-  [ ARG-ST < synsem-min,
-             [ LOCAL.CAT.HEAD verb ] >  ].
-|#
 ;; SSH 2015-07-13: relative marker 的
 ;; ZZF 2015-9-30: subj restriction of the v/adj to stop spurious parses
 de-comp-lex := de-super-lex & raise-sem-lex-item & no-icons-lex-item &
   [ SYNSEM [ PAREN -,
 	     LOCAL [ CAT [ HEAD.MOD < [ LOCAL #slash ] >,
 			   VAL [ COMPS < [ LOCAL [ CAT [ HEAD +vj,
-							 MC +-or--, 
                                                          VAL [ SUBJ < > ] ] ],
 					   NON-LOCAL.SLASH 1-dlist & <! #slash !> ] > ] ] ],
 	     NON-LOCAL non-local ] ].
 
 
 ;;FB & ZZF 2015-10-28 nominalizing DE,
-;; creating empty noun (NONCOMP +), in lexicon 的_nominalizer_n gives "generic_n_rel".
+;; creating empty noun (NONCOMP +), in lexicon 的_nom_n gives "generic_n_rel".
 de-nominalizer-lex := no-icons-lex-item & norm-sem-lex-item &
   [ SYNSEM [ PAREN -,
 	     LOCAL [ CAT [ HEAD noun & [MOD <> ],
@@ -1774,8 +1766,9 @@ aspect-lex-rule := const-cat-change-only-lex-rule &
 						POSTHEAD #posthead ] ] ],
    C-CONT [ RELS <! !>, HCONS <! !>, ICONS <! !> ] ].
 
-aspect-rule-dtr := word-or-lexrule & [ SYNSEM.LOCAL.CAT.MC na ].
-
+;;15-2-2016 ZZF SSH FB stop using MC for controlling overgeneration, which will be done in SEM-I
+aspect-rule-dtr := word-or-lexrule.
+;;& [ SYNSEM.LOCAL.CAT.MC na ]
 
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

yue/lrules.tdl

@@ -237,14 +237,16 @@ finite := form.
 
 ;; SSH/ZZF 2015-04-29: [tentative := aspect.] should be reviewed.
 ;has-aspect := aspect.
-perfective := aspect.
+perf-or-exp := aspect.
 durative := aspect.
 delimitative := aspect.
 tentative := aspect.
 ;; SSH 2014-09-19: The type hierarchy for aspect should be researched
 ;; more. We assume here that guo and no-marking imply *imperfective*.
+;; 2016-2-15 ZZF changing experiential from "imperfective" to "perfective" ::fix me
 imperfective := aspect.
-experiential := imperfective.
+perfective := perf-or-exp.
+experiential := perf-or-exp.
 ;; SSH 2014-09-04; blocking overgeneration
 non-aspect := imperfective.
 
@@ -278,14 +280,17 @@ head-only :+
     HEAD-DTR.SYNSEM.LOCAL.CAT [ NONSUBJ #ns,
 				NONCOMP #nc ] ]. 
 
+;;2016-2-15 ZZF FB set SPR to < > to force COMP to have SPR first. TEST ME!!!
 basic-head-comp-phrase :+ 
   [ SYNSEM.LOCAL.CAT [ MC #mc,
 		       VAL.SPEC #spec ],
     HEAD-DTR.SYNSEM [ BOUND na-or--,
 		      LOCAL.CAT [ MC #mc,
-				  VAL.SPEC #spec ] ]
-].
-   ; NON-HEAD-DTR.SYNSEM.LOCAL.CAT.NONCOMP - ].
+				  VAL.SPEC #spec ] ] ].
+
+
+basic-head-comp-phrase :+ [ SYNSEM.LOCAL.CAT.NONCOMP #nc,
+                      HEAD-DTR.SYNSEM.LOCAL.CAT.NONCOMP #nc ].
 
 basic-head-mod-phrase-simple :+ 
   [ SYNSEM.LOCAL [ CAT.MC #mc,
@@ -327,6 +332,14 @@ head-comp-phrase := basic-head-1st-comp-phrase & head-initial &
     NON-HEAD-DTR.SYNSEM [ R-PERIPH na-or--,
 			  INTERJECTED na-or-- ] ].
 
+;;2016-2-15 ZZF FB separating head-comp for verbs and adjectives
+hdvj-comp-phrase := head-comp-phrase &
+  [ SYNSEM.LOCAL.CAT.HEAD +vj,
+    NON-HEAD-DTR.SYNSEM.LOCAL.CAT.VAL.SPR < >  ].
+
+hdnrpdmo-comp-phrase := head-comp-phrase &
+  [ SYNSEM.LOCAL.CAT.HEAD +nrpdmo ].
+
 ;; WWJ (2015-03-28) - HEAD-DTR's spart value is passed up to this phrase
 head-comp-phrase :+
   [ SYNSEM.SPART #spart,
@@ -335,11 +348,9 @@ head-comp-phrase :+
 
 ;; SSH/ZZF 2015-07-15
 head-comp-phrase :+ [ SYNSEM.LOCAL.CAT.NONCOMP #nc,
-                      HEAD-DTR.SYNSEM.LOCAL.CAT.NONCOMP #nc,
-                      SYNSEM.NON-LOCAL.SLASH 0-dlist ].
+                      HEAD-DTR.SYNSEM.LOCAL.CAT.NONCOMP #nc ]. 
+;; to allow 0-1-dlist                      SYNSEM.NON-LOCAL.SLASH 0-dlist ].
 
-basic-head-comp-phrase :+ [ SYNSEM.LOCAL.CAT.NONCOMP #nc,
-                      HEAD-DTR.SYNSEM.LOCAL.CAT.NONCOMP #nc ].
 
 ;; SSH 2015-04-16: adp -> prep
 head-2nd-comp-phrase := basic-head-2nd-comp-phrase & head-initial &
@@ -365,11 +376,11 @@ comp-head-final-phrase := basic-head-1st-comp-phrase & head-final &
 subj-head-phrase := decl-head-subj-phrase & head-final &
   [ SYNSEM.LOCAL.CAT.MC #mc,
     SYNSEM.SPART #spart,
-    HEAD-DTR.SYNSEM.LOCAL.CAT [ MC #mc,
-				VAL [ SPR olist,
+    HEAD-DTR.SYNSEM [ LOCAL.CAT [ MC #mc,
+				  VAL [ SPR olist,
 				      COMPS < > ],
-				POSTHEAD + ],
-    HEAD-DTR.SYNSEM [ SPART #spart,
+				  POSTHEAD + ],
+                      SPART #spart,
 		      NON-LOCAL.SLASH 0-1-dlist ],
     NON-HEAD-DTR.SYNSEM  [ R-PERIPH na-or--,
 			   INTERJECTED na-or--,
@@ -441,6 +452,14 @@ relative-clause := binary-phrase & phrasal & head-compositional & head-final &
 
 ;; MATRIX REDEFINITION
 ;; SSH 2015-05-07: x_rel and q_rel are defined as types.
+n-coord-phrase :+
+[ SYNSEM.LOCAL.CONT.HOOk.INDEX.SORT #sort,
+  LCOORD-DTR.SYNSEM.LOCAL.CONT.HOOk.INDEX.SORT #sort ].
+
+np-coord-phrase :+
+[ SYNSEM.LOCAL.CONT.HOOk.INDEX.SORT #sort,
+  LCOORD-DTR.SYNSEM.LOCAL.CONT.HOOk.INDEX.SORT #sort ].
+
 basic-np-top-coord-rule := np-coord-phrase &
   [ SYNSEM.LOCAL.CAT.VAL.SPR < >,
     C-CONT [ HOOK [ LTOP #ltop,
@@ -698,12 +717,13 @@ filler-head-phrase := basic-head-filler-phrase & head-final &
                       IARG2 #index ] !> ] ].
 
 ;; SSH 2014-09-02: added [MODIFIED] for blocking overgeneration
-;; SSH 2014-09-02: added [MC +] for blocking overgeneration
+;; SSH 2014-09-02: added [MC +] for blocking overgeneration ;;zz: MC luk to allow extract from any v clause
 extracted-comp-phrase := basic-extracted-comp-phrase & 
-  [ SYNSEM.MODIFIED #modified,
+  [ SYNSEM [ MODIFIED #modified,
+             LOCAL.CAT.MC + ],
     HEAD-DTR.SYNSEM [ MODIFIED #modified,
 		      BOUND na-or--,
-		      LOCAL [ CAT [ MC +, HEAD verb ],
+		      LOCAL [ CAT.HEAD verb,
 			      CONT.HOOK #hook ] ],
     C-CONT [ HOOK #hook, RELS <! !>, HCONS <! !>, ICONS <! !> ] ].
 
@@ -719,12 +739,13 @@ extracted-comp-phrase := basic-extracted-comp-phrase &
 ;;
 extracted-subj-phrase := basic-extracted-subj-phrase & 
   [ SYNSEM [ MODIFIED #modified,
-	     LOCAL.CAT [ MC -,
+	     LOCAL.CAT [ MC +,
 			 VAL.SPEC < [] > ] ], 
     HEAD-DTR.SYNSEM [ MODIFIED #modified,
 		      BOUND na-or--,
 		      LOCAL [ CAT [ HEAD +vj,
-                                    VAL.SUBJ < [ LOCAL.CAT.NONSUBJ - ] > ],
+                                    VAL [ SUBJ < [ LOCAL.CAT.NONSUBJ - ] >,
+                                          COMPS < > ] ],
 			      CONT.HOOK #hook ] ],
     C-CONT [ HOOK #hook, RELS <! !>, HCONS <! !>, ICONS <! !> ] ].