solves #61 #62 and most #59

arity-1-verbs.tdl

@@ -1,35 +1,39 @@
-adoecer := nonrefl-int-verb-lex &
-  [ STEM < "adoecer" >,
-    SYNSEM.LKEYS.KEYREL.PRED "_adoecer_v_rel" ].
+aumentar_1 := nonrefl-int-verb-lex &
+  [ STEM < "aumentar" >,
+    SYNSEM.LKEYS.KEYREL.PRED "_aumentar_v_1_rel" ].
 
-chegar := nonrefl-int-verb-lex &
-  [ STEM < "chegar" >,
-    SYNSEM.LKEYS.KEYREL.PRED "_chegar_v_rel" ].
+terminar_1 := nonrefl-int-verb-lex &
+  [ STEM < "terminar" >,
+    SYNSEM.LKEYS.KEYREL.PRED "_terminar_v_1_rel" ].
 
-correr := nonrefl-int-verb-lex &
-  [ STEM < "correr" >,
-    SYNSEM.LKEYS.KEYREL.PRED "_correr_v_rel" ].
+escrever_2 := nonrefl-int-verb-lex &
+  [ STEM < "escrever" >,
+    SYNSEM.LKEYS.KEYREL.PRED "_escrever_v_2_rel" ].
 
-gemer := nonrefl-int-verb-lex &
-  [ STEM < "gemer" >,
-    SYNSEM.LKEYS.KEYREL.PRED "_gemer_v_rel" ].
+chorar := nonrefl-int-verb-lex &
+  [ STEM < "chorar" >,
+    SYNSEM.LKEYS.KEYREL.PRED "_chorar_v_rel" ].
 
-ladrar := nonrefl-int-verb-lex &
-  [ STEM < "ladrar" >,
-    SYNSEM.LKEYS.KEYREL.PRED "_ladrar_v_rel" ].
+parar_2 := nonrefl-int-verb-lex &
+  [ STEM < "parar" >,
+    SYNSEM.LKEYS.KEYREL.PRED "_parar_v_2_rel" ].
 
-latir := nonrefl-int-verb-lex &
-  [ STEM < "latir" >,
-    SYNSEM.LKEYS.KEYREL.PRED "_latir_v_rel" ].
+concorrer := nonrefl-int-verb-lex &
+  [ STEM < "concorrer" >,
+    SYNSEM.LKEYS.KEYREL.PRED "_concorrer_v_rel" ].
+
+escorregar := nonrefl-int-verb-lex &
+  [ STEM < "escorregar" >,
+    SYNSEM.LKEYS.KEYREL.PRED "_escorregar_v_rel" ].
+
+sair := nonrefl-int-verb-lex &
+  [ STEM < "sair" >,
+    SYNSEM.LKEYS.KEYREL.PRED "_sair_v_rel" ].
 
 passear := nonrefl-int-verb-lex &
   [ STEM < "passear" >,
     SYNSEM.LKEYS.KEYREL.PRED "_passear_v_rel" ].
 
-sorrir := nonrefl-int-verb-lex &
-  [ STEM < "sorrir" >,
-    SYNSEM.LKEYS.KEYREL.PRED "_sorrir_v_rel" ].
-
 dormir := nonrefl-int-verb-lex &
   [ STEM < "dormir" >,
     SYNSEM.LKEYS.KEYREL.PRED "_dormir_v_rel" ].

arity-2-verbs.tdl

@@ -1,3 +1,35 @@
+acabar := trans-verb-lex &
+  [ STEM < "acabar" >,
+    SYNSEM.LKEYS.KEYREL.PRED "_acabar_v_rel" ].
+
+fazer_4 := trans-verb-lex &
+  [ STEM < "fazer" >,
+    SYNSEM.LKEYS.KEYREL.PRED "_fazer_v_4_rel" ].
+
+publicar := trans-verb-lex &
+  [ STEM < "publicar" >,
+    SYNSEM.LKEYS.KEYREL.PRED "_publicar_v_rel" ].
+
+aumentar_2 := trans-verb-lex &
+  [ STEM < "aumentar" >,
+    SYNSEM.LKEYS.KEYREL.PRED "_aumentar_v_2_rel" ].
+
+criticar_3 := trans-verb-lex &
+  [ STEM < "criticar" >,
+    SYNSEM.LKEYS.KEYREL.PRED "_criticar_v_3_rel" ].
+
+resolver := trans-verb-lex &
+  [ STEM < "resolver" >,
+    SYNSEM.LKEYS.KEYREL.PRED "_resolver_v_rel" ].
+
+escrever := trans-verb-lex &
+  [ STEM < "escrever" >,
+    SYNSEM.LKEYS.KEYREL.PRED "_escrever_v_rel" ].
+
+ganhar := trans-verb-lex &
+  [ STEM < "ganhar" >,
+    SYNSEM.LKEYS.KEYREL.PRED "_ganhar_v_rel" ].
+
 acuar := trans-verb-lex &
   [ STEM < "acuar" >,
     SYNSEM.LKEYS.KEYREL.PRED "_acuar_v_rel" ].
