GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-22 11:19:32 -06:00
Code Issues Packages Projects Releases Wiki Activity

new big and shallow modules

Browse Source
This commit is contained in:
aarne
2006-11-02 17:04:35 +00:00
parent 4905ceac59
commit 13cd2b96be
12 changed files with 6312 additions and 67 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
examples/shallow/BigShallowEng.gf Normal file
View File

@@ -0,0 +1,10 @@
--# -path=.:../big:alltenses:prelude
concrete BigShallowEng of BigShallowEngAbs =
ShallowEng,
BigLexEng,
IrregEng,
ExtraEng-[
ComplBareVS,MkVPI
]
** {} ;

11
examples/shallow/BigShallowEngAbs.gf Normal file
View File

@@ -0,0 +1,11 @@
--# -path=.:../big:alltenses:prelude
abstract BigShallowEngAbs =
Shallow,
BigLexEngAbs,
IrregEngAbs,
ExtraEngAbs-[
ComplBareVS, -- : VS -> S -> VP ; -- know you go
MkVPI -- : VP -> VPI ;
]
** {} ;

10
examples/shallow/BigShallowSwe.gf Normal file
View File

@@ -0,0 +1,10 @@
--# -path=.:../big:alltenses:prelude
concrete BigShallowSwe of BigShallowSweAbs =
ShallowSwe,
BigLexSwe,
IrregSwe,
ExtraSwe-[
ComplBareVS,MkVPI
]
** {} ;

11
examples/shallow/BigShallowSweAbs.gf Normal file
View File

@@ -0,0 +1,11 @@
--# -path=.:../big:alltenses:prelude
abstract BigShallowSweAbs =
Shallow,
BigLexSweAbs,
IrregSweAbs,
ExtraSweAbs-[
ComplBareVS, -- : VS -> S -> VP ; -- know you go
MkVPI -- : VP -> VPI ;
]
** {} ;

34
examples/shallow/Shallow.gf
View File

