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

Jordi's addition to Combinators api: appCN and appCNc

Browse Source
This commit is contained in:
aarne
2014-03-15 06:09:58 +00:00
parent 7bfb2444af
commit 76afac499b
10 changed files with 109 additions and 21 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
lib/src/api/Combinators.gf
View File

@@ -33,8 +33,9 @@ incomplete resource Combinators = open Cat, Structural, Constructors in {
app : N -> NP ; -- the bottom
app : N2 -> NP -> NP ; -- the successor of x
app : N3 -> NP -> NP -> NP ; -- the distance from x to y
appCN : CN -> NP -> NP ; -- the absolute value of x
appCNc : CN -> [NP] -> NP ; -- the greatest common divisor of x , y and z
app : N2 -> NP -> NP -> NP ; -- the sum of x and y
app : N2 -> N -> CN ; -- set of integers
app : N2 -> NP -> CN ; -- divisor of x
app : N3 -> NP -> NP -> CN ; -- path from x to y
@@ -120,6 +121,11 @@ incomplete resource Combinators = open Cat, Structural, Constructors in {
= \n,x -> mkNP the_Art (mkCN n x) ; --# notminimal
app : N3 -> NP -> NP -> NP --# notminimal
= \n,x,y -> mkNP the_Art (mkCN n x y) ; --# notminimal
appCN : CN -> NP -> NP --# notminimal ?
= \cn,x -> mkNP (mkNP the_Art cn) (mkAdv possess_Prep x) ; -- mkNP the_Art (PossNP cn x) ;
appCNc : CN -> [NP] -> NP --# notminimal ?
= \cn,xs -> let np : NP = mkNP and_Conj xs
in mkNP (mkNP the_Art cn) (mkAdv possess_Prep np) ; -- mkNP the_Art (PossNP cn np) ;
app : N2 -> NP -> NP -> NP --# notminimal
= \n,x,y -> mkNP the_Art (mkCN n (mkNP and_Conj x y)) ; --# notminimal
app : N2 -> N -> CN --# notminimal

13
lib/src/api/CombinatorsBul.gf
View File

@@ -1,6 +1,15 @@
--# -path=.:alltenses:prelude
resource CombinatorsBul = Combinators with
resource CombinatorsBul = Combinators - [appCN, appCNc] with
(Cat = CatBul),
(Structural = StructuralBul),
(Constructors = ConstructorsBul) ;
(Noun = NounBul),
(Constructors = ConstructorsBul) **
{
oper
appCN : CN -> NP -> NP
= \cn,x -> mkNP the_Art (PossNP cn x) ;
appCNc : CN -> [NP] -> NP
= \cn,xs -> let np : NP = mkNP and_Conj xs
in mkNP the_Art (PossNP cn np) ;
}

15
lib/src/api/CombinatorsCat.gf
View File

@@ -1,6 +1,15 @@
--# -path=.:alltenses
--# -path=.:alltenses:prelude
resource CombinatorsCat = Combinators with
resource CombinatorsCat = Combinators - [appCN, appCNc] with
(Cat = CatCat),
(Structural = StructuralCat),
(Constructors = ConstructorsCat) ;
(Noun = NounCat),
(Constructors = ConstructorsCat) **
{
oper
appCN : CN -> NP -> NP
= \cn,x -> mkNP the_Art (PossNP cn x) ;
appCNc : CN -> [NP] -> NP
= \cn,xs -> let np : NP = mkNP and_Conj xs
in mkNP the_Art (PossNP cn np) ;
}

13
lib/src/api/CombinatorsEng.gf
View File

@@ -1,6 +1,15 @@
--# -path=.:alltenses:prelude
resource CombinatorsEng = Combinators with
resource CombinatorsEng = Combinators - [ appCN, appCNc ] with
(Cat = CatEng),
(Structural = StructuralEng),
(Constructors = ConstructorsEng) ;
(Noun = NounEng),
(Constructors = ConstructorsEng) **
{
oper
appCN : CN -> NP -> NP
= \cn,x -> mkNP the_Art (PossNP cn x) ;
appCNc : CN -> [NP] -> NP
= \cn,xs -> let np : NP = mkNP and_Conj xs
in mkNP the_Art (PossNP cn np) ;
}

14
lib/src/api/CombinatorsFin.gf
View File

@@ -1,6 +1,16 @@
--# -path=.:alltenses:prelude
resource CombinatorsFin = Combinators with
resource CombinatorsFin = Combinators - [appCN, appCNc] with
(Cat = CatFin),
(Structural = StructuralFin),
(Constructors = ConstructorsFin) ;
(Noun = NounFin),
(Constructors = ConstructorsFin) **
{
oper
appCN : CN -> NP -> NP
= \cn,x -> mkNP the_Art (PossNP cn x) ;
appCNc : CN -> [NP] -> NP
= \cn,xs -> let np : NP = mkNP and_Conj xs
in mkNP the_Art (PossNP cn np) ;
}

13
lib/src/api/CombinatorsFre.gf
View File

@@ -1,6 +1,15 @@
--# -path=.:alltenses:prelude
resource CombinatorsFre = Combinators with
resource CombinatorsFre = Combinators - [appCN, appCNc] with
(Cat = CatFre),
(Structural = StructuralFre),
(Constructors = ConstructorsFre) ;
(Noun = NounFre),
(Constructors = ConstructorsFre) **
{
oper
appCN : CN -> NP -> NP
= \cn,x -> mkNP the_Art (PossNP cn x) ;
appCNc : CN -> [NP] -> NP
= \cn,xs -> let np : NP = mkNP and_Conj xs
in mkNP the_Art (PossNP cn np) ;
}

13
lib/src/api/CombinatorsGer.gf
View File

@@ -1,6 +1,15 @@
--# -path=.:alltenses:prelude
resource CombinatorsGer = Combinators with
resource CombinatorsGer = Combinators - [appCN, appCNc] with
(Cat = CatGer),
(Structural = StructuralGer),
(Constructors = ConstructorsGer) ;
(Noun = NounGer),
(Constructors = ConstructorsGer) **
{
oper
appCN : CN -> NP -> NP
= \cn,x -> mkNP the_Art (PossNP cn x) ;
appCNc : CN -> [NP] -> NP
= \cn,xs -> let np : NP = mkNP and_Conj xs
in mkNP the_Art (PossNP cn np) ;
}

13
lib/src/api/CombinatorsIta.gf
View File

@@ -1,6 +1,15 @@
--# -path=.:alltenses:prelude
resource CombinatorsIta = Combinators with
resource CombinatorsIta = Combinators - [appCN, appCNc] with
(Cat = CatIta),
(Structural = StructuralIta),
(Constructors = ConstructorsIta) ;
(Noun = NounIta),
(Constructors = ConstructorsIta) **
{
oper
appCN : CN -> NP -> NP
= \cn,x -> mkNP the_Art (PossNP cn x) ;
appCNc : CN -> [NP] -> NP
= \cn,xs -> let np : NP = mkNP and_Conj xs
in mkNP the_Art (PossNP cn np) ;
}

15
lib/src/api/CombinatorsSpa.gf
View File

@@ -1,6 +1,15 @@
--# -path=.:alltenses
--# -path=.:alltenses:prelude
resource CombinatorsSpa = Combinators with
resource CombinatorsSpa = Combinators - [appCN, appCNc] with
(Cat = CatSpa),
(Structural = StructuralSpa),
(Constructors = ConstructorsSpa) ;
(Noun = NounSpa),
(Constructors = ConstructorsSpa) **
{
oper
appCN : CN -> NP -> NP
= \cn,x -> mkNP the_Art (PossNP cn x) ;
appCNc : CN -> [NP] -> NP
= \cn,xs -> let np : NP = mkNP and_Conj xs
in mkNP the_Art (PossNP cn np) ;
}

13
lib/src/api/CombinatorsSwe.gf
View File

@@ -1,6 +1,15 @@
--# -path=.:alltenses:prelude
resource CombinatorsSwe = Combinators with
resource CombinatorsSwe = Combinators - [appCN, appCNc] with
(Cat = CatSwe),
(Structural = StructuralSwe),
(Constructors = ConstructorsSwe) ;
(Noun = NounSwe),
(Constructors = ConstructorsSwe) **
{
oper
appCN : CN -> NP -> NP
= \cn,x -> mkNP the_Art (PossNP cn x) ;
appCNc : CN -> [NP] -> NP
= \cn,xs -> let np : NP = mkNP and_Conj xs
in mkNP the_Art (PossNP cn np) ;
}