GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-20 08:32:50 -06:00
Code Issues Packages Projects Releases Wiki Activity

fix SUMO after the update in DictEng

Browse Source
This commit is contained in:
kr.angelov
2011-08-23 15:05:04 +00:00
parent 623c72ca1d
commit 5339aa8074
4 changed files with 10 additions and 19 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
examples/SUMO/MidLevelOntologyEng.gf
View File

@@ -1464,7 +1464,7 @@ lin
quarter ob1 ob2 = mkPolSent (PredVP ob1 (AdvVP (UseComp (CompNP (DetCN (DetQuant IndefArt NumSg) (UseN quarter_N)))) (PrepNP part_Prep ob2))) ; quarter ob1 ob2 = mkPolSent (PredVP ob1 (AdvVP (UseComp (CompNP (DetCN (DetQuant IndefArt NumSg) (UseN quarter_N)))) (PrepNP part_Prep ob2))) ;
third ob1 ob2 = mkPolSent (PredVP ob1 (AdvVP (UseComp (CompNP (DetCN (DetQuant IndefArt NumSg) (UseN (mkN "third"))))) (PrepNP part_Prep ob2))) ; third ob1 ob2 = mkPolSent (PredVP ob1 (AdvVP (UseComp (CompNP (DetCN (DetQuant IndefArt NumSg) (UseN (mkN "third"))))) (PrepNP part_Prep ob2))) ;
fears ob1 ob2 = mkPolSent (PredVP ob1 (ComplSlash (SlashV2a fear_V2) (sentToNoun ob2))) ; fears ob1 ob2 = mkPolSent (PredVP ob1 (ComplSlash (SlashV2a fear_V2) (sentToNoun ob2))) ;
hopes ob1 ob2 = mkPolSent (PredVP ob1 (ComplSlash (SlashV2a hope_V2) (sentToNoun ob2))) ; hopes ob1 ob2 = mkPolSent (PredVP ob1 (ComplVS hope_VS (getSent ob2))) ;
plaintiff ob1 ob2 = mkPolSent (PredVP ob1 (AdvVP (UseComp (CompNP (DetCN (DetQuant IndefArt NumSg) (UseN plaintiff_N)))) (PrepNP part_Prep ob2))) ; plaintiff ob1 ob2 = mkPolSent (PredVP ob1 (AdvVP (UseComp (CompNP (DetCN (DetQuant IndefArt NumSg) (UseN plaintiff_N)))) (PrepNP part_Prep ob2))) ;
brandName ob1 ob2 = mkPolSent (PredVP ob1 (AdvVP (UseComp (CompNP (DetCN (DetQuant IndefArt NumSg) (ApposCN (UseN brand_N) (MassNP (UseN name_N)))))) (PrepNP part_Prep ob2))) ; brandName ob1 ob2 = mkPolSent (PredVP ob1 (AdvVP (UseComp (CompNP (DetCN (DetQuant IndefArt NumSg) (ApposCN (UseN brand_N) (MassNP (UseN name_N)))))) (PrepNP part_Prep ob2))) ;
formerName ob1 ob2 = mkPolSent (PredVP ob1 (AdvVP (UseComp (CompNP (DetCN (DetQuant DefArt NumSg) (AdjCN (PositA former_A) (UseN name_N))))) (PrepNP part_Prep ob2))) ; formerName ob1 ob2 = mkPolSent (PredVP ob1 (AdvVP (UseComp (CompNP (DetCN (DetQuant DefArt NumSg) (AdjCN (PositA former_A) (UseN name_N))))) (PrepNP part_Prep ob2))) ;

8
examples/SUMO/RGLExt/Extension.gf
View File

@@ -1,23 +1,21 @@
-- other functions needed for parsing -- other functions needed for parsing
abstract Extension = { abstract Extension = Cat ** {
cat cat
PolSentence; PolSentence;
StmtS ; StmtS ;
[CN]{2}; [CN]{2};
N; N2; A; V; V2; CN; NP; Cl; Pol; Prep; Conj; -- redefined from Cat
fun
fun
VerbToNounV2 : V2 -> N2 ; -- discovering VerbToNounV2 : V2 -> N2 ; -- discovering
VerbToNoun : V -> N ; -- walking is healthy VerbToNoun : V -> N ; -- walking is healthy
VerbToGerundA : V -> A ; -- singing bird VerbToGerundA : V -> A ; -- singing bird
VerbToParticipeA : V -> A ; -- the required number VerbToParticipeA : V -> A ; -- the required number
ConjCN : Conj -> [CN] -> CN ; -- set or class ConjCN : Conj -> [CN] -> CN ; -- set or class
mkPolSent : Cl -> PolSentence ; mkPolSent : Cl -> PolSentence ;
getSent : PolSentence -> S ;
sentToNoun : PolSentence -> NP ; sentToNoun : PolSentence -> NP ;
UsePolSentence : Pol -> PolSentence -> StmtS ; UsePolSentence : Pol -> PolSentence -> StmtS ;

17
examples/SUMO/RGLExt/ExtensionEng.gf
View File

@@ -1,25 +1,14 @@
--# -path=.:RGLExt:alltenses:../../lib/src/english --# -path=.:RGLExt:alltenses:../../lib/src/english
concrete ExtensionEng of Extension = open CatEng, MorphoEng, ResEng, ConjunctionEng, StructuralEng, Prelude, ParadigmsEng, Coordination, ParamBasic in { concrete ExtensionEng of Extension = CatEng ** open MorphoEng, ResEng, ConjunctionEng, StructuralEng, Prelude, ParadigmsEng, Coordination, ParamBasic in {
lincat lincat
PolSentence = {s : SentForm => CPolarity => Str ; flag : Flag}; PolSentence = {s : SentForm => CPolarity => Str ; flag : Flag};
[CN] = {s1,s2 : Number => ResEng.Case => Str ; g : Gender} ; [CN] = {s1,s2 : Number => ResEng.Case => Str ; g : Gender} ;
StmtS = {s : Str}; StmtS = {s : Str};
NP = CatEng.NP;
CN = CatEng.CN;
N = CatEng.N;
N2 = CatEng.N2;
A = CatEng.A;
V = CatEng.V;
V2 = CatEng.V2;
Cl = CatEng.Cl;
Pol = CatEng.Pol;
Prep = CatEng.Prep;
Conj = CatEng.Conj;
lin
lin
VerbToNounV2 vs = VerbToNoun vs ** {c2 = vs.c2; lock_N2=<>}; VerbToNounV2 vs = VerbToNoun vs ** {c2 = vs.c2; lock_N2=<>};
VerbToNoun v = {s = \\_,_ => v.s ! VPresPart; VerbToNoun v = {s = \\_,_ => v.s ! VPresPart;
@@ -35,6 +24,8 @@ mkPolSent cl = {s = \\f,b => case b of
flag = NothingS ; flag = NothingS ;
lock_PolSentence = <>}; lock_PolSentence = <>};
getSent psel = {s = psel.s ! Indep ! CPos} ;
sentToNoun ps = {s = \\_ => "\"" ++ ps.s ! Indep ! CPos ++ "\""; sentToNoun ps = {s = \\_ => "\"" ++ ps.s ! Indep ! CPos ++ "\"";
a = agrP3 Sg; lock_NP=<>}; a = agrP3 Sg; lock_NP=<>};

2
examples/nqueens/NatAscii.gf
View File

@@ -7,4 +7,6 @@ lin zero = "" ;
lincat NE = {} ; lincat NE = {} ;
lin plus x y = x ++ y ;
} }