mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-23 03:32:51 -06:00
90 lines
2.1 KiB
Plaintext
90 lines
2.1 KiB
Plaintext
--1 Differences between Romance languages
|
|
|
|
interface DiffRomance = open CommonRomance, Prelude in {
|
|
|
|
-- The first six 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 Prep ;
|
|
|
|
-- 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", Ita "io la ho 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 : NPForm -> NPForm ;
|
|
|
|
-- How infinitives and clitics are placed relative to each other
|
|
-- (Fre "la voir", Ita "vederla").
|
|
|
|
oper clitInf : Str -> Str -> Str ;
|
|
|
|
|
|
--2 Constants that must derivatively depend on language
|
|
|
|
dative : Case ;
|
|
genitive : Case ;
|
|
|
|
vRefl : VType ;
|
|
isVRefl : VType -> Bool ;
|
|
|
|
|
|
--2 Strings
|
|
|
|
prepCase : Case -> Str ;
|
|
|
|
partitive : Gender -> Case -> Str ;
|
|
|
|
artDef : Gender -> Number -> Case -> Str ;
|
|
artIndef : Gender -> Number -> Case -> Str ;
|
|
|
|
auxVerb : VType -> (VF => Str) ;
|
|
negation : Polarity => (Str * Str) ;
|
|
copula : Verb ;
|
|
|
|
conjThan : Str ;
|
|
conjThat : Str ;
|
|
|
|
relPron : Bool => AAgr => Case => Str ;
|
|
pronSuch : AAgr => Str ;
|
|
|
|
partQIndir : Str ; -- ce, ciò
|
|
|
|
reflPron : Number => Person => Case => Str ;
|
|
|
|
auxPassive : Verb ;
|
|
|
|
|
|
--2 Contants needed in type signatures 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} ;
|
|
|
|
}
|
|
|