@@ -1,5 +1,5 @@
abstract Shallow = Lexicon, Grammar-[
VP,
abstract Shallow = Grammar-[
VP, --- cat
ImpersCl, -- : VP -> Cl ; -- it rains
GenericCl, -- : VP -> Cl ; -- one sleeps
ProgrVP, -- : VP -> VP ; -- be sleeping
@@ -11,19 +11,19 @@ abstract Shallow = Lexicon, Grammar-[
PredSCVP, -- : SC -> VP -> Cl ; -- that you go makes me happy
ImpVP, -- : VP -> Imp ; -- go
EmbedVP, -- : VP -> SC ; -- to go
UseV , -- : V -> VP ; -- sleep
ComplV2 , -- : V2 -> NP -> VP ; -- use it
UseV , --- : V -> VP ; -- sleep
ComplV2 , --- : V2 -> NP -> VP ; -- use it
ComplV3 , -- : V3 -> NP -> NP -> VP ; -- send a message to her
ComplVV , -- : VV -> VP -> VP ; -- want to run
ComplVS , -- : VS -> S -> VP ; -- know that she runs
ComplVV , --- : VV -> VP -> VP ; -- want to run
ComplVS , --- : VS -> S -> VP ; -- know that she runs
ComplVQ , -- : VQ -> QS -> VP ; -- ask if she runs
ComplVA , -- : VA -> AP -> VP ; -- look red
ComplV2A, -- : V2A -> NP -> AP -> VP ; -- paint the house red
ReflV2 , -- : V2 -> VP ; -- use itself
UseComp , -- : Comp -> VP ; -- be warm
UseComp , --- : Comp -> VP ; -- be warm
PassV2 , -- : V2 -> VP ; -- be used
AdvVP , -- : VP -> Adv -> VP ; -- sleep here
AdVVP -- : AdV -> VP -> VP ; -- always sleep
AdvVP , --- : VP -> Adv -> VP ; -- sleep here
AdVVP --- : AdV -> VP -> VP ; -- always sleep
]
** {
@@ -38,11 +38,21 @@ abstract Shallow = Lexicon, Grammar-[
ConAdV : AdV -> AdVs -> AdVs ;
PredUseV : NP -> AdVs -> V -> Advs -> Cl ;
PredComplV2 : NP -> AdVs -> V2 -> NP -> Advs -> Cl ;
PredUseComp : NP -> AdVs -> Comp -> Advs -> Cl ;
PredComplV2 : NP -> AdVs -> V2 -> NP -> Cl ; -- Advs are attached to NP
PredComplVS : NP -> AdVs -> VS -> S -> Cl ; -- Advs are attached to S
PredUseComp : NP -> AdVs -> Comp -> Advs -> Cl ; --- could be so here too
PredComplVV_V : NP -> AdVs -> VV -> V -> Advs -> Cl ;
PredComplVV_V2 : NP -> AdVs -> VV -> V2 -> NP -> Cl ;
PredComplVV_Comp : NP -> AdVs -> VV -> Comp -> Advs -> Cl ;
QuestUseV : IP -> AdVs -> V -> Advs -> QCl ;
QuestComplV2 : IP -> AdVs -> V2 -> NP -> Advs -> QCl ;
QuestComplV2 : IP -> AdVs -> V2 -> NP -> QCl ;
QuestComplVS : IP -> AdVs -> VS -> S -> QCl ;
QuestUseComp : IP -> AdVs -> Comp -> Advs -> QCl ;
QuestComplVV_V : IP -> AdVs -> VV -> V -> Advs -> QCl ;
QuestComplVV_V2 : IP -> AdVs -> VV -> V2 -> NP -> QCl ;
QuestComplVV_Comp : IP -> AdVs -> VV -> Comp -> Advs -> QCl ;
}

2
examples/shallow/ShallowEng.gf
View File

@@ -1,6 +1,6 @@
--# -path=.:alltenses:prelude
concrete ShallowEng of Shallow = LexiconEng, GrammarEng - [
concrete ShallowEng of Shallow = GrammarEng - [
VP,
ImpersCl,
GenericCl,

2
examples/shallow/ShallowFre.gf
View File

@@ -1,6 +1,6 @@
--# -path=.:alltenses:prelude
concrete ShallowFre of Shallow = LexiconFre, GrammarFre - [
concrete ShallowFre of Shallow = GrammarFre - [
VP,
ImpersCl,
GenericCl,

28
examples/shallow/ShallowI.gf
View File

@@ -1,4 +1,4 @@
incomplete concrete ShallowI of Shallow = Lexicon, Grammar-[
incomplete concrete ShallowI of Shallow = Grammar-[
VP,
ImpersCl, -- : VP -> Cl ; -- it rains
GenericCl, -- : VP -> Cl ; -- one sleeps
@@ -39,16 +39,34 @@ incomplete concrete ShallowI of Shallow = Lexicon, Grammar-[
PredUseV np adVs v advs =
PredVP np (AdvVP (AdVVP adVs (UseV v)) advs) ;
PredComplV2 np adVs v ob advs =
PredVP np (AdvVP (AdVVP adVs (ComplV2 v ob)) advs) ;
PredComplV2 np adVs v ob =
PredVP np (AdVVP adVs (ComplV2 v ob)) ;
PredComplVS np adVs v ob =
PredVP np (AdVVP adVs (ComplVS v ob)) ;
PredUseComp np adVs v advs =
PredVP np (AdvVP (AdVVP adVs (UseComp v)) advs) ;
PredComplVV_V np adVs vv v advs =
PredVP np (AdvVP (AdVVP adVs (ComplVV vv (UseV v))) advs) ;
PredComplVV_V2 np adVs vv v2 ob =
PredVP np (AdVVP adVs (ComplVV vv (ComplV2 v2 ob))) ;
PredComplVV_Comp np adVs vv v advs =
PredVP np (AdvVP (AdVVP adVs (ComplVV vv (UseComp v))) advs) ;
QuestUseV np adVs v advs =
QuestVP np (AdvVP (AdVVP adVs (UseV v)) advs) ;
QuestComplV2 np adVs v ob advs =
QuestVP np (AdvVP (AdVVP adVs (ComplV2 v ob)) advs) ;
QuestComplV2 np adVs v ob =
QuestVP np (AdVVP adVs (ComplV2 v ob)) ;
QuestComplVS np adVs v ob =
QuestVP np (AdVVP adVs (ComplVS v ob)) ;
QuestUseComp np adVs v advs =
QuestVP np (AdvVP (AdVVP adVs (UseComp v)) advs) ;
QuestComplVV_V np adVs vv v advs =
QuestVP np (AdvVP (AdVVP adVs (ComplVV vv (UseV v))) advs) ;
QuestComplVV_V2 np adVs vv v2 ob =
QuestVP np (AdVVP adVs (ComplVV vv (ComplV2 v2 ob))) ;
QuestComplVV_Comp np adVs vv v advs =
QuestVP np (AdvVP (AdVVP adVs (ComplVV vv (UseComp v))) advs) ;
}

33
examples/shallow/ShallowSwe.gf Normal file
View File

@@ -0,0 +1,33 @@
--# -path=.:alltenses:prelude
concrete ShallowSwe of Shallow = GrammarSwe - [
VP,
ImpersCl,
GenericCl,
ProgrVP,
ImpPl1,
UttVP,
QuestVP,
RelVP,
PredVP,
PredSCVP,
ImpVP,
EmbedVP,
UseV ,
ComplV2 ,
ComplV3 ,
ComplVV ,
ComplVS ,
ComplVQ ,
ComplVA ,
ComplV2A,
ReflV2 ,
UseComp ,
PassV2 ,
AdvVP ,
AdVVP
]
** ShallowI with
(Grammar = GrammarSwe) ;