diff --git a/lib/doc/MkSynopsis.hs b/lib/doc/MkSynopsis.hs index c9a8b1d79..3e0cdb10b 100644 --- a/lib/doc/MkSynopsis.hs +++ b/lib/doc/MkSynopsis.hs @@ -53,7 +53,7 @@ main = do -- delimit rs space title "Lexical Paradigms" ----- mapM_ (putParadigms isLatex cs) paradigmFiles + mapM_ (putParadigms isLatex cs) paradigmFiles space include "synopsis-browse.txt" space @@ -180,6 +180,7 @@ paradigmFiles = [ ("Bulgarian", srcPath "/bulgarian/ParadigmsBul.gf"), ("Catalan", srcPath "/catalan/ParadigmsCat.gf"), ("Danish", srcPath "/danish/ParadigmsDan.gf"), + ("Dutch", srcPath "/dutch/ParadigmsDut.gf"), ("English", srcPath "/english/ParadigmsEng.gf"), ("Finnish", srcPath "/finnish/ParadigmsFin.gf"), ("French", srcPath "/french/ParadigmsFre.gf"), diff --git a/lib/doc/status.html b/lib/doc/status.html index 94dcdfd51..503db1ab7 100644 --- a/lib/doc/status.html +++ b/lib/doc/status.html @@ -7,7 +7,7 @@
@@ -47,6 +47,19 @@ are marked in the table
-Since the character encoding is UTF-8 for Russian and Latin-1 for other -languages, you -may have to change the encoding preference of your browser when reading different -parts of the document. -
-
The second-last chapter gives instructions on how to "browse" the library by
loading the grammars into the gf command editor.
-New: Browsing by syntax editor -directly on the web. -
-The last chapter contains a brief example of how application grammars can import resource modules. At the same time, it illustrates a "design pattern" for using the resource API to build functor-based applications
+
+The current status of resource grammar completion for different languages is shown
+in status.html.
+
@@ -343,6 +339,11 @@ also in the Paradigms modules.
mkIAdv-> Adv -> IAdvwhen_IAdv+Lexical category, constructors given in +lexical paradigms. +
@@ -3840,12 +3852,16 @@ source
@@ -4080,7 +4096,7 @@ source
@@ -4331,7 +4347,290 @@ source
+source
@@ -4389,6 +4688,10 @@ source
@@ -4769,11 +5076,11 @@ source
@@ -5188,7 +5495,7 @@ source
@@ -5238,6 +5545,22 @@ source
@@ -5698,7 +6033,7 @@ source
@@ -5949,7 +6284,7 @@ source
@@ -5964,479 +6299,479 @@ source
@@ -6642,6 +6977,10 @@ source
@@ -6846,7 +7185,7 @@ source
@@ -7085,7 +7424,7 @@ source
@@ -7224,7 +7563,7 @@ source
@@ -7406,6 +7749,10 @@ source
New: Browsing by syntax editor
@@ -7522,7 +7893,7 @@ To try out overloaded syntax, test lexicon, and inflection paradigms:
> cc mkCl (mkNP this_Quant (mkN "Farbe")) (mkA "dunkel")
The standard way of building an application has the following modules.
diff --git a/lib/doc/synopsis.txt b/lib/doc/synopsis.txt
index 5bbb0f166..945e9a38f 100644
--- a/lib/doc/synopsis.txt
+++ b/lib/doc/synopsis.txt
@@ -26,6 +26,7 @@ B. Bringert and A. Ranta
%!postproc(html): '(?i)(HREF="#IDet")( TITLE="[^"]*")?' '\1 TITLE="IDet - interrogative determiner"'
%!postproc(html): '(?i)(HREF="#IP")( TITLE="[^"]*")?' '\1 TITLE="IP - interrogative pronoun"'
%!postproc(html): '(?i)(HREF="#Imp")( TITLE="[^"]*")?' '\1 TITLE="Imp - imperative"'
+%!postproc(html): '(?i)(HREF="#Interj")( TITLE="[^"]*")?' '\1 TITLE="Interj - interjection"'
%!postproc(html): '(?i)(HREF="#N")( TITLE="[^"]*")?' '\1 TITLE="N - common noun"'
%!postproc(html): '(?i)(HREF="#N2")( TITLE="[^"]*")?' '\1 TITLE="N2 - relational noun"'
%!postproc(html): '(?i)(HREF="#N3")( TITLE="[^"]*")?' '\1 TITLE="N3 - three-place relational noun"'
@@ -104,6 +105,7 @@ Source 2: [``http://www.grammaticalframework.org/lib/resource/src/abstract/Cat.g
| [IDet #IDet] | interrogative determiner | //how many// |
| [IP #IP] | interrogative pronoun | //who// |
| [Imp #Imp] | imperative | //look at this// |
+| [Interj #Interj] | interjection | //alas// |
| [N #N] | common noun | //house// |
| [N2 #N2] | relational noun | //son// |
| [N3 #N3] | three-place relational noun | //connection// |
@@ -352,6 +354,7 @@ Lexical category, constructors given in
| ``how8much_IAdv`` | [IAdv #IAdv] | //how8much// |
| ``how_IAdv`` | [IAdv #IAdv] | //how// |
| ``mkIAdv`` | [Prep #Prep] ``->`` [IP #IP] ``->`` [IAdv #IAdv] | //in which city// |
+| ``mkIAdv`` | [IAdv #IAdv] ``->`` [Adv #Adv] ``->`` [IAdv #IAdv] | //where in Paris// |
| ``when_IAdv`` | [IAdv #IAdv] | //when// |
| ``where_IAdv`` | [IAdv #IAdv] | //where// |
| ``why_IAdv`` | [IAdv #IAdv] | //why// |
@@ -383,6 +386,9 @@ Lexical category, constructors given in
| ``pluralImpForm`` | [ImpForm #ImpForm] | //(help yourselves)// |
| ``politeImpForm`` | [ImpForm #ImpForm] | //(help yourself) (polite singular)// |
| ``singularImpForm`` | [ImpForm #ImpForm] | //(help yourself) [default]// |
+==Interj - interjection==[Interj]
+Lexical category, constructors given in
+[lexical paradigms #RParadigms].
==ListAP==[ListAP]
|| Function | Type | Example ||
| ``mkListAP`` | [AP #AP] ``->`` [AP #AP] ``->`` [ListAP #ListAP] | //old, big// |
@@ -892,6 +898,7 @@ source [``http://www.grammaticalframework.org/lib/resource/src/bulgarian/Paradig
| ``mkV185`` | ``Str`` ``->`` [VTable #VTable] |
| ``mkV186`` | ``Str`` ``->`` [VTable #VTable] |
| ``mkV187`` | ``Str`` ``->`` [VTable #VTable] |
+| ``mkV188`` | ``Str`` ``->`` [VTable #VTable] |
| ``adjAdv`` | [A #A] ``->`` ``Str`` ``->`` [A #A] ``=`` |
@@ -1033,6 +1040,85 @@ source [``http://www.grammaticalframework.org/lib/resource/src/danish/ParadigmsD
| ``V0`` | [Type #Type] |
+==Paradigms for Dutch==
+#LParadigms
+
+
+source [``http://www.grammaticalframework.org/lib/resource/src/dutch/ParadigmsDut.gf`` ../src/dutch/ParadigmsDut.gf]
+
+
+
+
+|| Function | Type ||
+| ``masculine`` | [Gender #Gender] |
+| ``feminine`` | [Gender #Gender] |
+| ``neuter`` | [Gender #Gender] |
+| ``utrum`` | [Gender #Gender] |
+| ``de,het`` | [Gender #Gender] |
+| ``mkN`` | ``(muis`` ``:`` ``Str)`` ``->`` [N #N] |
+| ``mkN`` | ``(bit`` ``:`` ``Str)`` ``->`` [Gender #Gender] ``->`` [N #N] |
+| ``mkN`` | ``(gat,gaten`` ``:`` ``Str)`` ``->`` [Gender #Gender] ``->`` [N #N] |
+| ``mkN`` | ``(muis`` ``:`` ``Str)`` ``->`` [N #N] ``=`` ``\a`` ``->`` ``lin`` [N #N] ``(regNoun`` ``a)`` |
+| ``mkN`` | ``(bit`` ``:`` ``Str)`` ``->`` [Gender #Gender] ``->`` [N #N] ``=`` ``\a,b`` ``->`` ``lin`` [N #N] ``(regNounG`` ``a`` ``b)`` |
+| ``mkN`` | ``(gat,gaten`` ``:`` ``Str)`` ``->`` [Gender #Gender] ``->`` [N #N] ``=`` ``\a,b,c`` ``->`` ``lin`` [N #N] ``(mkNoun`` ``a`` ``b`` ``c)`` |
+| ``mkN2`` | [N #N] ``->`` [N2 #N2] |
+| ``mkN2`` | [N #N] ``->`` [Prep #Prep] ``->`` [N2 #N2] |
+| ``mkN2`` | [N #N] ``->`` [N2 #N2] ``=`` ``\n`` ``->`` ``lin`` [N2 #N2] ``(n`` ``**`` ``{c2`` ``=`` ``"van"})`` |
+| ``mkN2`` | [N #N] ``->`` [Prep #Prep] ``->`` [N2 #N2] ``=`` ``\n,p`` ``->`` ``lin`` [N2 #N2] ``(n`` ``**`` ``{c2`` ``=`` ``p.s})`` |
+| ``mkN3`` | [N #N] ``->`` [Prep #Prep] ``->`` [Prep #Prep] ``->`` [N3 #N3] |
+| ``mkPN`` | ``Str`` ``->`` [PN #PN] |
+| ``mkPN`` | ``Str`` ``->`` [PN #PN] ``=`` ``\s`` ``->`` ``lin`` [PN #PN] ``{s`` ``=`` ``\\_`` ``=>`` ``s}`` |
+| ``mkA`` | ``(vers`` ``:`` ``Str)`` ``->`` [A #A] |
+| ``mkA`` | ``(goed,goede,goeds,beter,best`` ``:`` ``Str)`` ``->`` [A #A] |
+| ``mkA`` | ``(vers`` ``:`` ``Str)`` ``->`` [A #A] ``=`` ``\a`` ``->`` ``lin`` [A #A] ``(regAdjective`` ``a)`` |
+| ``mkA`` | ``(goed,goede,goeds,beter,best`` ``:`` ``Str)`` ``->`` [A #A] ``=`` ``\a,b,c,d,e`` ``->`` ``lin`` [A #A] ``(mkAdjective`` ``a`` ``b`` ``c`` ``d`` ``e)`` |
+| ``invarA`` | ``Str`` ``->`` [A #A] |
+| ``mkA2`` | [A #A] ``->`` [Prep #Prep] ``->`` [A2 #A2] |
+| ``mkAdv`` | ``Str`` ``->`` [Adv #Adv] |
+| ``mkPrep`` | ``Str`` ``->`` [Prep #Prep] |
+| ``van_Prep`` | [Prep #Prep] |
+| ``te_Prep`` | [Prep #Prep] |
+| ``mkV`` | ``(aaien`` ``:`` ``Str)`` ``->`` [V #V] |
+| ``mkV`` | ``(breken,brak,gebroken`` ``:`` ``Str)`` ``->`` [V #V] |
+| ``mkV`` | ``(breken,brak,braken,gebroken`` ``:`` ``Str)`` ``->`` [V #V] |
+| ``mkV`` | ``(aai,aait,aaien,aaide,aaide,aaiden,geaaid`` ``:`` ``Str)`` ``->`` [V #V] |
+| ``mkV`` | ``Str`` ``->`` [V #V] ``->`` [V #V] |
+| ``mkV`` | ``(aaien`` ``:`` ``Str)`` ``->`` [V #V] ``=`` |
+| ``mkV`` | ``(breken,brak,gebroken`` ``:`` ``Str)`` ``->`` [V #V] ``=`` |
+| ``mkV`` | ``(breken,brak,braken,gebroken`` ``:`` ``Str)`` ``->`` [V #V] ``=`` |
+| ``mkV`` | ``(aai,aait,aaien,aaide,aaiden,geaaid`` ``:`` ``Str)`` ``->`` [V #V] ``=`` |
+| ``mkV`` | ``Str`` ``->`` [V #V] ``->`` [V #V] ``=`` ``\v,s`` ``->lin`` [V #V] ``(prefixV`` ``v`` ``s)`` |
+| ``zijnV`` | [V #V] ``->`` [V #V] |
+| ``reflV`` | [V #V] ``->`` [V #V] |
+| ``zijn_V`` | [V #V] ``=`` ``lin`` [V #V] ``ResDut.zijn_V`` |
+| ``hebben_V`` | [V #V] ``=`` ``lin`` [V #V] ``ResDut.hebben_V`` |
+| ``mkV2`` | ``Str`` ``->`` [V2 #V2] |
+| ``mkV2`` | [V #V] ``->`` [V2 #V2] |
+| ``mkV2`` | [V #V] ``->`` [Prep #Prep] ``->`` [V2 #V2] |
+| ``mkV2`` | ``Str`` ``->`` [V2 #V2] ``=`` ``\s`` ``->`` ``lin`` [V2 #V2] ``(v2vv`` ``(regVerb`` ``s)`` ``**`` ``{c2`` ``=`` ``[]})`` |
+| ``mkV2`` | [V #V] ``->`` [V2 #V2] ``=`` ``\s`` ``->`` ``lin`` [V2 #V2] ``(s`` ``**`` ``{c2`` ``=`` ``[]})`` |
+| ``mkV2`` | [V #V] ``->`` [Prep #Prep] ``->`` [V2 #V2] ``=`` ``\s,p`` ``->`` ``lin`` [V2 #V2] ``(s`` ``**`` ``{c2`` ``=`` ``p.s})`` |
+| ``mkV3`` | [V #V] ``->`` [V3 #V3] |
+| ``mkV3`` | [V #V] ``->`` [Prep #Prep] ``->`` [V3 #V3] |
+| ``mkV3`` | [V #V] ``->`` [Prep #Prep] ``->`` [Prep #Prep] ``->`` [V3 #V3] |
+| ``mkV3`` | [V #V] ``->`` [Prep #Prep] ``->`` [Prep #Prep] ``->`` [V3 #V3] ``=`` ``mkmaxV3`` |
+| ``mkV3`` | [V #V] ``->`` [Prep #Prep] ``->`` [V3 #V3] ``=`` ``\v,p`` ``->`` ``mkmaxV3`` ``v`` ``(mkPrep`` ``[])`` ``p`` |
+| ``mkV3`` | [V #V] ``->`` [V3 #V3] ``=`` ``\v`` ``->`` ``mkmaxV3`` ``v`` ``(mkPrep`` ``[])`` ``(mkPrep`` ``[])`` |
+| ``mkmaxV3`` | [V #V] ``->`` [Prep #Prep] ``->`` [Prep #Prep] ``->`` [V3 #V3] ``=`` ``\v,c,d`` ``->`` ``lin`` [V3 #V3] ``(v`` ``**`` ``{c2`` ``=`` ``c.s`` ``c3`` ``=`` ``d.s})`` |
+| ``mkV0`` | [V #V] ``->`` [V0 #V0] |
+| ``mkVS`` | [V #V] ``->`` [VS #VS] |
+| ``mkV2S`` | [V #V] ``->`` [Prep #Prep] ``->`` [V2S #V2S] |
+| ``mkVV`` | [V #V] ``->`` [VV #VV] |
+| ``mkV2V`` | [V #V] ``->`` [Prep #Prep] ``->`` [V2V #V2V] |
+| ``mkVA`` | [V #V] ``->`` [VA #VA] |
+| ``mkV2A`` | [V #V] ``->`` [Prep #Prep] ``->`` [V2A #V2A] |
+| ``mkVQ`` | [V #V] ``->`` [VQ #VQ] |
+| ``mkV2Q`` | [V #V] ``->`` [Prep #Prep] ``->`` [V2Q #V2Q] |
+| ``mkOrd`` | [A #A] ``->`` [Ord #Ord] ``=`` ``\a`` ``->`` ``lin`` [Ord #Ord] ``{s`` ``=`` ``a.s`` ``!`` ``Posit}`` |
+| ``prepV2`` | [V #V] ``->`` [Prep #Prep] ``->`` [V2 #V2] |
+| ``V0`` | [Type #Type] ``=`` [V #V] |
+
+
==Paradigms for English==
#LParadigms
@@ -1054,6 +1140,7 @@ source [``http://www.grammaticalframework.org/lib/resource/src/english/Paradigms
| ``Case`` | [Type #Type] |
| ``nominative`` | [Case #Case] |
| ``genitive`` | [Case #Case] |
+| ``npNumber`` | [NP #NP] ``->`` [Number #Number] |
| ``mkN`` | ``(flash`` ``:`` ``Str)`` ``->`` [N #N] |
| ``mkN`` | ``(man,men`` ``:`` ``Str)`` ``->`` [N #N] |
| ``mkN`` | ``(man,men,man's,men's`` ``:`` ``Str)`` ``->`` [N #N] |
@@ -1075,6 +1162,7 @@ source [``http://www.grammaticalframework.org/lib/resource/src/english/Paradigms
| ``mkA`` | ``(good,better,best,well`` ``:`` ``Str)`` ``->`` [A #A] |
| ``compoundA`` | [A #A] ``->`` [A #A] |
| ``simpleA`` | [A #A] ``->`` [A #A] |
+| ``irregAdv`` | [A #A] ``->`` ``Str`` ``->`` [A #A] |
| ``mkA2`` | [A #A] ``->`` [Prep #Prep] ``->`` [A2 #A2] |
| ``mkA2`` | [A #A] ``->`` ``Str`` ``->`` [A2 #A2] |
| ``mkA2`` | ``Str`` ``->`` [Prep #Prep] ``->`` [A2 #A2] |
@@ -1157,8 +1245,8 @@ source [``http://www.grammaticalframework.org/lib/resource/src/finnish/Paradigms
| ``casePrep`` | [Case #Case] ``->`` [Prep #Prep] |
| ``mkN`` | ``(talo`` ``:`` ``Str)`` ``->`` [N #N] |
| ``mkN`` | ``(savi,savia`` ``:`` ``Str)`` ``->`` [N #N] |
-| ``mkN`` | ``(vesi,veden,vesiä`` ``:`` ``Str)`` ``->`` [N #N] |
-| ``mkN`` | ``(vesi,veden,vesiä,vettä`` ``:`` ``Str)`` ``->`` [N #N] |
+| ``mkN`` | ``(vesi,veden,vesiä`` ``:`` ``Str)`` ``->`` [N #N] |
+| ``mkN`` | ``(vesi,veden,vesiä,vettä`` ``:`` ``Str)`` ``->`` [N #N] |
| ``mkN`` | ``(olo,olon,olona,oloa,oloon,olojen,oloja,oloina,oloissa,oloihin`` ``:`` ``Str)`` ``->`` [N #N] |
| ``mkN`` | ``(pika`` ``:`` ``Str)`` ``->`` ``(juna`` ``:`` ``N)`` ``->`` [N #N] |
| ``mkN`` | ``(oma`` ``:`` ``N)`` ``->`` ``(tunto`` ``:`` ``N)`` ``->`` [N #N] |
@@ -1169,7 +1257,7 @@ source [``http://www.grammaticalframework.org/lib/resource/src/finnish/Paradigms
| ``mkPN`` | [N #N] ``->`` [PN #PN] |
| ``mkA`` | ``Str`` ``->`` [A #A] |
| ``mkA`` | [N #N] ``->`` [A #A] |
-| ``mkA`` | [N #N] ``->`` ``(kivempaa,kivinta`` ``:`` ``Str)`` ``->`` [A #A] |
+| ``mkA`` | [N #N] ``->`` ``(kivempi,kivin`` ``:`` ``Str)`` ``->`` [A #A] |
| ``mkA`` | ``(hyva,parempi,paras`` ``:`` ``N)`` ``->`` ``(hyvin,paremmin,parhaiten`` ``:`` ``Str)`` ``->`` [A #A] |
| ``mkA2`` | [A #A] ``->`` [Prep #Prep] ``->`` [A2 #A2] ``=`` ``\a,p`` ``->`` ``a`` ``**`` ``{c2`` ``=`` ``p`` ``lock_A2`` ``=`` ``<>};`` |
| ``mkV`` | ``(huutaa`` ``:`` ``Str)`` ``->`` [V #V] |
@@ -1291,6 +1379,10 @@ source [``http://www.grammaticalframework.org/lib/resource/src/german/ParadigmsG
| ``accusative`` | [Case #Case] |
| ``dative`` | [Case #Case] |
| ``genitive`` | [Case #Case] |
+| ``anDat_Case`` | [Case #Case] |
+| ``inAcc_Case`` | [Case #Case] |
+| ``inDat_Case`` | [Case #Case] |
+| ``zuDat_Case`` | [Case #Case] |
| ``Number`` | [Type #Type] |
| ``singular`` | [Number #Number] |
| ``plural`` | [Number #Number] |
@@ -1310,15 +1402,18 @@ source [``http://www.grammaticalframework.org/lib/resource/src/german/ParadigmsG
| ``invarA`` | ``Str`` ``->`` [A #A] |
| ``mkA2`` | [A #A] ``->`` [Prep #Prep] ``->`` [A2 #A2] |
| ``mkAdv`` | ``Str`` ``->`` [Adv #Adv] |
-| ``mkPrep`` | ``Str`` ``->`` [Case #Case] ``->`` [Prep #Prep] |
+| ``mkPrep`` | ``Str`` ``->`` [PCase #PCase] ``->`` [Prep #Prep] |
| ``accPrep`` | [Prep #Prep] |
| ``datPrep`` | [Prep #Prep] |
| ``genPrep`` | [Prep #Prep] |
| ``von_Prep`` | [Prep #Prep] |
| ``zu_Prep`` | [Prep #Prep] |
-| ``mkV`` | ``(führen`` ``:`` ``Str)`` ``->`` [V #V] |
-| ``mkV`` | ``(sehen,sieht,sah,sähe,gesehen`` ``:`` ``Str)`` ``->`` [V #V] |
-| ``mkV`` | ``(geben,`` ``gibt,`` ``gib,`` ``gab,`` ``gäbe,`` ``gegeben`` ``:`` ``Str)`` ``->`` [V #V] |
+| ``anDat_Prep`` | [Prep #Prep] |
+| ``inDat_Prep`` | [Prep #Prep] |
+| ``inAcc_Prep`` | [Prep #Prep] |
+| ``mkV`` | ``(führen`` ``:`` ``Str)`` ``->`` [V #V] |
+| ``mkV`` | ``(sehen,sieht,sah,sähe,gesehen`` ``:`` ``Str)`` ``->`` [V #V] |
+| ``mkV`` | ``(geben,`` ``gibt,`` ``gib,`` ``gab,`` ``gäbe,`` ``gegeben`` ``:`` ``Str)`` ``->`` [V #V] |
| ``mkV`` | ``Str`` ``->`` [V #V] ``->`` [V #V] |
| ``no_geV`` | [V #V] ``->`` [V #V] |
| ``fixprefixV`` | ``Str`` ``->`` [V #V] ``->`` [V #V] |
@@ -1497,154 +1592,154 @@ source [``http://www.grammaticalframework.org/lib/resource/src/polish/ParadigmsP
|| Function | Type ||
-| ``Gender`` | [Type #Type] |
-| ``masculineP`` | [Gender #Gender] |
-| ``masculineA`` | [Gender #Gender] |
-| ``masculineI`` | [Gender #Gender] |
-| ``feminine`` | [Gender #Gender] |
-| ``neuter`` | [Gender #Gender] |
-| ``personal`` | [Animacy #Animacy] |
-| ``Case`` | [Type #Type] |
-| ``nominative`` | [Case #Case] |
-| ``genitive`` | [Case #Case] |
-| ``dative`` | [Case #Case] |
-| ``accusative`` | [Case #Case] |
-| ``instrumental`` | [Case #Case] |
-| ``locative`` | [Case #Case] |
-| ``vocative`` | [Case #Case] |
-| ``Number`` | [Type #Type] |
-| ``singular`` | [Number #Number] |
-| ``plural`` | [Number #Number] |
-| ``nKapiel`` | ``Str`` ``->`` [N #N] |
-| ``nLodz`` | ``Str`` ``->`` [N #N] |
-| ``nSul`` | ``Str`` ``->`` [N #N] |
-| ``nKonew`` | ``Str`` ``->`` [N #N] |
-| ``nWies`` | ``Str`` ``->`` [N #N] |
-| ``nDlon`` | ``Str`` ``->`` [N #N] |
-| ``nSiec`` | ``Str`` ``->`` [N #N] |
-| ``nDrzwi`` | ``Str`` ``->`` [N #N] |
-| ``nKosc`` | ``Str`` ``->`` [N #N] |
-| ``nNoc`` | ``Str`` ``->`` [N #N] |
-| ``nWesz`` | ``Str`` ``->`` [N #N] |
-| ``nKrolowa`` | ``Str`` ``->`` [N #N] |
-| ``nReka`` | ``Str`` ``->`` [N #N] |
-| ``nApteka`` | ``Str`` ``->`` [N #N] |
-| ``nDroga`` | ``Str`` ``->`` [N #N] |
-| ``nMatka`` | ``Str`` ``->`` [N #N] |
-| ``nZiemia`` | ``Str`` ``->`` [N #N] |
-| ``nFala`` | ``Str`` ``->`` [N #N] |
-| ``nLilia`` | ``Str`` ``->`` [N #N] |
-| ``nKobieta`` | ``Str`` ``->`` [N #N] |
-| ``nLiczba`` | ``Str`` ``->`` [N #N] |
-| ``nSila`` | ``Str`` ``->`` [N #N] |
-| ``nDoba`` | ``Str`` ``->`` [N #N] |
-| ``nWoda`` | ``Str`` ``->`` [N #N] |
-| ``nSzkola`` | ``Str`` ``->`` [N #N] |
-| ``nWojna`` | ``Str`` ``->`` [N #N] |
-| ``nWiosna`` | ``Str`` ``->`` [N #N] |
-| ``nMgla`` | ``Str`` ``->`` [N #N] |
-| ``nGwiazda`` | ``Str`` ``->`` [N #N] |
-| ``nUlica`` | ``Str`` ``->`` [N #N] |
-| ``nOwca`` | ``Str`` ``->`` [N #N] |
-| ``nDanie`` | ``Str`` ``->`` [N #N] |
-| ``nSerce`` | ``Str`` ``->`` [N #N] |
-| ``nNasienie`` | ``Str`` ``->`` [N #N] |
-| ``nMorze`` | ``Str`` ``->`` [N #N] |
-| ``nImie`` | ``Str`` ``->`` [N #N] |
-| ``nCiele`` | ``Str`` ``->`` [N #N] |
-| ``nUdo`` | ``Str`` ``->`` [N #N] |
-| ``nPiwo`` | ``Str`` ``->`` [N #N] |
-| ``nZero`` | ``Str`` ``->`` [N #N] |
-| ``nNiebo`` | ``Str`` ``->`` [N #N] |
-| ``nTlo`` | ``Str`` ``->`` [N #N] |
-| ``nZebro`` | ``Str`` ``->`` [N #N] |
-| ``nOkno`` | ``Str`` ``->`` [N #N] |
-| ``nGniazdo`` | ``Str`` ``->`` [N #N] |
-| ``nWojsko`` | ``Str`` ``->`` [N #N] |
-| ``nJajo`` | ``Str`` ``->`` [N #N] |
-| ``nJablko`` | ``Str`` ``->`` [N #N] |
-| ``nStudio`` | ``Str`` ``->`` [N #N] |
-| ``nDziecko`` | ``Str`` ``->`` [N #N] |
-| ``nUcho`` | ``Str`` ``->`` [N #N] |
-| ``nOko`` | ``Str`` ``->`` [N #N] |
-| ``nFacet`` | ``Str`` ``->`` [N #N] |
-| ``nArab`` | ``Str`` ``->`` [N #N] |
-| ``nPrzyjaciel`` | ``Str`` ``->`` [N #N] |
-| ``nKowal`` | ``Str`` ``->`` [N #N] |
-| ``nLekarz`` | ``Str`` ``->`` [N #N] |
-| ``nKrol`` | ``Str`` ``->`` [N #N] |
-| ``nMaz`` | ``Str`` ``->`` [N #N] |
-| ``nWrog`` | ``Str`` ``->`` [N #N] |
-| ``nKsiadz`` | ``Str`` ``->`` [N #N] |
-| ``nOjciec`` | ``Str`` ``->`` [N #N] |
-| ``nBrat`` | ``Str`` ``->`` [N #N] |
-| ``nBog`` | ``Str`` ``->`` [N #N] |
-| ``nChlopiec`` | ``Str`` ``->`` [N #N] |
-| ``nMezczyzna`` | ``Str`` ``->`` [N #N] |
-| ``nKon`` | ``Str`` ``->`` [N #N] |
-| ``nWaz`` | ``Str`` ``->`` [N #N] |
-| ``nPtak`` | ``Str`` ``->`` [N #N] |
-| ``nKot`` | ``Str`` ``->`` [N #N] |
-| ``nPies`` | ``Str`` ``->`` [N #N] |
-| ``nBat`` | ``Str`` ``->`` [N #N] |
-| ``nChleb`` | ``Str`` ``->`` [N #N] |
-| ``nSer`` | ``Str`` ``->`` [N #N] |
-| ``nZab`` | ``Str`` ``->`` [N #N] |
-| ``nKosciol`` | ``Str`` ``->`` [N #N] |
-| ``nCien`` | ``Str`` ``->`` [N #N] |
-| ``nPien`` | ``Str`` ``->`` [N #N] |
-| ``nLisc`` | ``Str`` ``->`` [N #N] |
-| ``nKoc`` | ``Str`` ``->`` [N #N] |
-| ``nWiersz`` | ``Str`` ``->`` [N #N] |
-| ``nDzien`` | ``Str`` ``->`` [N #N] |
-| ``nKajak`` | ``Str`` ``->`` [N #N] |
-| ``nMlotek`` | ``Str`` ``->`` [N #N] |
-| ``nMiech`` | ``Str`` ``->`` [N #N] |
-| ``nSad`` | ``Str`` ``->`` [N #N] |
-| ``nDym`` | ``Str`` ``->`` [N #N] |
-| ``nWal`` | ``Str`` ``->`` [N #N] |
-| ``nDol`` | ``Str`` ``->`` [N #N] |
-| ``nOgrod`` | ``Str`` ``->`` [N #N] |
-| ``nKwiat`` | ``Str`` ``->`` [N #N] |
-| ``nLas`` | ``Str`` ``->`` [N #N] |
-| ``nWiatr`` | ``Str`` ``->`` [N #N] |
-| ``nPopiol`` | ``Str`` ``->`` [N #N] |
-| ``nPokoj`` | ``Str`` ``->`` [N #N] |
-| ``nGaj`` | ``Str`` ``->`` [N #N] |
-| ``nBrzeg`` | ``Str`` ``->`` [N #N] |
-| ``nRok`` | ``Str`` ``->`` ``Str`` ``->`` [N #N] |
-| ``nProg`` | ``Str`` ``->`` [N #N] |
-| ``nStatek`` | ``Str`` ``->`` [N #N] |
-| ``nDom`` | ``Str`` ``->`` [N #N] |
+| ``Gender`` | ``Type;`` |
+| ``masculineP`` | ``Gender;`` |
+| ``masculineA`` | ``Gender;`` |
+| ``masculineI`` | ``Gender;`` |
+| ``feminine`` | ``Gender;`` |
+| ``neuter`` | ``Gender;`` |
+| ``personal`` | ``Animacy;`` |
+| ``Case`` | ``Type;`` |
+| ``nominative`` | ``Case;`` |
+| ``genitive`` | ``Case;`` |
+| ``dative`` | ``Case;`` |
+| ``accusative`` | ``Case;`` |
+| ``instrumental`` | ``Case;`` |
+| ``locative`` | ``Case;`` |
+| ``vocative`` | ``Case;`` |
+| ``Number`` | ``Type;`` |
+| ``singular`` | ``Number;`` |
+| ``plural`` | ``Number;`` |
+| ``nKapiel`` | ``Str`` ``->`` ``N;`` |
+| ``nLodz`` | ``Str`` ``->`` ``N;`` |
+| ``nSul`` | ``Str`` ``->`` ``N;`` |
+| ``nKonew`` | ``Str`` ``->`` ``N;`` |
+| ``nWies`` | ``Str`` ``->`` ``N;`` |
+| ``nDlon`` | ``Str`` ``->`` ``N;`` |
+| ``nSiec`` | ``Str`` ``->`` ``N;`` |
+| ``nDrzwi`` | ``Str`` ``->`` ``N;`` |
+| ``nKosc`` | ``Str`` ``->`` ``N;`` |
+| ``nNoc`` | ``Str`` ``->`` ``N;`` |
+| ``nWesz`` | ``Str`` ``->`` ``N;`` |
+| ``nKrolowa`` | ``Str`` ``->`` ``N;`` |
+| ``nReka`` | ``Str`` ``->`` ``N;`` |
+| ``nApteka`` | ``Str`` ``->`` ``N;`` |
+| ``nDroga`` | ``Str`` ``->`` ``N;`` |
+| ``nMatka`` | ``Str`` ``->`` ``N;`` |
+| ``nZiemia`` | ``Str`` ``->`` ``N;`` |
+| ``nFala`` | ``Str`` ``->`` ``N;`` |
+| ``nLilia`` | ``Str`` ``->`` ``N;`` |
+| ``nKobieta`` | ``Str`` ``->`` ``N;`` |
+| ``nLiczba`` | ``Str`` ``->`` ``N;`` |
+| ``nSila`` | ``Str`` ``->`` ``N;`` |
+| ``nDoba`` | ``Str`` ``->`` ``N;`` |
+| ``nWoda`` | ``Str`` ``->`` ``N;`` |
+| ``nSzkola`` | ``Str`` ``->`` ``N;`` |
+| ``nWojna`` | ``Str`` ``->`` ``N;`` |
+| ``nWiosna`` | ``Str`` ``->`` ``N;`` |
+| ``nMgla`` | ``Str`` ``->`` ``N;`` |
+| ``nGwiazda`` | ``Str`` ``->`` ``N;`` |
+| ``nUlica`` | ``Str`` ``->`` ``N;`` |
+| ``nOwca`` | ``Str`` ``->`` ``N;`` |
+| ``nDanie`` | ``Str`` ``->`` ``N;`` |
+| ``nSerce`` | ``Str`` ``->`` ``N;`` |
+| ``nNasienie`` | ``Str`` ``->`` ``N;`` |
+| ``nMorze`` | ``Str`` ``->`` ``N;`` |
+| ``nImie`` | ``Str`` ``->`` ``N;`` |
+| ``nCiele`` | ``Str`` ``->`` ``N;`` |
+| ``nUdo`` | ``Str`` ``->`` ``N;`` |
+| ``nPiwo`` | ``Str`` ``->`` ``N;`` |
+| ``nZero`` | ``Str`` ``->`` ``N;`` |
+| ``nNiebo`` | ``Str`` ``->`` ``N;`` |
+| ``nTlo`` | ``Str`` ``->`` ``N;`` |
+| ``nZebro`` | ``Str`` ``->`` ``N;`` |
+| ``nOkno`` | ``Str`` ``->`` ``N;`` |
+| ``nGniazdo`` | ``Str`` ``->`` ``N;`` |
+| ``nWojsko`` | ``Str`` ``->`` ``N;`` |
+| ``nJajo`` | ``Str`` ``->`` ``N;`` |
+| ``nJablko`` | ``Str`` ``->`` ``N;`` |
+| ``nStudio`` | ``Str`` ``->`` ``N;`` |
+| ``nDziecko`` | ``Str`` ``->`` ``N;`` |
+| ``nUcho`` | ``Str`` ``->`` ``N;`` |
+| ``nOko`` | ``Str`` ``->`` ``N;`` |
+| ``nFacet`` | ``Str`` ``->`` ``N;`` |
+| ``nArab`` | ``Str`` ``->`` ``N;`` |
+| ``nPrzyjaciel`` | ``Str`` ``->`` ``N;`` |
+| ``nKowal`` | ``Str`` ``->`` ``N;`` |
+| ``nLekarz`` | ``Str`` ``->`` ``N;`` |
+| ``nKrol`` | ``Str`` ``->`` ``N;`` |
+| ``nMaz`` | ``Str`` ``->`` ``N;`` |
+| ``nWrog`` | ``Str`` ``->`` ``N;`` |
+| ``nKsiadz`` | ``Str`` ``->`` ``N;`` |
+| ``nOjciec`` | ``Str`` ``->`` ``N;`` |
+| ``nBrat`` | ``Str`` ``->`` ``N;`` |
+| ``nBog`` | ``Str`` ``->`` ``N;`` |
+| ``nChlopiec`` | ``Str`` ``->`` ``N;`` |
+| ``nMezczyzna`` | ``Str`` ``->`` ``N;`` |
+| ``nKon`` | ``Str`` ``->`` ``N;`` |
+| ``nWaz`` | ``Str`` ``->`` ``N;`` |
+| ``nPtak`` | ``Str`` ``->`` ``N;`` |
+| ``nKot`` | ``Str`` ``->`` ``N;`` |
+| ``nPies`` | ``Str`` ``->`` ``N;`` |
+| ``nBat`` | ``Str`` ``->`` ``N;`` |
+| ``nChleb`` | ``Str`` ``->`` ``N;`` |
+| ``nSer`` | ``Str`` ``->`` ``N;`` |
+| ``nZab`` | ``Str`` ``->`` ``N;`` |
+| ``nKosciol`` | ``Str`` ``->`` ``N;`` |
+| ``nCien`` | ``Str`` ``->`` ``N;`` |
+| ``nPien`` | ``Str`` ``->`` ``N;`` |
+| ``nLisc`` | ``Str`` ``->`` ``N;`` |
+| ``nKoc`` | ``Str`` ``->`` ``N;`` |
+| ``nWiersz`` | ``Str`` ``->`` ``N;`` |
+| ``nDzien`` | ``Str`` ``->`` ``N;`` |
+| ``nKajak`` | ``Str`` ``->`` ``N;`` |
+| ``nMlotek`` | ``Str`` ``->`` ``N;`` |
+| ``nMiech`` | ``Str`` ``->`` ``N;`` |
+| ``nSad`` | ``Str`` ``->`` ``N;`` |
+| ``nDym`` | ``Str`` ``->`` ``N;`` |
+| ``nWal`` | ``Str`` ``->`` ``N;`` |
+| ``nDol`` | ``Str`` ``->`` ``N;`` |
+| ``nOgrod`` | ``Str`` ``->`` ``N;`` |
+| ``nKwiat`` | ``Str`` ``->`` ``N;`` |
+| ``nLas`` | ``Str`` ``->`` ``N;`` |
+| ``nWiatr`` | ``Str`` ``->`` ``N;`` |
+| ``nPopiol`` | ``Str`` ``->`` ``N;`` |
+| ``nPokoj`` | ``Str`` ``->`` ``N;`` |
+| ``nGaj`` | ``Str`` ``->`` ``N;`` |
+| ``nBrzeg`` | ``Str`` ``->`` ``N;`` |
+| ``nRok`` | ``Str`` ``->`` ``Str`` ``->`` ``N;`` |
+| ``nProg`` | ``Str`` ``->`` ``N;`` |
+| ``nStatek`` | ``Str`` ``->`` ``N;`` |
+| ``nDom`` | ``Str`` ``->`` ``N;`` |
| ``mkN`` | ``(nomSg,`` ``genSg,`` ``datSg,`` ``accSg,`` ``instrSg,`` ``locSg,`` ``vocSg,`` |
| ``mkN2`` | [N #N] ``->`` [N2 #N2] |
-| ``mkFun`` | [N #N] ``->`` [Prep #Prep] ``->`` [N2 #N2] |
-| ``nullPrep`` | [Prep #Prep] ``=`` ``{s`` ``=`` ``[]`` ``c=`` [GenNoPrep #GenNoPrep] ``lock_Prep=<>}`` |
-| ``mkN3`` | [N #N] ``->`` [Prep #Prep] ``->`` [Prep #Prep] ``->`` [N3 #N3] |
-| ``mkPrep`` | ``Str`` ``->`` [Case #Case] ``->`` [Prep #Prep] |
-| ``genPrep`` | [Prep #Prep] |
-| ``datPrep`` | [Prep #Prep] |
-| ``accPrep`` | [Prep #Prep] |
-| ``instrPrep`` | [Prep #Prep] |
-| ``bez_Prep`` | [Prep #Prep] ``--without`` |
-| ``dla_Prep`` | [Prep #Prep] ``--for`` |
-| ``do_Prep`` | [Prep #Prep] ``--to`` |
-| ``dookola_Prep`` | [Prep #Prep] ``--(a)round`` |
-| ``kolo_Prep`` | [Prep #Prep] ``--near`` |
-| ``obok_Prep`` | [Prep #Prep] ``--beside,`` ``next`` ``to`` |
-| ``od_Prep`` | [Prep #Prep] ``--from`` |
-| ``oprocz_Prep`` | [Prep #Prep] ``--out`` ``of`` |
-| ``podczas_Prep`` | [Prep #Prep] ``--during`` |
-| ``mimo_Prep`` | [Prep #Prep] |
-| ``spod_Prep`` | [Prep #Prep] ``--under`` |
-| ``u_Prep`` | [Prep #Prep] ``--by,`` ``with`` ``(I`` ``was`` ``by`` [Peter #Peter] ``last`` ``sunday.)`` |
-| ``wzdluz_Prep`` | [Prep #Prep] ``--along`` |
-| ``z_Prep`` | [Prep #Prep] ``--from`` ``(I`` ``come`` ``from`` ``Italy.),`` ``of/`` ``from`` ``(The`` ``ring`` ``is`` ``made`` ``of`` ``silver.)`` |
-| ``zamiast_Prep`` | [Prep #Prep] ``--instead`` ``of`` |
-| ``znad_Prep`` | [Prep #Prep] ``--over,`` ``above`` |
-| ``zza_Prep`` | [Prep #Prep] ``--behind`` |
-| ``dzieki_Prep`` | [Prep #Prep] |
-| ``przeciw_Prep`` | [Prep #Prep] |
+| ``mkFun`` | [N #N] ``->`` [Prep #Prep] ``->`` ``N2;`` |
+| ``nullPrep`` | [Prep #Prep] ``=`` ``{s`` ``=`` ``[];`` ``c=`` ``GenNoPrep;`` ``lock_Prep=<>};`` |
+| ``mkN3`` | [N #N] ``->`` [Prep #Prep] ``->`` [Prep #Prep] ``->`` ``N3;`` |
+| ``mkPrep`` | ``Str`` ``->`` [Case #Case] ``->`` ``Prep;`` |
+| ``genPrep`` | ``Prep;`` |
+| ``datPrep`` | ``Prep;`` |
+| ``accPrep`` | ``Prep;`` |
+| ``instrPrep`` | ``Prep;`` |
+| ``bez_Prep`` | ``Prep;`` ``--without`` |
+| ``dla_Prep`` | ``Prep;`` ``--for`` |
+| ``do_Prep`` | ``Prep;`` ``--to`` |
+| ``dookola_Prep`` | ``Prep;`` ``--(a)round`` |
+| ``kolo_Prep`` | ``Prep;`` ``--near`` |
+| ``obok_Prep`` | ``Prep;`` ``--beside,`` ``next`` ``to`` |
+| ``od_Prep`` | ``Prep;`` ``--from`` |
+| ``oprocz_Prep`` | ``Prep;`` ``--out`` ``of`` |
+| ``podczas_Prep`` | ``Prep;`` ``--during`` |
+| ``mimo_Prep`` | ``Prep;`` |
+| ``spod_Prep`` | ``Prep;`` ``--under`` |
+| ``u_Prep`` | ``Prep;`` ``--by,`` ``with`` ``(I`` ``was`` ``by`` [Peter #Peter] ``last`` ``sunday.)`` |
+| ``wzdluz_Prep`` | ``Prep;`` ``--along`` |
+| ``z_Prep`` | ``Prep;`` ``--from`` ``(I`` ``come`` ``from`` ``Italy.),`` ``of/`` ``from`` ``(The`` ``ring`` ``is`` ``made`` ``of`` ``silver.)`` |
+| ``zamiast_Prep`` | ``Prep;`` ``--instead`` ``of`` |
+| ``znad_Prep`` | ``Prep;`` ``--over,`` ``above`` |
+| ``zza_Prep`` | ``Prep;`` ``--behind`` |
+| ``dzieki_Prep`` | ``Prep;`` |
+| ``przeciw_Prep`` | ``Prep;`` |
==Paradigms for Romanian==
@@ -1675,6 +1770,7 @@ source [``http://www.grammaticalframework.org/lib/resource/src/romanian/Paradigm
| ``Acc`` | [NCase #NCase] |
| ``Dat`` | [NCase #NCase] |
| ``Gen`` | [NCase #NCase] |
+| ``Nom`` | [NCase #NCase] |
| ``mkPrep`` | ``Str`` ``->`` ``NCase->`` [Bool #Bool] ``->`` [Prep #Prep] |
| ``mkPrep`` | ``Str`` ``->`` [NCase #NCase] ``->`` ``Prep;`` |
| ``noPrep`` | [NCase #NCase] ``->`` [Prep #Prep] |
@@ -1845,14 +1941,15 @@ source [``http://www.grammaticalframework.org/lib/resource/src/swedish/Paradigms
| ``mkAdv`` | ``Str`` ``->`` [Adv #Adv] |
| ``mkAdV`` | ``Str`` ``->`` [AdV #AdV] |
| ``mkAdA`` | ``Str`` ``->`` [AdA #AdA] |
-| ``mkV`` | ``(stämmer`` ``:`` ``Str)`` ``->`` [V #V] |
+| ``mkV`` | ``(stämmer`` ``:`` ``Str)`` ``->`` [V #V] |
| ``mkV`` | ``(dricka,drack,druckit`` ``:`` ``Str)`` ``->`` [V #V] |
-| ``mkV`` | ``(gå,går,gå,gick,gått,gången`` ``:`` ``Str)`` ``->`` [V #V] |
+| ``mkV`` | ``(gå,går,gå,gick,gått,gången`` ``:`` ``Str)`` ``->`` [V #V] |
| ``mkV`` | [V #V] ``->`` ``Str`` ``->`` [V #V] |
| ``depV`` | [V #V] ``->`` [V #V] |
| ``reflV`` | [V #V] ``->`` [V #V] |
| ``mkV2`` | ``Str`` ``->`` [V2 #V2] |
| ``mkV2`` | [V #V] ``->`` [V2 #V2] |
+| ``mkV2`` | ``Str`` ``->`` [Prep #Prep] ``->`` [V2 #V2] |
| ``mkV2`` | [V #V] ``->`` [Prep #Prep] ``->`` [V2 #V2] |
| ``mkV3`` | ``Str`` ``->`` [V3 #V3] |
| ``mkV3`` | [V #V] ``->`` [V3 #V3] |
@@ -1899,18 +1996,22 @@ source [``http://www.grammaticalframework.org/lib/resource/src/urdu/ParadigmsUrd
| ``demoPN`` | ``Str`` ``->`` ``Str`` ``->`` ``Str`` ``->`` [Quant #Quant] ``=`` ``\s1,s2,s3`` ``->`` ``let`` ``n`` ``=`` ``makeDemonPronForm`` ``s1`` ``s2`` ``s3`` ``in`` ``{s`` ``=`` ``n.s`` ``a`` ``=`` ``defaultAgr`` ``lock_Quant`` ``=`` ``<>};`` |
| ``mkDet`` | ``Str`` ``->`` ``Str`` ``->`` ``Str`` ``->`` ``Str`` ``->`` [Number #Number] ``->`` [Det #Det] ``=`` ``\s1,s2,s3,s4,nb`` ``->`` ``let`` ``dt`` ``=`` ``makeDet`` ``s1`` ``s2`` ``s3`` ``s4`` ``nb`` ``in`` ``{s`` ``=`` ``dt.s`` ``n`` ``=`` ``nb`` ``lock_Det`` ``=`` ``<>};`` |
| ``mkIP`` | ``(x1,x2,x3:Str)`` ``->`` [Number #Number] ``->`` [Gender #Gender] ``->`` [IP #IP] ``=`` ``\s1,s2,s3,n,g`` ``->`` ``let`` ``p`` ``=`` ``mkIntPronForm`` ``s1`` ``s2`` ``s3`` ``in`` ``{`` ``s`` ``=`` ``p.s`` ``n`` ``=`` ``n`` ``g`` ``=`` ``g`` ``lock_IP`` ``=`` ``<>};`` |
+| ``mkAdN`` | ``Str`` ``->`` [AdN #AdN] ``=`` ``\s`` ``->`` ``{s`` ``=`` ``s`` ``p`` ``=`` [False #False] ``lock_AdN`` ``=`` ``<>}`` |
| ``mkA`` | ``Str->`` [A #A] |
| ``mkA`` | ``Str`` ``->`` ``Str`` ``->`` [A2 #A2] |
+| ``mkA2`` | [A #A] ``->`` ``Str`` ``->`` [A2 #A2] |
| ``mkV`` | ``Str`` ``->`` [V #V] |
| ``mkV2`` | ``Str`` ``->`` [V2 #V2] |
| ``mkV2`` | [V #V] ``->`` [V2 #V2] |
| ``mkV2`` | [V #V] ``->`` ``Str`` ``->`` [V2 #V2] |
+| ``dirV2`` | [V #V] ``->`` [V2 #V2] ``=`` ``\v`` ``->`` ``v`` ``**`` ``{c2`` ``=`` ``{s`` ``=`` ``[]`` ``c`` ``=`` ``VTrans}`` ``lock_V2`` ``=`` ``<>}`` |
| ``mkV3`` | [V #V] ``->`` ``Str`` ``->`` ``Str`` ``->`` ``V3;`` |
| ``mkV2V`` | [V #V] ``->`` ``Str`` ``->`` ``Str`` ``->`` [Bool #Bool] ``->`` [V2V #V2V] |
+| ``dirdirV3`` | [V #V] ``->`` [V3 #V3] |
| ``compoundV`` | ``Str`` ``->`` [V #V] ``->`` [V #V] ``=`` ``\s,v`` ``->`` ``{s`` ``=`` ``\\vf`` ``=>`` ``s`` ``++`` ``v.s`` ``!`` ``vf`` ``lock_V`` ``=`` ``<>}`` |
| ``compoundV`` | ``Str`` ``->`` [V2 #V2] ``->`` [V #V] ``=`` ``\s,v`` ``->`` ``{s`` ``=`` ``\\vf`` ``=>`` ``s`` ``++`` ``v.s`` ``!`` ``vf`` ``lock_V`` ``=`` ``<>}`` |
-| ``mkAdv`` | ``Str`` ``->`` [Adv #Adv] ``=`` ``\str`` ``->`` ``{s`` ``=`` ``str`` ``lock_Adv`` ``=`` ``<>};`` |
-| ``mkPrep`` | ``Str`` ``->`` [Prep #Prep] |
+| ``mkAdv`` | ``Str`` ``->`` [Adv #Adv] ``=`` ``\str`` ``->`` ``{s`` ``=`` ``\\_`` ``=>`` ``str`` ``lock_Adv`` ``=`` ``<>};`` |
+| ``mkPrep`` | ``Str`` ``->`` ``Str`` ``->`` [Prep #Prep] |
| ``mkConj`` | ``Str`` ``->`` [Conj #Conj] |
| ``mkConj`` | ``Str`` ``->`` [Number #Number] ``->`` [Conj #Conj] |
| ``mkConj`` | ``Str`` ``->`` ``Str`` ``->`` [Conj #Conj] |
@@ -1920,7 +2021,10 @@ source [``http://www.grammaticalframework.org/lib/resource/src/urdu/ParadigmsUrd
| ``mkConj`` | ``Str`` ``->`` ``Str`` ``->`` [Conj #Conj] ``=`` ``\x,y`` ``->`` ``mk2Conj`` ``x`` ``y`` ``plural`` |
| ``mkConj`` | ``Str`` ``->`` ``Str`` ``->`` [Number #Number] ``->`` [Conj #Conj] ``=`` ``mk2Conj`` |
| ``mk2Conj`` | ``Str`` ``->`` ``Str`` ``->`` [Number #Number] ``->`` [Conj #Conj] ``=`` ``\x,y,n`` ``->`` |
+| ``mkVS`` | [V #V] ``->`` ``VS;`` |
| ``mkVV`` | [V #V] ``->`` [VV #VV] ``=`` ``\v`` ``->`` ``lin`` [VV #VV] ``(v`` ``**`` ``{isAux`` ``=`` ``False});`` |
+| ``mkAdA`` | ``Str`` ``->`` [AdA #AdA] |
+| ``mkVQ`` | [V #V] ``->`` [VQ #VQ] |
http://www.grammaticalfr
Str -> VTable
+
+
+mkV188
+Str -> VTable
-
+
adjAdvA
-> Str -> A =Paradigms for Catalan
http://www.grammaticalfram
-
+
Paradigms for Danish
http://www.grammaticalframe
-
+
+Paradigms for Dutch
+
+http://www.grammaticalframework.org/lib/resource/src/dutch/ParadigmsDut.gf
+
+
+
+
+
+Function
+Type
+
+
+
+masculineGender
+
+
+
+feminineGender
+
+
+
+neuterGender
+
+
+
+utrumGender
+
+
+
+de,hetGender
+
+
+
+mkN
+(muis : Str) -> N
+
+
+mkN
+(bit : Str) -> Gender -> N
+
+
+mkN
+(gat,gaten : Str) -> Gender -> N
+
+
+mkN
+(muis : Str) -> N = \a -> lin N (regNoun a)
+
+
+mkN
+(bit : Str) -> Gender -> N = \a,b -> lin N (regNounG a b)
+
+
+mkN
+(gat,gaten : Str) -> Gender -> N = \a,b,c -> lin N (mkNoun a b c)
+
+
+mkN2N
+-> N2
+
+
+mkN2N
+-> Prep -> N2
+
+
+mkN2N
+-> N2 = \n -> lin N2 (n ** {c2 = "van"})
+
+
+mkN2N
+-> Prep -> N2 = \n,p -> lin N2 (n ** {c2 = p.s})
+
+
+mkN3N
+-> Prep -> Prep -> N3
+
+
+mkPN
+Str -> PN
+
+
+mkPN
+Str -> PN = \s -> lin PN {s = \\_ => s}
+
+
+mkA
+(vers : Str) -> A
+
+
+mkA
+(goed,goede,goeds,beter,best : Str) -> A
+
+
+mkA
+(vers : Str) -> A = \a -> lin A (regAdjective a)
+
+
+mkA
+(goed,goede,goeds,beter,best : Str) -> A = \a,b,c,d,e -> lin A (mkAdjective a b c d e)
+
+
+invarA
+Str -> A
+
+
+mkA2A
+-> Prep -> A2
+
+
+mkAdv
+Str -> Adv
+
+
+mkPrep
+Str -> Prep
+
+
+van_PrepPrep
+
+
+
+te_PrepPrep
+
+
+
+mkV
+(aaien : Str) -> V
+
+
+mkV
+(breken,brak,gebroken : Str) -> V
+
+
+mkV
+(breken,brak,braken,gebroken : Str) -> V
+
+
+mkV
+(aai,aait,aaien,aaide,aaide,aaiden,geaaid : Str) -> V
+
+
+mkV
+Str -> V -> V
+
+
+mkV
+(aaien : Str) -> V =
+
+
+mkV
+(breken,brak,gebroken : Str) -> V =
+
+
+mkV
+(breken,brak,braken,gebroken : Str) -> V =
+
+
+mkV
+(aai,aait,aaien,aaide,aaiden,geaaid : Str) -> V =
+
+
+mkV
+Str -> V -> V = \v,s ->lin V (prefixV v s)
+
+
+zijnVV
+-> V
+
+
+reflVV
+-> V
+
+
+zijn_VV
+= lin V ResDut.zijn_V
+
+
+hebben_VV
+= lin V ResDut.hebben_V
+
+
+mkV2
+Str -> V2
+
+
+mkV2V
+-> V2
+
+
+mkV2V
+-> Prep -> V2
+
+
+mkV2
+Str -> V2 = \s -> lin V2 (v2vv (regVerb s) ** {c2 = []})
+
+
+mkV2V
+-> V2 = \s -> lin V2 (s ** {c2 = []})
+
+
+mkV2V
+-> Prep -> V2 = \s,p -> lin V2 (s ** {c2 = p.s})
+
+
+mkV3V
+-> V3
+
+
+mkV3V
+-> Prep -> V3
+
+
+mkV3V
+-> Prep -> Prep -> V3
+
+
+mkV3V
+-> Prep -> Prep -> V3 = mkmaxV3
+
+
+mkV3V
+-> Prep -> V3 = \v,p -> mkmaxV3 v (mkPrep []) p
+
+
+mkV3V
+-> V3 = \v -> mkmaxV3 v (mkPrep []) (mkPrep [])
+
+
+mkmaxV3V
+-> Prep -> Prep -> V3 = \v,c,d -> lin V3 (v ** {c2 = c.s c3 = d.s})
+
+
+mkV0V
+-> V0
+
+
+mkVSV
+-> VS
+
+
+mkV2SV
+-> Prep -> V2S
+
+
+mkVVV
+-> VV
+
+
+mkV2VV
+-> Prep -> V2V
+
+
+mkVAV
+-> VA
+
+
+mkV2AV
+-> Prep -> V2A
+
+
+mkVQV
+-> VQ
+
+
+mkV2QV
+-> Prep -> V2Q
+
+
+mkOrdA
+-> Ord = \a -> lin Ord {s = a.s ! Posit}
+
+
+prepV2V
+-> Prep -> V2
+
+
+V0Type
+= VParadigms for English
http://www.grammaticalfram
Case
+
+
+npNumberNP
+-> Number
@@ -4473,6 +4776,10 @@ source mkN(flash : Str) -> Nhttp://www.grammaticalfram
A
-> A
+
+
+irregAdvA
+-> Str -> A
@@ -4670,7 +4977,7 @@ source mkA2A
-> Prep -> A2http://www.grammaticalfram
-
+
Paradigms for Finnish
http://www.grammaticalfram
-mkN
+(vesi,veden,vesiä : Str) -> N(vesi,veden,vesiä : Str) -> N
-mkN
+(vesi,veden,vesiä,vettä : Str) -> N(vesi,veden,vesiä,vettä : Str) -> N
@@ -4817,7 +5124,7 @@ source mkNhttp://www.grammaticalfram
-mkAN
+-> (kivempaa,kivinta : Str) -> AN
-> (kivempi,kivin : Str) -> A
-
+
@@ -4949,7 +5256,7 @@ source mkAhttp://www.grammaticalfram
Paradigms for French
http://www.grammaticalframe
-
+
Paradigms for German
http://www.grammaticalframe
Case
+
+
+anDat_CaseCase
+
+
+
+inAcc_CaseCase
+
+
+
+inDat_CaseCase
+
+
+
+zuDat_CaseCase
+
@@ -5315,7 +5638,7 @@ source NumberType
http://www.grammaticalframe
-mkPrep
+Str -> Case -> PrepStr -> PCase -> Prep
@@ -5338,16 +5661,28 @@ source accPrephttp://www.grammaticalframe
Prep
-
+
-mkV
+(führen : Str) -> V
+anDat_PrepPrep
+
+
+
+inDat_PrepPrep
+
+
+inAcc_PrepPrep
-mkV
+(sehen,sieht,sah,sähe,gesehen : Str) -> V(führen : Str) -> V
+
-mkV
+(geben, gibt, gib, gab, gäbe, gegeben : Str) -> V
+(sehen,sieht,sah,sähe,gesehen : Str) -> V
+
+mkV(geben, gibt, gib, gab, gäbe, gegeben : Str) -> V
-
+
@@ -5459,7 +5794,7 @@ source mkVhttp://www.grammaticalframe
Paradigms for Italian
http://www.grammaticalfram
-
+
Paradigms for Norwegian
http://www.grammaticalfr
-
+
Paradigms for Polish
http://www.grammaticalframe
-GenderType
+Type;
-masculinePGender
+Gender;
-masculineAGender
+Gender;
-masculineIGender
+Gender;
-feminineGender
+Gender;
-neuterGender
+Gender;
-personalAnimacy
+Animacy;
-CaseType
+Type;
-nominativeCase
+Case;
-genitiveCase
+Case;
-dativeCase
+Case;
-accusativeCase
+Case;
-instrumentalCase
+Case;
-locativeCase
+Case;
-vocativeCase
+Case;
-NumberType
+Type;
-singularNumber
+Number;
-pluralNumber
+Number;
-nKapiel
+Str -> NStr -> N;
-nLodz
+Str -> NStr -> N;
-nSul
+Str -> NStr -> N;
-nKonew
+Str -> NStr -> N;
-nWies
+Str -> NStr -> N;
-nDlon
+Str -> NStr -> N;
-nSiec
+Str -> NStr -> N;
-nDrzwi
+Str -> NStr -> N;
-nKosc
+Str -> NStr -> N;
-nNoc
+Str -> NStr -> N;
-nWesz
+Str -> NStr -> N;
-nKrolowa
+Str -> NStr -> N;
-nReka
+Str -> NStr -> N;
-nApteka
+Str -> NStr -> N;
-nDroga
+Str -> NStr -> N;
-nMatka
+Str -> NStr -> N;
-nZiemia
+Str -> NStr -> N;
-nFala
+Str -> NStr -> N;
-nLilia
+Str -> NStr -> N;
-nKobieta
+Str -> NStr -> N;
-nLiczba
+Str -> NStr -> N;
-nSila
+Str -> NStr -> N;
-nDoba
+Str -> NStr -> N;
-nWoda
+Str -> NStr -> N;
-nSzkola
+Str -> NStr -> N;
-nWojna
+Str -> NStr -> N;
-nWiosna
+Str -> NStr -> N;
-nMgla
+Str -> NStr -> N;
-nGwiazda
+Str -> NStr -> N;
-nUlica
+Str -> NStr -> N;
-nOwca
+Str -> NStr -> N;
-nDanie
+Str -> NStr -> N;
-nSerce
+Str -> NStr -> N;
-nNasienie
+Str -> NStr -> N;
-nMorze
+Str -> NStr -> N;
-nImie
+Str -> NStr -> N;
-nCiele
+Str -> NStr -> N;
-nUdo
+Str -> NStr -> N;
-nPiwo
+Str -> NStr -> N;
-nZero
+Str -> NStr -> N;
-nNiebo
+Str -> NStr -> N;
-nTlo
+Str -> NStr -> N;
-nZebro
+Str -> NStr -> N;
-nOkno
+Str -> NStr -> N;
-nGniazdo
+Str -> NStr -> N;
-nWojsko
+Str -> NStr -> N;
-nJajo
+Str -> NStr -> N;
-nJablko
+Str -> NStr -> N;
-nStudio
+Str -> NStr -> N;
-nDziecko
+Str -> NStr -> N;
-nUcho
+Str -> NStr -> N;
-nOko
+Str -> NStr -> N;
-nFacet
+Str -> NStr -> N;
-nArab
+Str -> NStr -> N;
-nPrzyjaciel
+Str -> NStr -> N;
-nKowal
+Str -> NStr -> N;
-nLekarz
+Str -> NStr -> N;
-nKrol
+Str -> NStr -> N;
-nMaz
+Str -> NStr -> N;
-nWrog
+Str -> NStr -> N;
-nKsiadz
+Str -> NStr -> N;
-nOjciec
+Str -> NStr -> N;
-nBrat
+Str -> NStr -> N;
-nBog
+Str -> NStr -> N;
-nChlopiec
+Str -> NStr -> N;
-nMezczyzna
+Str -> NStr -> N;
-nKon
+Str -> NStr -> N;
-nWaz
+Str -> NStr -> N;
-nPtak
+Str -> NStr -> N;
-nKot
+Str -> NStr -> N;
-nPies
+Str -> NStr -> N;
-nBat
+Str -> NStr -> N;
-nChleb
+Str -> NStr -> N;
-nSer
+Str -> NStr -> N;
-nZab
+Str -> NStr -> N;
-nKosciol
+Str -> NStr -> N;
-nCien
+Str -> NStr -> N;
-nPien
+Str -> NStr -> N;
-nLisc
+Str -> NStr -> N;
-nKoc
+Str -> NStr -> N;
-nWiersz
+Str -> NStr -> N;
-nDzien
+Str -> NStr -> N;
-nKajak
+Str -> NStr -> N;
-nMlotek
+Str -> NStr -> N;
-nMiech
+Str -> NStr -> N;
-nSad
+Str -> NStr -> N;
-nDym
+Str -> NStr -> N;
-nWal
+Str -> NStr -> N;
-nDol
+Str -> NStr -> N;
-nOgrod
+Str -> NStr -> N;
-nKwiat
+Str -> NStr -> N;
-nLas
+Str -> NStr -> N;
-nWiatr
+Str -> NStr -> N;
-nPopiol
+Str -> NStr -> N;
-nPokoj
+Str -> NStr -> N;
-nGaj
+Str -> NStr -> N;
-nBrzeg
+Str -> NStr -> N;
-nRok
+Str -> Str -> NStr -> Str -> N;
-nProg
+Str -> NStr -> N;
-nStatek
+Str -> NStr -> N;
-nDom
+Str -> NStr -> N;
@@ -6448,115 +6783,115 @@ source mkNhttp://www.grammaticalframe
-mkFunN
+-> Prep -> N2N
-> Prep -> N2;
-nullPrepPrep
+= {s = [] c= GenNoPrep lock_Prep=<>}Prep
= {s = []; c= GenNoPrep; lock_Prep=<>};
-mkN3N
+-> Prep -> Prep -> N3N
-> Prep -> Prep -> N3;
-mkPrep
+Str -> Case -> PrepStr -> Case -> Prep;
-genPrepPrep
+Prep;
-datPrepPrep
+Prep;
-accPrepPrep
+Prep;
-instrPrepPrep
+Prep;
-bez_PrepPrep
+--withoutPrep; --without
-dla_PrepPrep
+--forPrep; --for
-do_PrepPrep
+--toPrep; --to
-dookola_PrepPrep
+--(a)roundPrep; --(a)round
-kolo_PrepPrep
+--nearPrep; --near
-obok_PrepPrep
+--beside, next toPrep; --beside, next to
-od_PrepPrep
+--fromPrep; --from
-oprocz_PrepPrep
+--out ofPrep; --out of
-podczas_PrepPrep
+--duringPrep; --during
-mimo_PrepPrep
+Prep;
-spod_PrepPrep
+--underPrep; --under
-u_PrepPrep
+--by, with (I was by Peter last sunday.)Prep; --by, with (I was by Peter last sunday.)
-wzdluz_PrepPrep
+--alongPrep; --along
-z_PrepPrep
+--from (I come from Italy.), of/ from (The ring is made of silver.)Prep; --from (I come from Italy.), of/ from (The ring is made of silver.)
-zamiast_PrepPrep
+--instead ofPrep; --instead of
-znad_PrepPrep
+--over, abovePrep; --over, above
-zza_PrepPrep
+--behindPrep; --behind
-dzieki_PrepPrep
+Prep;
-
+
-przeciw_PrepPrep
+Prep;Paradigms for Romanian
http://www.grammaticalfra
NCase
+
+
+NomNCase
+
@@ -6703,7 +7042,7 @@ source mkPrepStr -> NCase-> Bool -> Prephttp://www.grammaticalfra
-
+
Paradigms for Russian
http://www.grammaticalfram
-
+
Paradigms for Spanish
http://www.grammaticalfram
-
+
Paradigms for Swedish
http://www.grammaticalfram
-mkV
+(stämmer : Str) -> V(stämmer : Str) -> V
@@ -7232,7 +7571,7 @@ source mkVhttp://www.grammaticalfram
-mkV
+(gå,går,gå,gick,gått,gången : Str) -> V(gÃ¥,gÃ¥r,gÃ¥,gick,gÃ¥tt,gÃ¥ngen : Str) -> V
@@ -7256,6 +7595,10 @@ source mkVhttp://www.grammaticalfram
+
+mkV2
+Str -> Prep -> V2
+
mkV2V
-> Prep -> V2
@@ -7332,7 +7675,7 @@ source
-
+
http://www.grammaticalfram
Paradigms for Urdu
http://www.grammaticalframewo
(x1,x2,x3:Str) -> Number -> Gender -> IP = \s1,s2,s3,n,g -> let p = mkIntPronForm s1 s2 s3 in { s = p.s n = n g = g lock_IP = <>};
+
+
+mkAdN
+Str -> AdN = \s -> {s = s p = False lock_AdN = <>}
@@ -7414,6 +7761,10 @@ source mkAStr-> Ahttp://www.grammaticalframewo
Str -> Str -> A2
+
+
+mkA2A
+-> Str -> A2
@@ -7430,6 +7781,10 @@ source mkVStr -> Vhttp://www.grammaticalframewo
V
-> Str -> V2
+
+
+dirV2V
+-> V2 = \v -> v ** {c2 = {s = [] c = VTrans} lock_V2 = <>}
@@ -7438,6 +7793,10 @@ source mkV3V
-> Str -> Str -> V3;http://www.grammaticalframewo
V
-> Str -> Str -> Bool -> V2V
+
+
+dirdirV3V
+-> V3
@@ -7447,11 +7806,11 @@ source compoundVStr -> V -> V = \s,v -> {s = \\vf => s ++ v.s ! vf lock_V = <>}http://www.grammaticalframewo
-mkAdv
+Str -> Adv = \str -> {s = str lock_Adv = <>};Str -> Adv = \str -> {s = \\_ => str lock_Adv = <>};
-mkPrep
+Str -> PrepStr -> Str -> Prep
@@ -7490,12 +7849,24 @@ source mkConjhttp://www.grammaticalframewo
Str -> Str -> Number -> Conj = \x,y,n ->
+
+
+mkVSV
+-> VS;
+mkVVV
-> VV = \v -> lin VV (v ** {isAux = False});
+
+
+mkAdA
+Str -> AdA
+
-
+
+mkVQV
+-> VQBrowsing the libraries with GF commands
An Example of Usage