@@ -34,22 +66,10 @@ extinguir := trans-verb-lex &
   [ STEM < "extinguir" >,
     SYNSEM.LKEYS.KEYREL.PRED "_extinguir_v_rel" ].
 
-imitar := trans-verb-lex &
-  [ STEM < "imitar" >,
-    SYNSEM.LKEYS.KEYREL.PRED "_imitar_v_rel" ].
-
-perseguir := trans-verb-lex &
-  [ STEM < "perseguir" >,
-    SYNSEM.LKEYS.KEYREL.PRED "_perseguir_v_rel" ].
-
 puir := trans-verb-lex &
   [ STEM < "puir" >,
     SYNSEM.LKEYS.KEYREL.PRED "_puir_v_rel" ].
 
-socorrer := trans-verb-lex &
-  [ STEM < "socorrer" >,
-    SYNSEM.LKEYS.KEYREL.PRED "_socorrer_v_rel" ].
-
 tanger := trans-verb-lex &
   [ STEM < "tanger" >,
     SYNSEM.LKEYS.KEYREL.PRED "_tanger_v_rel" ].

conj123-2-verbs.tdl

@@ -6,7 +6,4 @@ partir := trans-verb-lex &
   [ STEM < "partir" >,
     SYNSEM.LKEYS.KEYREL.PRED "_partir_v_rel" ].
 
-vender := trans-verb-lex &
-  [ STEM < "vender" >,
-    SYNSEM.LKEYS.KEYREL.PRED "_vender_v_rel" ].
 

control-verbs.tdl

@@ -1,3 +1,6 @@
+; TODO: 24.11.21 this file also contaisn raising verbs,
+; which should be placed in a file of their own
+
 preferir_1 := inf-trans-first-arg-control-verb-lex &
   [ STEM < "preferir" >,
     SYNSEM.LKEYS.KEYREL.PRED "_preferir_v_1_rel" ].
@@ -10,27 +13,27 @@ planejar := inf-trans-first-arg-control-verb-lex &
   [ STEM < "planejar" >,
     SYNSEM.LKEYS.KEYREL.PRED "_planejar_v_rel" ].
 
-ousar :=  inf-trans-first-arg-control-verb-lex &
+ousar := inf-trans-first-arg-control-verb-lex &
   [ STEM < "ousar" >,
     SYNSEM.LKEYS.KEYREL.PRED "_ousar_v_rel" ].
 
-desejar_2 :=inf-trans-first-arg-control-verb-lex &
+desejar_2 := inf-trans-first-arg-control-verb-lex &
   [ STEM < "desejar" >,
     SYNSEM.LKEYS.KEYREL.PRED "_desejar_v_2_rel" ].
 
-querer_2 :=inf-trans-first-arg-control-verb-lex &
+querer_2 := inf-trans-first-arg-control-verb-lex &
   [ STEM < "querer" >,
     SYNSEM.LKEYS.KEYREL.PRED "_querer_v_2_rel" ].
 
-saber_3 :=inf-trans-first-arg-control-verb-lex &
+saber_3 := inf-trans-first-arg-control-verb-lex &
   [ STEM < "saber" >,
     SYNSEM.LKEYS.KEYREL.PRED "_saber_v_3_rel" ].
 
