mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-23 03:32:51 -06:00
documenting for geocal
This commit is contained in:
@@ -2,12 +2,13 @@
|
|||||||
|
|
||||||
interface DiffRomance = open CommonRomance, Prelude in {
|
interface DiffRomance = open CommonRomance, Prelude in {
|
||||||
|
|
||||||
-- The first six constants show the essential differences
|
-- The first eight constants show the essential differences
|
||||||
-- between French, Italian, and Romance syntaxes (as regards the
|
-- between French, Italian, and Romance syntaxes (as regards the
|
||||||
-- resource API). The other constants are either derivatively
|
-- resource API). The other constants are either derivatively
|
||||||
-- dependent, or have as values strings, which are language-dependent
|
-- dependent, or have as values strings, which are language-dependent
|
||||||
-- anyway.
|
-- anyway.
|
||||||
|
|
||||||
|
|
||||||
--2 Constants whose definitions fundamentally depend on language
|
--2 Constants whose definitions fundamentally depend on language
|
||||||
|
|
||||||
-- Prepositions that fuse with the article
|
-- Prepositions that fuse with the article
|
||||||
@@ -48,6 +49,7 @@ interface DiffRomance = open CommonRomance, Prelude in {
|
|||||||
|
|
||||||
oper mkImperative : CommonRomance.VP -> {s : Polarity => AAgr => Str} ;
|
oper mkImperative : CommonRomance.VP -> {s : Polarity => AAgr => Str} ;
|
||||||
|
|
||||||
|
|
||||||
--2 Constants that must derivatively depend on language
|
--2 Constants that must derivatively depend on language
|
||||||
|
|
||||||
param NPForm = Ton Case | Aton Case | Poss {g : Gender ; n : Number} ; --- AAgr
|
param NPForm = Ton Case | Aton Case | Poss {g : Gender ; n : Number} ; --- AAgr
|
||||||
|
|||||||
Reference in New Issue
Block a user