summaryrefslogtreecommitdiff
path: root/old-examples/shallow
diff options
context:
space:
mode:
Diffstat (limited to 'old-examples/shallow')
-rw-r--r--old-examples/shallow/BigShallowEng.gf10
-rw-r--r--old-examples/shallow/BigShallowEngAbs.gf11
-rw-r--r--old-examples/shallow/BigShallowSwe.gf10
-rw-r--r--old-examples/shallow/BigShallowSweAbs.gf11
-rw-r--r--old-examples/shallow/README5
-rw-r--r--old-examples/shallow/Shallow.gf58
-rw-r--r--old-examples/shallow/ShallowEng.gf33
-rw-r--r--old-examples/shallow/ShallowFre.gf33
-rw-r--r--old-examples/shallow/ShallowI.gf72
-rw-r--r--old-examples/shallow/ShallowSwe.gf33
10 files changed, 276 insertions, 0 deletions
diff --git a/old-examples/shallow/BigShallowEng.gf b/old-examples/shallow/BigShallowEng.gf
new file mode 100644
index 000000000..bb83e83fd
--- /dev/null
+++ b/old-examples/shallow/BigShallowEng.gf
@@ -0,0 +1,10 @@
+--# -path=.:../big:alltenses:prelude
+
+concrete BigShallowEng of BigShallowEngAbs =
+ ShallowEng,
+ BigLexEng,
+-- IrregEng,
+ ExtraEng-[
+ ComplBareVS,MkVPI
+ ]
+ ** {} ;
diff --git a/old-examples/shallow/BigShallowEngAbs.gf b/old-examples/shallow/BigShallowEngAbs.gf
new file mode 100644
index 000000000..06f9e936f
--- /dev/null
+++ b/old-examples/shallow/BigShallowEngAbs.gf
@@ -0,0 +1,11 @@
+--# -path=.:../big:alltenses:prelude
+
+abstract BigShallowEngAbs =
+ Shallow,
+ BigLexEngAbs,
+-- IrregEngAbs,
+ ExtraEngAbs-[
+ ComplBareVS, -- : VS -> S -> VP ; -- know you go
+ MkVPI -- : VP -> VPI ;
+ ]
+ ** {} ;
diff --git a/old-examples/shallow/BigShallowSwe.gf b/old-examples/shallow/BigShallowSwe.gf
new file mode 100644
index 000000000..072516254
--- /dev/null
+++ b/old-examples/shallow/BigShallowSwe.gf
@@ -0,0 +1,10 @@
+--# -path=.:../big:alltenses:prelude
+
+concrete BigShallowSwe of BigShallowSweAbs =
+ ShallowSwe,
+ BigLexSwe,
+ IrregSwe,
+ ExtraSwe-[
+ ComplBareVS,MkVPI
+ ]
+ ** {} ;
diff --git a/old-examples/shallow/BigShallowSweAbs.gf b/old-examples/shallow/BigShallowSweAbs.gf
new file mode 100644
index 000000000..a8a39a3e8
--- /dev/null
+++ b/old-examples/shallow/BigShallowSweAbs.gf
@@ -0,0 +1,11 @@
+--# -path=.:../big:alltenses:prelude
+
+abstract BigShallowSweAbs =
+ Shallow,
+ BigLexSweAbs,
+ IrregSweAbs,
+ ExtraSweAbs-[
+ ComplBareVS, -- : VS -> S -> VP ; -- know you go
+ MkVPI -- : VP -> VPI ;
+ ]
+ ** {} ;
diff --git a/old-examples/shallow/README b/old-examples/shallow/README
new file mode 100644
index 000000000..6f4d1838a
--- /dev/null
+++ b/old-examples/shallow/README
@@ -0,0 +1,5 @@
+Shallow parsing version of resource grammar.
+
+BigShallowEng uses BigEngLex.gf adapted from a word list
+by Alan Black & al. http://www.cs.cmu.edu/~awb/pub/map/MAP3.1.tar.gz
+Not to be used for military purposes.
diff --git a/old-examples/shallow/Shallow.gf b/old-examples/shallow/Shallow.gf
new file mode 100644
index 000000000..c521b668e
--- /dev/null
+++ b/old-examples/shallow/Shallow.gf
@@ -0,0 +1,58 @@
+abstract Shallow = Grammar-[
+ VP, --- cat
+ ImpersCl, -- : VP -> Cl ; -- it rains
+ GenericCl, -- : VP -> Cl ; -- one sleeps
+ ProgrVP, -- : VP -> VP ; -- be sleeping
+ ImpPl1, -- : VP -> Utt ; -- let's go
+ UttVP, -- : VP -> Utt ; -- to sleep
+ QuestVP, -- : IP -> VP -> QCl ; -- who walks
+ RelVP, -- : RP -> VP -> RCl ; -- who loves John
+ PredVP, -- : NP -> VP -> Cl ; -- John walks
+ 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
+ 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
+ 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
+ PassV2 , -- : V2 -> VP ; -- be used
+ AdvVP , --- : VP -> Adv -> VP ; -- sleep here
+ AdVVP --- : AdV -> VP -> VP ; -- always sleep
+ ]
+** {
+
+ cat
+ Advs ;
+ AdVs ;
+
+ fun
+ NoAdv : Advs ;
+ NoAdV : AdVs ;
+ ConAdv : Adv -> Advs -> Advs ;
+ ConAdV : AdV -> AdVs -> AdVs ;
+
+ PredUseV : NP -> AdVs -> V -> 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 -> 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 ;
+
+}
diff --git a/old-examples/shallow/ShallowEng.gf b/old-examples/shallow/ShallowEng.gf
new file mode 100644
index 000000000..eacffefc5
--- /dev/null
+++ b/old-examples/shallow/ShallowEng.gf
@@ -0,0 +1,33 @@
+--# -path=.:alltenses:prelude
+
+concrete ShallowEng of Shallow = GrammarEng - [
+ 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 = GrammarEng) ;
+
diff --git a/old-examples/shallow/ShallowFre.gf b/old-examples/shallow/ShallowFre.gf
new file mode 100644
index 000000000..d8b9002cd
--- /dev/null
+++ b/old-examples/shallow/ShallowFre.gf
@@ -0,0 +1,33 @@
+--# -path=.:alltenses:prelude
+
+concrete ShallowFre of Shallow = GrammarFre - [
+ 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 = GrammarFre) ;
+
diff --git a/old-examples/shallow/ShallowI.gf b/old-examples/shallow/ShallowI.gf
new file mode 100644
index 000000000..e8669d9f5
--- /dev/null
+++ b/old-examples/shallow/ShallowI.gf
@@ -0,0 +1,72 @@
+incomplete concrete ShallowI of Shallow = Grammar-[
+ VP,
+ ImpersCl, -- : VP -> Cl ; -- it rains
+ GenericCl, -- : VP -> Cl ; -- one sleeps
+ ProgrVP, -- : VP -> VP ; -- be sleeping
+ ImpPl1, -- : VP -> Utt ; -- let's go
+ UttVP, -- : VP -> Utt ; -- to sleep
+ QuestVP, -- : IP -> VP -> QCl ; -- who walks
+ RelVP, -- : RP -> VP -> RCl ; -- who loves John
+ PredVP, -- : NP -> VP -> Cl ; -- John walks
+ 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
+ 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
+ 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
+ PassV2 , -- : V2 -> VP ; -- be used
+ AdvVP , -- : VP -> Adv -> VP ; -- sleep here
+ AdVVP -- : AdV -> VP -> VP ; -- always sleep
+ ]
+** open Grammar, Prelude in {
+
+ lincat
+ Advs = Adv ;
+ AdVs = AdV ;
+
+ lin
+ NoAdv = {s = [] ; lock_Adv = <>} ;
+ NoAdV = {s = [] ; lock_AdV = <>} ;
+ ConAdv a as = {s = a.s ++ as.s ; lock_Adv = <>} ;
+ ConAdV a as = {s = a.s ++ as.s ; lock_AdV = <>} ;
+
+ PredUseV np adVs v advs =
+ PredVP np (AdvVP (AdVVP adVs (UseV v)) 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 =
+ 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) ;
+
+}
diff --git a/old-examples/shallow/ShallowSwe.gf b/old-examples/shallow/ShallowSwe.gf
new file mode 100644
index 000000000..9163b575d
--- /dev/null
+++ b/old-examples/shallow/ShallowSwe.gf
@@ -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) ;
+
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 05:26:02 +0000