1
0
forked from GitHub/gf-core

Rewriting with interface to resource.

This commit is contained in:
aarne
2004-01-09 16:48:19 +00:00
parent 52bc53dfd7
commit 9b9634bf7a
4 changed files with 45 additions and 96 deletions

View File

@@ -1,43 +1,3 @@
--# -path=.:../newresource/abstract:../newresource/english:../prelude
concrete DatabaseEng of Database = open Prelude, ResourceEng 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) ;
} ;
concrete DatabaseEng of Database = DatabaseI with (Resource=ResourceEng) ;

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 ;
} ;

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) ;
} ;

View File

@@ -1,46 +1,3 @@
--# -path=.:../newresource/abstract:../newresource/swedish:../prelude
--- This is actually the same set of definitions as in DatabaseEng. So
--- 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) ;
} ;
concrete DatabaseSwe of Database = DatabaseI with (Resource=ResourceSwe) ;