diff options
| author | aarne <aarne@chalmers.se> | 2010-11-10 17:01:12 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2010-11-10 17:01:12 +0000 |
| commit | bad36015d23f125ce2d3f1faedd5047aedb6c398 (patch) | |
| tree | cf2219e86d5a6d65b091ca26787e136f03510f20 | |
| parent | 41df4e00ff7423100ac3d3f64753af1be652767f (diff) | |
lib/amharic by Markos Kassa Gobena
| -rw-r--r-- | examples/attempto/Attempto.gf | 2 | ||||
| -rw-r--r-- | examples/attempto/AttemptoEng.gf | 8 | ||||
| -rw-r--r-- | examples/attempto/AttemptoI.gf | 1 |
3 files changed, 9 insertions, 2 deletions
diff --git a/examples/attempto/Attempto.gf b/examples/attempto/Attempto.gf index 0020973ce..0a58ae398 100644 --- a/examples/attempto/Attempto.gf +++ b/examples/attempto/Attempto.gf @@ -254,6 +254,8 @@ fun impVP : VP -> Text ; -- go to the bank! fun numeralCard : Numeral -> Card ; -- fifteen banks fun digitsCard : Digits -> Card ; -- 8 banks fun have_V2 : V2 ; -- has (an apple) +fun v2_byVP : V2 -> NP -> VP ; -- is bought by a customer + } diff --git a/examples/attempto/AttemptoEng.gf b/examples/attempto/AttemptoEng.gf index 5e13b3aab..80ccf64fb 100644 --- a/examples/attempto/AttemptoEng.gf +++ b/examples/attempto/AttemptoEng.gf @@ -1,7 +1,11 @@ --# -path=.:present -concrete AttemptoEng of Attempto = SymbolsC,NumeralEng ** AttemptoI with +concrete AttemptoEng of Attempto = SymbolsC,NumeralEng ** AttemptoI - [which_RP] with (Syntax = SyntaxEng), (Symbolic = SymbolicEng), - (LexAttempto = LexAttemptoEng) ; + (LexAttempto = LexAttemptoEng) ** open SyntaxEng, ExtraEng in { + +lin which_RP = SyntaxEng.which_RP | that_RP ; + +} ; diff --git a/examples/attempto/AttemptoI.gf b/examples/attempto/AttemptoI.gf index f81631641..9343d8bae 100644 --- a/examples/attempto/AttemptoI.gf +++ b/examples/attempto/AttemptoI.gf @@ -251,6 +251,7 @@ lin impVP vp = mkText (mkImp vp) ; lin numeralCard n = mkCard <lin Numeral n : Numeral> ; lin digitsCard n = mkCard <lin Digits n : Digits> ; lin have_V2 = Syntax.have_V2 ; +lin v2_byVP v2 np = mkVP (passiveVP v2) (mkAdv by8agent_Prep np) ; } |