-detestar_4 :=inf-trans-first-arg-control-verb-lex &
+detestar_3 := inf-trans-first-arg-control-verb-lex &
   [ STEM < "detestar" >,
-    SYNSEM.LKEYS.KEYREL.PRED "_detestar_v_4_rel" ].
+    SYNSEM.LKEYS.KEYREL.PRED "_detestar_v_3_rel" ].
 
-lamentar_3 :=inf-trans-first-arg-control-verb-lex &
+lamentar_3 := inf-trans-first-arg-control-verb-lex &
   [ STEM < "lamentar" >,
     SYNSEM.LKEYS.KEYREL.PRED "_lamentar_v_3_rel" ].
 
@@ -42,18 +45,22 @@ tentar := inf-trans-first-arg-control-verb-lex &
   [ STEM < "tentar" >,
     SYNSEM.LKEYS.KEYREL.PRED "_tentar_v_rel" ].
 
-dizer_3 := inf-trans-first-arg-control-verb-lex &
+dizer_3 := fac-infl-inf-trans-first-arg-control-verb-lex &
   [ STEM < "dizer" >,
     SYNSEM.LKEYS.KEYREL.PRED "_dizer_v_3_rel" ].
 
-acreditar_2 := inf-trans-first-arg-control-verb-lex &
+acreditar_2 := fac-infl-inf-trans-first-arg-control-verb-lex &
   [ STEM < "acreditar" >,
     SYNSEM.LKEYS.KEYREL.PRED "_acreditar_v_2_rel" ].
 
 tencionar := inf-trans-first-arg-control-verb-lex &
 [ STEM < "tencionar" >,
  SYNSEM.LKEYS.KEYREL.PRED "_tencionar_v_rel" ].
 
+gostar_2 := de-inf-comp-trans-first-arg-control-verb-lex &
+  [ STEM < "gostar" >,
+    SYNSEM.LKEYS.KEYREL.PRED "_gostar_v_2_rel" ].
+
 insistir_4 := em-inf-comp-trans-first-arg-control-verb-lex &
   [ STEM < "insistir" >,
     SYNSEM.LKEYS.KEYREL.PRED "_insistir_v_4_rel" ].
@@ -62,6 +69,10 @@ prometer_1 := inf-ditrans-first-arg-control-verb-lex &
   [ STEM < "prometer" >,
     SYNSEM.LKEYS.KEYREL.PRED "_prometer_v_1_rel" ].
 
+convencer_1 := a-inf-ditrans-second-arg-control-verb-lex &
+  [ STEM < "convencer" >,
+    SYNSEM.LKEYS.KEYREL.PRED "_convencer_v_1_rel" ].
+
 impedir_1 := de-inf-ditrans-second-arg-control-verb-lex &
   [ STEM < "impedir" >,
     SYNSEM.LKEYS.KEYREL.PRED "_impedir_v_1_rel" ].
@@ -78,14 +89,55 @@ persuadir := a-inf-ditrans-second-arg-control-verb-lex &
   [ STEM < "persuadir" >,
     SYNSEM.LKEYS.KEYREL.PRED "_persuadir_v_rel" ].
 
-convencer := a-inf-ditrans-second-arg-control-verb-lex &
-  [ STEM < "convencer" >,
-    SYNSEM.LKEYS.KEYREL.PRED "_convencer_v_rel" ].
-
 forçar := a-inf-ditrans-second-arg-control-verb-lex &
   [ STEM < "forçar" >,
     SYNSEM.LKEYS.KEYREL.PRED "_forçar_v_rel" ].
 
