diff options
| author | john.j.camilleri <john.j.camilleri@chalmers.se> | 2013-09-16 07:17:27 +0000 |
|---|---|---|
| committer | john.j.camilleri <john.j.camilleri@chalmers.se> | 2013-09-16 07:17:27 +0000 |
| commit | f5461eb3d4eb2605b546a4ed202c12bcdaa1f4e4 (patch) | |
| tree | 946c9e8542b8e8271b6b529a95c0400fa6613cb4 /examples/numerals/greek_classical.gf | |
| parent | 8e1c6cca407c82fc09569d80c231b8d256735989 (diff) | |
Remove contribs and examples
Everything has now been moved to a separate repository at
https://github.com/GrammaticalFramework/gf-contrib
The contents of the examples folder are build during SetupWeb
Diffstat (limited to 'examples/numerals/greek_classical.gf')
| -rw-r--r-- | examples/numerals/greek_classical.gf | 204 |
1 files changed, 0 insertions, 204 deletions
diff --git a/examples/numerals/greek_classical.gf b/examples/numerals/greek_classical.gf deleted file mode 100644 index 3b34e3529..000000000 --- a/examples/numerals/greek_classical.gf +++ /dev/null @@ -1,204 +0,0 @@ -concrete greek_classical of Numerals = { -flags coding = utf8 ; --- include numerals.Abs.gf ;
--- flags coding=greek ;
-
--- Classical Greek (of Athens)
--- Aarne's transliteration
--- There are attested variant forms. kai:s between the elements in bigger ->
--- smaller order is also possible but not common.
-
-param DForm = unit | tkismyr | teen | ten | hund | kisxil | kismyr |
- tenkismyr | tenkis ;
-param InterData = indep Order | xiliad | myriad Order ;
-param Tenpart = kis1 | tkis1 ;
-param Size = sg | pl | tenoverpl ;
-param Order = des | asc;
-lincat Numeral = {s : Str} ;
-
-oper LinDigit = {s : DForm => Str} ;
-oper LinSub1000 = {s : InterData => Str ; size : Size} ;
-
-lincat Numeral = { s : Str } ;
-lincat Digit = LinDigit ;
-lincat Sub10 = {s : DForm => Str ;
- size : Size} ;
-lincat Sub100 = {s : InterData => Str ;
- s1 : Tenpart => Str ;
- s2 : Str ;
- size : Size} ;
-lincat Sub1000 = LinSub1000 ;
-lincat Sub1000000 = {s : Str} ;
-lin num x0 =
- {s = [] ++ x0.s ++ []} ; -- Greek environment
-
-oper mkNum : Str -> Str -> Str -> Str -> Str -> Str -> Str -> LinDigit =
- \dyo -> \dis -> \dwdekakis -> \dwdeka -> \eikosi -> \diakosioi ->
- \eikosakis ->
- {s = table {unit => dyo ;
- tkismyr => dwdekakis + "μύριοι" ;
- teen => dwdeka ;
- ten => eikosi ;
- hund => diakosioi ;
- kisxil => dis + "χίλιοι" ;
- kismyr => dis + "μύριοι" ;
- tenkis => eikosakis ;
- tenkismyr => eikosakis + "μύριοι"} };
-
-lin n2 = mkNum
- "δύο"
- "δισ"
- "δωδεκακισ"
- "δώδεκα"
- "εἴκοσι"
- "διακόσιοι"
- "εἰκοσάκισ" ;
-
-lin n3 = mkNum
- "τρεῖς"
- "τρισ"
- "τρεισκαιδεκακισ"
- (variants {"τρεῖς" ++ "καὶ" ++ "δέκα" ; "τρεισκαίδεκα"} )
- "τριάκοντα"
- "τριακόσιοι"
- "τριακοντάκισ" ;
-
-lin n4 = mkNum
- "τέτταρες"
- "τετρακισ"
- "τετταρεσκαιδεκακισ"
- (variants {"τέτταρες" ++ "καὶ" ++ "δέκα" ; "τετταρεσκαίδεκα"})
- "τετταράκοντα"
- "τετρακόσιοι"
- "τετταρακοντάκισ" ;
-
-lin n5 = mkNum
- "πέντε"
- "πεντακισ"
- "πεντεκαιδεκακισ"
- "πεντεκαίδεκα"
- "πεντήκοντα"
- "πεντακόσιοι"
- "πεντηκοντάκισ" ;
-
-lin n6 = mkNum
- "ἕξ"
- "ἑξακισ"
- "ἑκκαιδεκακισ"
- "ἑκκαίδεκα"
- "ἑξήκοντα"
- "ἑξακόσιοι"
- "ἑξηκοντάκισ" ;
-
-lin n7 = mkNum
- "ἑπτά"
- "ἑπτακισ"
- "ἑπτακαιδεκακισ"
- "ἑπτακαίδεκα"
- "ἑβδομήκοντα"
- "ἑπτακόσιοι"
- "ἑβδομηκοντάκισ" ;
-
-lin n8 = mkNum
- "ὀκτώ"
- "ὀκτακισ"
- "ὀκτωκαιδεκακισ"
- "ὀκτωκαίδεκα"
- "ὀγδοήκοντα"
- "ὀκτακόσιοι"
- "ὀγδοηκοντάκισ" ;
-
-lin n9 = mkNum
- "ἐννέα"
- "ἐνακισ"
- "ἐννεακαιδεκακισ"
- "ἐννεακαίδεκα"
- "ἐνενήκοντα"
- "ἐνακόσιοι"
- "ἐνενηκοντάκισ" ;
-
-lin pot01 =
- {s = table {hund => "ἑκατόν" ;
- kisxil => "χίλιοι" ;
- kismyr => "ἅπαξ" + "μύριοι" ;
- _ => "εἵς" } ;
- size = sg} ;
-lin pot0 d =
- {s = d.s ; size = pl} ;
-lin pot110 =
- {s = table {xiliad => "δψμμυ" ;
- (myriad _) => "μύριοι" ;
- (indep _) => "δέκα" };
- s1 = table {kis1 => "ἅπαξ" + "μύριοι" ; tkis1 => "ἑνδεκάκισ" + "μύριοι"} ;
- s2 = [] ;
- size = tenoverpl} ;
-lin pot111 =
- {s = table {xiliad => "δψμμυ" ;
- (myriad des) => "μύριοι" ++ "χίλιοι" ;
- (myriad asc) => "χίλιοι" ++ "καὶ" ++ "μύριοι" ;
- (indep _) => "ἕνδεκα" } ;
- s1 = table {kis1 => "ἅπαξ" + "μύριοι" ; tkis1 => "ἑνδεκάκισ" + "μύριοι"} ;
- s2 = "χίλιοι" ;
- size = tenoverpl} ;
-lin pot1to19 d =
- {s = table {xiliad => "δψμμυ" ;
- (myriad des) => "μύριοι" ++ d.s ! kisxil ;
- (myriad asc) => d.s ! kisxil ++ "καὶ" ++ "μύριοι" ;
- (indep _) => d.s ! teen } ;
- s1 = table {kis1 => "ἅπαξ" + "μύριοι" ; tkis1 => "ἑνδεκάκισ" + "μύριοι" } ;
- s2 = d.s ! kisxil ;
- size = tenoverpl} ;
-lin pot0as1 n =
- {s = table {xiliad => n.s ! kisxil ;
- (indep _) => n.s ! unit ;
- (myriad _) => "δψμμυ" } ;
- s1 = table {_ => []} ;
- s2 = n.s ! kisxil ;
- size = n.size} ;
-lin pot1 d =
- {s = table {xiliad => "δψμμυ" ;
- (myriad _) => d.s ! kismyr ;
- (indep _) => d.s ! ten} ;
- s1 = table {kis1 => d.s ! kismyr ; tkis1 => d.s ! tkismyr } ;
- s2 = [];
- size = tenoverpl} ;
-lin pot1plus d e =
- {s = table {xiliad => "δψμμυ" ;
- (myriad des) => d.s ! kismyr ++ e.s ! kisxil ;
- (myriad asc) => e.s ! kisxil ++ "καὶ" ++ d.s ! kismyr ;
- (indep des) => d.s ! ten ++ e.s ! unit ;
- (indep asc) => e.s ! unit ++ "καὶ" ++ d.s ! ten } ;
- s1 = table {kis1 => d.s ! kismyr ; tkis1 => d.s ! tkismyr } ;
- s2 = e.s ! kisxil ;
- size = tenoverpl} ;
-lin pot1as2 n =
- {s = n.s ; size = n.size} ;
-lin pot2 d =
- {s = table {(indep _) => d.s ! hund ;
- (myriad _) => d.s ! tenkismyr;
- xiliad => "δψμμυ"} ;
- size = tenoverpl} ;
-lin pot2plus d e =
- {s = table {(myriad _) => table {sg => e.s1 ! tkis1 ;
- pl => d.s ! tenkis ++ e.s1 ! kis1 ;
- tenoverpl => "δψμμυ" } ! d.size ++ e.s2 ;
- (indep des) => d.s ! hund ++ e.s ! indep des ;
- (indep asc) => (e.s ! indep asc) ++ "καὶ" ++ d.s ! hund ;
- xiliad => "δψμμυ" } ;
- size = tenoverpl} ;
-
-lin pot2as3 n =
- {s = variants { n.s ! indep des ; n.s ! indep asc}} ;
-lin pot3 n =
- {s = variants {(Myr n des) ! n.size ; (Myr n asc) ! n.size} } ;
-lin pot3plus n m =
- {s = variants {(Myr n des) ! n.size ++ m.s ! indep des;
- m.s ! indep asc ++ "καὶ" ++ (Myr n asc) ! n.size }} ;
-
-oper Myr : LinSub1000 -> Order -> Size => Str = \n -> \order ->
- table {sg => "χίλιοι" ;
- pl => n.s ! xiliad ;
- tenoverpl => n.s ! myriad order} ;
-
- -} |
