forked from GitHub/gf-core
152 lines
4.5 KiB
Plaintext
152 lines
4.5 KiB
Plaintext
--1 Differences between Romance languages
|
|
|
|
interface DiffRomance = open CommonRomance, Prelude in {
|
|
|
|
-- The first eight constants show the essential differences
|
|
-- between French, Italian, and Romance syntaxes (as regards the
|
|
-- resource API). The other constants are either derivatively
|
|
-- dependent, or have as values strings, which are language-dependent
|
|
-- anyway.
|
|
|
|
|
|
--2 Constants whose definitions fundamentally depend on language
|
|
|
|
-- Prepositions that fuse with the article
|
|
-- (Fre, Spa "de", "a"; Ita also "con", "da", "in", "su).
|
|
|
|
param Prepos ;
|
|
|
|
-- Which types of verbs exist, in terms of auxiliaries.
|
|
-- (Fre, Ita "avoir", "être", and refl; Spa only "haber" and refl).
|
|
|
|
param VType ;
|
|
|
|
-- Derivatively, if/when the participle agrees to the subject.
|
|
-- (Fre "elle est partie", Ita "lei è partita", Spa not)
|
|
|
|
oper partAgr : VType -> VPAgr ;
|
|
|
|
-- Whether participle agrees to foregoing clitic.
|
|
-- (Fre "je l'ai vue", Spa "yo la he visto")
|
|
|
|
oper vpAgrClit : Agr -> VPAgr ;
|
|
|
|
-- Whether a preposition is repeated in conjunction
|
|
-- (Fre "la somme de 3 et de 4", Ita "la somma di 3 e 4").
|
|
|
|
oper conjunctCase : Case -> Case ;
|
|
|
|
-- How infinitives and clitics are placed relative to each other
|
|
-- (Fre "la voir", Ita "vederla"). The $Bool$ is used for indicating
|
|
-- if there are any clitics.
|
|
|
|
oper clitInf : Bool -> Str -> Str -> Str ;
|
|
|
|
-- To render pronominal arguments as clitics and/or ordinary complements.
|
|
-- Returns $True$ if there are any clitics.
|
|
|
|
oper pronArg : Number -> Person -> CAgr -> CAgr -> Str * Str * Bool ;
|
|
|
|
-- To render imperatives (with their clitics etc).
|
|
|
|
oper mkImperative : Bool -> Person -> VP -> RPolarity => Gender => Number => Str ;
|
|
|
|
|
|
--2 Constants that must derivatively depend on language
|
|
|
|
param NPForm = Ton Case | Aton Case | Poss {g : Gender ; n : Number} ; --- AAgr
|
|
|
|
oper dative : Case ;
|
|
oper genitive : Case ;
|
|
|
|
vRefl : VType -> VType ;
|
|
isVRefl : VType -> Bool ;
|
|
|
|
|
|
--2 Strings
|
|
|
|
prepCase : Case -> Str ;
|
|
|
|
partitive : Gender -> Case -> Str ;
|
|
|
|
artDef : Gender -> Number -> Case -> Str ;
|
|
artIndef : Gender -> Number -> Case -> Str ;
|
|
|
|
-- This is the definite article in Italian, $prepCase c$ in French and Spanish.
|
|
|
|
possCase : Gender -> Number -> Case -> Str ;
|
|
|
|
auxVerb : VType -> (VF => Str) ;
|
|
negation : RPolarity => (Str * Str) ;
|
|
copula : Verb ;
|
|
|
|
conjThan : Str ;
|
|
conjThat : Str ;
|
|
|
|
subjIf : Str ;
|
|
|
|
relPron : Bool => AAgr => Case => Str ;
|
|
pronSuch : AAgr => Str ;
|
|
|
|
partQIndir : Str ; -- ce, ciò
|
|
|
|
reflPron : Number -> Person -> Case -> Str ;
|
|
-- argPron : Gender -> Number -> Person -> Case -> Str ;
|
|
|
|
auxPassive : Verb ;
|
|
|
|
|
|
--2 Constants needed in type signatures above
|
|
|
|
param
|
|
Case = Nom | Acc | CPrep Prepos ;
|
|
|
|
oper
|
|
Verb = {s : VF => Str ; vtyp : VType} ;
|
|
|
|
VP : Type = {
|
|
s : Verb ;
|
|
agr : VPAgr ; -- dit/dite dep. on verb, subj, and clitic
|
|
neg : RPolarity => (Str * Str) ; -- ne-pas
|
|
clit1 : Str ; -- le/se
|
|
clit2 : Str ; -- lui
|
|
clit3 : Clit3 ; -- y en
|
|
isNeg : Bool ; -- includes a negative element, such as "rien"
|
|
comp : Agr => Str ; -- content(e) ; à ma mère ; hier
|
|
ext : RPolarity => Str ; -- que je dors / que je dorme
|
|
} ;
|
|
|
|
Clit3 : Type = {s : Str ; imp : Str ; hasClit : Bool} ; --- imp encodes special imperative clitic, hasClit whether there is a clitic
|
|
|
|
addClit3 : Bool -> Str -> Str -> Clit3 -> Clit3 = \hasClit,s,imp,clit -> {
|
|
s = clit.s ++ s ; imp = clit.imp ++ imp ; hasClit = hasClit ---- in Fre, imp is "moi" for "me"
|
|
} ;
|
|
|
|
imperClit : Agr -> Str -> Str -> Str = \a,c1,c2 -> c1 ++ c2 ;
|
|
|
|
-- The pronoun to be repeated in $VPS$ coordination, and also in Fre inverted questions.
|
|
-- Empty in other languages than Fre (as a kind of prodrop).
|
|
|
|
subjPron : Agr -> Str ;
|
|
|
|
-- Whether subject negative in direct position causes negation to the sentence: "personne ne dort" vs. "nessuno dorme".
|
|
|
|
polNegDirSubj : RPolarity ;
|
|
|
|
--2 Workarounds, to be eliminated
|
|
|
|
-- This should be provided by $pronArg$ above, but causes trouble in compilation.
|
|
-- (AR 16/8/2008)
|
|
|
|
oper infForm : Number -> Person -> CAgr -> CAgr -> Bool ;
|
|
|
|
-- AR 21/2/2013
|
|
-- inverted clause order, only deviant in Fre where also the intervening -t- has to be taken to account
|
|
|
|
invertedClause :
|
|
VType -> (RTense * Anteriority * Number * Person) -> Bool -> (Str * Str) -> (clit,fin,inf,compl,subj,ext : Str) -> Str =
|
|
\_,_,_,neg,clit,fin,inf,compl,subj,ext -> neg.p1 ++ clit ++ fin ++ neg.p2 ++ inf ++ compl ++ subj ++ ext ;
|
|
|
|
}
|
|
|