-dizer_5 := para-inf-ditrans-second-arg-rec-control-verb-lex &
+dizer_4 := para-inf-ditrans-second-arg-rec-control-verb-lex &
   [ STEM < "dizer" >,
-    SYNSEM.LKEYS.KEYREL.PRED "_dizer_v_5_rel" ].
+    SYNSEM.LKEYS.KEYREL.PRED "_dizer_v_4_rel" ].
+
+convencer_2 := a-que-ditrans-second-arg-control-verb-lex &
+  [ STEM < "convencer" >,
+    SYNSEM.LKEYS.KEYREL.PRED "_convencer_v_2_rel" ].
+
+autorizar_1 := a-que-ditrans-second-arg-control-verb-lex &
+  [ STEM < "autorizar" >,
+    SYNSEM.LKEYS.KEYREL.PRED "_autorizar_v_1_rel" ].
+
+autorizar_2 := a-inf-ditrans-second-arg-control-verb-lex &
+  [ STEM < "autorizar" >,
+    SYNSEM.LKEYS.KEYREL.PRED "_autorizar_v_2_rel" ].
+
+ouvir_2 := nonpast-nonfin-ditrans-second-arg-control-verb-lex &
+  [ STEM < "ouvir" >,
+    SYNSEM.LKEYS.KEYREL.PRED "_ouvir_v_2_rel" ].
+
+ver_2 := nonpast-nonfin-ditrans-second-arg-control-verb-lex &
+  [ STEM < "ver" >,
+    SYNSEM.LKEYS.KEYREL.PRED "_ver_v_2_rel" ].
+
+ver_3 := infl-inf-trans-first-arg-control-verb-lex &
+  [ STEM < "ver" >,
+    SYNSEM.LKEYS.KEYREL.PRED "_ver_v_3_rel" ].
+
+fazer_3 := inf-ditrans-second-arg-raising-verb-lex &
+  [ STEM < "fazer" >,
+    SYNSEM.LKEYS.KEYREL.PRED "_fazer_v_3_rel" ].
+
+deixar_2 := inf-ditrans-second-arg-raising-verb-lex  &
+  [ STEM < "deixar" >,
+    SYNSEM.LKEYS.KEYREL.PRED "_deixar_v_2_rel" ].
+
+; TODO 24.11.21 remove from lexicon.tdl file
+;deixar_2 := inf-caus-verb-lex &
+;  [ STEM < "deixar" >,
+;    SYNSEM.LKEYS.KEYREL.PRED "_deixar_v_2_rel" ].
+
+;mandar_2 := inf-caus-verb-lex &
+;  [ STEM < "mandar" >,
+;    SYNSEM.LKEYS.KEYREL.PRED "_mandar_v_2_rel" ].
+
+mandar_2 := bare-inf-ditrans-second-arg-control-verb-lex &
+  [ STEM < "mandar" >,
+    SYNSEM.LKEYS.KEYREL.PRED "_mandar_v_2_rel" ].

lexicon.tdl

@@ -718,29 +718,29 @@ saber_2 := fact-mental-act-verb-lex &
   [ STEM < "saber" >,
     SYNSEM.LKEYS.KEYREL.PRED "_saber_v_2_rel" ].
 
-fazer_3 := inf-caus-verb-lex &
-  [ STEM < "fazer" >,
-    SYNSEM.LKEYS.KEYREL.PRED "_fazer_v_3_rel" ].
+;fazer_3 := inf-caus-verb-lex &
+;  [ STEM < "fazer" >,
+;    SYNSEM.LKEYS.KEYREL.PRED "_fazer_v_3_rel" ].
 
-mandar_2 := inf-caus-verb-lex &
-  [ STEM < "mandar" >,
-    SYNSEM.LKEYS.KEYREL.PRED "_mandar_v_2_rel" ].
+;mandar_2 := inf-caus-verb-lex &
+;  [ STEM < "mandar" >,
+;    SYNSEM.LKEYS.KEYREL.PRED "_mandar_v_2_rel" ].
 
-deixar_2 := inf-caus-verb-lex &
-  [ STEM < "deixar" >,
-    SYNSEM.LKEYS.KEYREL.PRED "_deixar_v_2_rel" ].
+;deixar_2 := inf-caus-verb-lex &
+;  [ STEM < "deixar" >,
+;    SYNSEM.LKEYS.KEYREL.PRED "_deixar_v_2_rel" ].
 
-ouvir_2 := inf-percep-verb-lex &
-  [ STEM < "ouvir" >,
-    SYNSEM.LKEYS.KEYREL.PRED "_ouvir_v_2_rel" ].
+;ouvir_2 := inf-percep-verb-lex &
+;  [ STEM < "ouvir" >,
+;    SYNSEM.LKEYS.KEYREL.PRED "_ouvir_v_2_rel" ].
 
-ver_2 := inf-percep-verb-lex &
-  [ STEM < "ver" >,
-    SYNSEM.LKEYS.KEYREL.PRED "_ver_v_2_rel" ].
+;ver_2 := inf-percep-verb-lex &
+;  [ STEM < "ver" >,
+;    SYNSEM.LKEYS.KEYREL.PRED "_ver_v_2_rel" ].
 
