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

Rewriting with interface to resource.

Browse Source
This commit is contained in:
aarne
2004-01-09 16:48:19 +00:00
parent 86d811f2a6
commit 5c88df10bb
4 changed files with 45 additions and 96 deletions
Download Patch File Download Diff File Expand all files Collapse all files

42
grammars/database/DatabaseEng.gf
View File

@@ -1,43 +1,3 @@
--# -path=.:../newresource/abstract:../newresource/english:../prelude --# -path=.:../newresource/abstract:../newresource/english:../prelude
concrete DatabaseEng of Database = open Prelude, ResourceEng in { concrete DatabaseEng of Database = DatabaseI with (Resource=ResourceEng) ;
flags lexer=text ; unlexer=text ;
lincat
Query = Phr ;
Subject = NP ;
Category = CN ;
Property = AP ;
Comparison = AdjDeg ;
Relation = Adj2 ;
Feature = Fun ;
Value = NP ;
Name = PN ;
lin
WhichAre A B = QuestPhrase (IntVP (NounIPMany A) (PosVG (PredAP B))) ;
IsThere A = QuestPhrase (IsThereNP (IndefOneNP A)) ;
AreThere A = QuestPhrase (IsThereNP (IndefManyNP NoNum A)) ;
WhatIs val = QuestPhrase (IntVP WhatOne (PosVG (PredNP val))) ;
IsIt Q A = QuestPhrase (QuestVP Q (PosVG (PredAP A))) ;
MoreThan = ComparAdjP ;
TheMost = SuperlNP ;
Relatively C _ = PositAdjP C ;
RelatedTo = ComplAdj ;
FeatureOf f x = DefOneNP (AppFun f x) ;
ValueOf f x = DefOneNP (AppFun f (UsePN x)) ;
WithProperty A B = ModAdj B A ;
Individual = UsePN ;
AllN = DetNP (AllsDet NoNum) ;
MostN = DetNP MostsDet ;
EveryN = DetNP EveryDet ;
Any = DetNP (AnysDet NoNum) ;
} ;

11
grammars/database/DatabaseEngRes.gf
View File

@@ -1,11 +0,0 @@
resource DatabaseEngRes = open Prelude in {
oper
mkSent : SS -> SS -> SS1 Bool = \long, short ->
{s = table {b => if_then_else Str b long.s short.s}} ;
mkSentPrel : Str -> SS -> SS1 Bool = \prel, matter ->
mkSent (ss (prel ++ matter.s)) matter ;
mkSentSame : SS -> SS1 Bool = \s ->
mkSent s s ;
} ;

43
grammars/database/DatabaseI.gf Normal file
View File

@@ -0,0 +1,43 @@
--# -path=.:../newresource/abstract:../prelude
incomplete concrete DatabaseI of Database = open Prelude, Resource in {
flags lexer=text ; unlexer=text ;
lincat
Query = Phr ;
Subject = NP ;
Category = CN ;
Property = AP ;
Comparison = AdjDeg ;
Relation = Adj2 ;
Feature = Fun ;
Value = NP ;
Name = PN ;
lin
WhichAre A B = QuestPhrase (IntVP (NounIPMany A) (PosVG (PredAP B))) ;
IsThere A = QuestPhrase (IsThereNP (IndefOneNP A)) ;
AreThere A = QuestPhrase (IsThereNP (IndefManyNP NoNum A)) ;
WhatIs val = QuestPhrase (IntVP WhatOne (PosVG (PredNP val))) ;
IsIt Q A = QuestPhrase (QuestVP Q (PosVG (PredAP A))) ;
MoreThan = ComparAdjP ;
TheMost = SuperlNP ;
Relatively C _ = PositAdjP C ;
RelatedTo = ComplAdj ;
FeatureOf f x = DefOneNP (AppFun f x) ;
ValueOf f x = DefOneNP (AppFun f (UsePN x)) ;
WithProperty A B = ModAdj B A ;
Individual = UsePN ;
AllN = DetNP (AllsDet NoNum) ;
MostN = DetNP MostsDet ;
EveryN = DetNP EveryDet ;
Any = DetNP (AnysDet NoNum) ;
} ;

45
grammars/database/DatabaseSwe.gf
View File

@@ -1,46 +1,3 @@
--# -path=.:../newresource/abstract:../newresource/swedish:../prelude --# -path=.:../newresource/abstract:../newresource/swedish:../prelude
--- This is actually the same set of definitions as in DatabaseEng. So concrete DatabaseSwe of Database = DatabaseI with (Resource=ResourceSwe) ;
--- we could use an interface instead of ResourceSwe.
concrete DatabaseSwe of Database = open Prelude, ResourceSwe in {
flags lexer=text ; unlexer=text ;
lincat
Query = Phr ;
Subject = NP ;
Category = CN ;
Property = AP ;
Comparison = AdjDeg ;
Relation = Adj2 ;
Feature = Fun ;
Value = NP ;
Name = PN ;
lin
WhichAre A B = QuestPhrase (IntVP (NounIPMany A) (PosVG (PredAP B))) ;
IsThere A = QuestPhrase (IsThereNP (IndefOneNP A)) ;
AreThere A = QuestPhrase (IsThereNP (IndefManyNP NoNum A)) ;
WhatIs val = QuestPhrase (IntVP WhatOne (PosVG (PredNP val))) ;
IsIt Q A = QuestPhrase (QuestVP Q (PosVG (PredAP A))) ;
MoreThan = ComparAdjP ;
TheMost = SuperlNP ;
Relatively C _ = PositAdjP C ;
RelatedTo = ComplAdj ;
FeatureOf f x = DefOneNP (AppFun f x) ;
ValueOf f x = DefOneNP (AppFun f (UsePN x)) ;
WithProperty A B = ModAdj B A ;
Individual = UsePN ;
AllN = DetNP (AllsDet NoNum) ;
MostN = DetNP MostsDet ;
EveryN = DetNP EveryDet ;
Any = DetNP (AnysDet NoNum) ;
} ;