mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-03 00:02:50 -06:00
64 lines
1.2 KiB
Plaintext
64 lines
1.2 KiB
Plaintext
interface DiffRomance = open CommonRomance, Prelude in {
|
|
|
|
--2 Constants whose definitions depend on language.
|
|
|
|
-- Prepositions that fuse with the article vary.
|
|
|
|
param
|
|
|
|
Prep ;
|
|
VType ;
|
|
|
|
oper
|
|
|
|
dative : Case ;
|
|
genitive : Case ;
|
|
|
|
prepCase : Case -> Str ;
|
|
|
|
partitive : Gender -> Case -> Str ;
|
|
|
|
artDef : Gender -> Number -> Case -> Str ;
|
|
artIndef : Gender -> Number -> Case -> Str ;
|
|
|
|
-- This regulates whether a preposition is repeated in conjunction
|
|
-- (Fre "la somme de 3 et de 4", Ita "la somma di 3 e 4").
|
|
|
|
conjunctCase : NPForm -> NPForm ;
|
|
|
|
auxVerb : VType -> (VF => Str) ;
|
|
negation : Polarity => (Str * Str) ;
|
|
copula : Verb ;
|
|
|
|
partAgr : VType -> VPAgr ;
|
|
|
|
conjThan : Str ;
|
|
conjThat : Str ;
|
|
|
|
clitInf : Str -> Str -> Str ;
|
|
|
|
relPron : Bool => AAgr => Case => Str ;
|
|
pronSuch : AAgr => Str ;
|
|
|
|
partQIndir : Str ; -- ce, ciò
|
|
|
|
reflPron : Number => Person => Case => Str ;
|
|
|
|
vRefl : VType ;
|
|
isVRefl : VType -> Bool ;
|
|
|
|
auxPassive : Verb ;
|
|
|
|
|
|
-- These are needed above.
|
|
|
|
param
|
|
Case = Nom | Acc | CPrep Prep ;
|
|
NPForm = Ton Case | Aton Case | Poss {g : Gender ; n : Number} ; --- AAgr
|
|
|
|
oper
|
|
Verb = {s : VF => Str ; vtyp : VType} ;
|
|
|
|
}
|
|
|