-sentir_2 := inf-percep-verb-lex &
-  [ STEM < "sentir" >,
-    SYNSEM.LKEYS.KEYREL.PRED "_sentir_v_2_rel" ].
+;sentir_2 := inf-percep-verb-lex &
+;  [ STEM < "sentir" >,
+;    SYNSEM.LKEYS.KEYREL.PRED "_sentir_v_2_rel" ].
 
 pedir_2 := para-que-cl-verb-lex &
   [ STEM < "pedir" >,

lkb/my-script

@@ -52,7 +52,7 @@
 ;;; Next, the lexicon itself, instantiating (lexical) types of the grammar
 ;;; (some grammars with larger lexica organize them into multiple files).
 ;;;
-
+;@start
 (read-tdl-lex-file-aux (list
 			(lkb-pathname (parent-directory) "lexicon.tdl")
 			(lkb-pathname (parent-directory) "arity-1-verbs.tdl")
@@ -65,7 +65,9 @@
 			(lkb-pathname (parent-directory) "my-auxiliaries.tdl")
 			(lkb-pathname (parent-directory) "control-verbs.tdl")
 			(lkb-pathname (parent-directory) "my-nouns.tdl")
+			(lkb-pathname (parent-directory) "my-cl-compl-verbs.tdl")
 			))
+;@end
 ;;; (read-tdl-lex-file-aux (list (lkb-pathname (parent-directory) "lexicon.tdl") ))
 
 

my-adpositions.tdl

@@ -1,20 +1,20 @@
 ;;; Case-marking adpositions
 
-dat-marker_a := prep-case-marking-adp-lex &
+dat-marker_a := obl-case-marking-adp-lex &
   [ STEM < "a" >,
     SYNSEM.LOCAL [ CONT [ HOOK [ ICONS-KEY.IARG1 #clause,
                                  CLAUSE-KEY #clause ],
                           ICONS.LIST < > ],
                    CAT.HEAD [ CASE dat ] ] ].
 
-goal-marker_para := prep-case-marking-adp-lex &
+goal-marker_para := obl-case-marking-adp-lex &
   [ STEM < "para" >,
     SYNSEM.LOCAL [ CONT [ HOOK [ ICONS-KEY.IARG1 #clause,
                                  CLAUSE-KEY #clause ],
                           ICONS.LIST < > ],
                    CAT.HEAD [ CASE goa ] ] ].
 
-gen-marker_de := prep-case-marking-adp-lex &
+gen-marker_de := obl-case-marking-adp-lex &
   [ STEM < "de" >,
     SYNSEM.LOCAL [ CONT [ HOOK [ ICONS-KEY.IARG1 #clause,
                                  CLAUSE-KEY #clause ],

my-auxiliaries.tdl

@@ -2,9 +2,13 @@ começar_2 := a-compl-subj-raise-aux-with-pred &
   [ STEM < "começar" >,
     SYNSEM.LKEYS.KEYREL.PRED "_começar_v_rel" ].
 
-parar := de-compl-subj-raise-aux-with-pred &
+parar_1 := de-compl-subj-raise-aux-with-pred &
   [ STEM < "parar" >,
-    SYNSEM.LKEYS.KEYREL.PRED "_parar_v_rel" ].
+    SYNSEM.LKEYS.KEYREL.PRED "_parar_v_1_rel" ].
+
+haver_2 := de-compl-subj-raise-aux-with-pred &
+  [ STEM < "haver" >,
+    SYNSEM.LKEYS.KEYREL.PRED "_haver_v_2_rel" ].
 
 ter_3 := que-de-compl-subj-raise-aux-with-pred &
   [ STEM < "ter" >,

my-cl-compl-verbs.tdl

@@ -0,0 +1,12 @@
+; manually encoded divalent verbs governing a clausal complement
+
+aprovar_3 := inf-eval-verb-lex &
+  [ STEM < "aprovar" >,
+    SYNSEM.LKEYS.KEYREL.PRED "_aprovar_v_3_rel" ].
+
+pensar_2 := quest-verb-lex &
+  [ STEM < "pensar" >,
+    SYNSEM.LKEYS.KEYREL.PRED "_pensar_v_2_rel" ].
+
+
+