diff --git a/src/basque/LexiconEus.gf b/src/basque/LexiconEus.gf
index 1fc3555e..143f49a9 100644
--- a/src/basque/LexiconEus.gf
+++ b/src/basque/LexiconEus.gf
@@ -196,7 +196,7 @@ lin jump_V = mkV "jauzi" egin_V ; --Apertium
 lin kill_V2 = mkV2 "hil" ; --Apertium
 lin king_N = mkN "errege" animate ; --Apertium
 lin knee_N = mkN "belaun" ; --Apertium
-lin know_V2 = lin V2 jakin_V2 ; -- synthetic verb
+lin know_V2 = jakin_V2 ; -- synthetic verb
 lin know_VQ = lin VQ jakin_V2 ; -- synthetic verb
 
 lin know_VS = ukanV "uste" ;
@@ -426,11 +426,11 @@ oper
   egin_V : V = mkV "egin" ;
 
   -- Some synthetic verbs
-  etorri_V : R.Verb = R.syntVerbDa "etorri" R.Etorri ;
+  etorri_V : V = lin V (R.syntVerbDa "etorri" R.Etorri) ;
 
-  ibili_V : R.Verb = R.syntVerbDa "ibili" R.Ibili ;
+  ibili_V : V = lin V (R.syntVerbDa "ibili" R.Ibili) ;
 
-  jakin_V2 : R.Verb = R.syntVerbDu "jakin" R.Jakin ;
+  jakin_V2 : V2 = lin V2 (R.syntVerbDu "jakin" R.Jakin) ;
 
-  joan_V : R.Verb = R.syntVerbDa "joan" R.Joan ;
-}
\ No newline at end of file
+  joan_V : V = lin V (R.syntVerbDa "joan" R.Joan) ;
+}
diff --git a/src/basque/ParadigmsEus.gf b/src/basque/ParadigmsEus.gf
index 5836fee1..4c04a8e9 100644
--- a/src/basque/ParadigmsEus.gf
+++ b/src/basque/ParadigmsEus.gf
@@ -116,15 +116,15 @@ oper
   -- Verbs with non-inflecting participle
   -- These are just Verb, use izanV or egonV for intransitive and ukanV for transitive.
 
-  izanV : Str -> Verb = \bizi -> 
-    mkVerbDa bizi ** { prc = \\_ => bizi } ; -- Non-inflecting participle, auxtype is Da (nor): e.g. "bizi naiz", "beldur naiz"
+  izanV : Str -> V = \bizi ->
+    lin V (mkVerbDa bizi ** { prc = \\_ => bizi }) ; -- Non-inflecting participle, auxtype is Da (nor): e.g. "bizi naiz", "beldur naiz"
 
-  egonV : Str -> Verb = \zain -> 
-    mkVerbDaEgon zain ** { prc = \\_ => zain } ; -- Non-inflecting participle, auxtype is Da (nor), but with egon: e.g. "zain nago"
+  egonV : Str -> V = \zain ->
+    lin V (mkVerbDaEgon zain ** { prc = \\_ => zain }) ; -- Non-inflecting participle, auxtype is Da (nor), but with egon: e.g. "zain nago"
 
 
-  ukanV : Str -> Verb = \maite -> 
-    mkVerbDu maite ** { prc = \\_ => maite } ; -- Non-inflecting participle, auxtype is Du (nor-nork): e.g, "maite zaitut"
+  ukanV : Str -> V = \maite ->
+    lin V (mkVerbDu maite ** { prc = \\_ => maite }) ; -- Non-inflecting participle, auxtype is Du (nor-nork): e.g, "maite zaitut"
 
 
 --2 Structural categories