msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity

lib/amharic by Markos Kassa Gobena

Browse Source
This commit is contained in:
aarne
2010-11-10 17:01:12 +00:00
parent 41df4e00ff
commit bad36015d2
3 changed files with 9 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
examples/attempto/Attempto.gf
View File

@@ -254,6 +254,8 @@ fun impVP : VP -> Text ; -- go to the bank!
fun numeralCard : Numeral -> Card ; -- fifteen banks fun numeralCard : Numeral -> Card ; -- fifteen banks
fun digitsCard : Digits -> Card ; -- 8 banks fun digitsCard : Digits -> Card ; -- 8 banks
fun have_V2 : V2 ; -- has (an apple) fun have_V2 : V2 ; -- has (an apple)
fun v2_byVP : V2 -> NP -> VP ; -- is bought by a customer
} }

8
examples/attempto/AttemptoEng.gf
View File

@@ -1,7 +1,11 @@
--# -path=.:present --# -path=.:present
concrete AttemptoEng of Attempto = SymbolsC,NumeralEng ** AttemptoI with concrete AttemptoEng of Attempto = SymbolsC,NumeralEng ** AttemptoI - [which_RP] with
(Syntax = SyntaxEng), (Syntax = SyntaxEng),
(Symbolic = SymbolicEng), (Symbolic = SymbolicEng),
(LexAttempto = LexAttemptoEng) ; (LexAttempto = LexAttemptoEng) ** open SyntaxEng, ExtraEng in {
lin which_RP = SyntaxEng.which_RP | that_RP ;
} ;

1
examples/attempto/AttemptoI.gf
View File

@@ -251,6 +251,7 @@ lin impVP vp = mkText (mkImp vp) ;
lin numeralCard n = mkCard <lin Numeral n : Numeral> ; lin numeralCard n = mkCard <lin Numeral n : Numeral> ;
lin digitsCard n = mkCard <lin Digits n : Digits> ; lin digitsCard n = mkCard <lin Digits n : Digits> ;
lin have_V2 = Syntax.have_V2 ; lin have_V2 = Syntax.have_V2 ;
lin v2_byVP v2 np = mkVP (passiveVP v2) (mkAdv by8agent_Prep np) ;
} }