forked from GitHub/gf-rgl
87 lines
3.6 KiB
Plaintext
87 lines
3.6 KiB
Plaintext
--1 Numerals
|
|
|
|
-- This grammar defines numerals from 1 to 999999.
|
|
-- The implementations are adapted from the
|
|
-- [numerals library http://www.cs.chalmers.se/~aarne/GF/examples/numerals/]
|
|
-- which defines numerals for 88 languages.
|
|
-- The resource grammar implementations add to this inflection (if needed)
|
|
-- and ordinal numbers.
|
|
--
|
|
-- *Note* 1. Number 1 as defined
|
|
-- in the category $Numeral$ here should not be used in the formation of
|
|
-- noun phrases, and should therefore be removed. Instead, one should use
|
|
-- [Structural Structural.html]$.one_Quant$. This makes the grammar simpler
|
|
-- because we can assume that numbers form plural noun phrases.
|
|
--
|
|
-- *Note* 2. The implementations introduce spaces between
|
|
-- parts of a numeral, which is often incorrect - more work on
|
|
-- (un)lexing is needed to solve this problem.
|
|
|
|
abstract Numeral = Cat [Numeral,Digits,Decimal] ** {
|
|
|
|
cat
|
|
Digit ; -- 2..9
|
|
Sub10 ; -- 1..9
|
|
Sub100 ; -- 1..99
|
|
Sub1000 ; -- 1..999
|
|
Sub1000000 ; -- 1..999999
|
|
Sub1000000000 ; -- 1..999999999
|
|
Sub1000000000000 ; -- 1..999999999999
|
|
|
|
data
|
|
|
|
num : Sub1000000 -> Numeral ; -- 123456 [coercion to top category]
|
|
---- num : Sub1000000000000 -> Numeral ; ---- should be this, but not yet available in most langs AR 6/2/2024
|
|
|
|
n2, n3, n4, n5, n6, n7, n8, n9 : Digit ;
|
|
|
|
pot01 : Sub10 ; -- 1
|
|
pot0 : Digit -> Sub10 ; -- d * 1
|
|
pot0as1 : Sub10 -> Sub100 ; -- coercion of 1..9
|
|
|
|
pot110 : Sub100 ; -- 10
|
|
pot111 : Sub100 ; -- 11
|
|
pot1to19 : Digit -> Sub100 ; -- 10 + d
|
|
pot1 : Digit -> Sub100 ; -- d * 10
|
|
pot1plus : Digit -> Sub10 -> Sub100 ; -- d * 10 + n
|
|
pot1as2 : Sub100 -> Sub1000 ; -- coercion of 1..99
|
|
|
|
pot21 : Sub1000 ; -- a hundred instead of one hundred
|
|
pot2 : Sub10 -> Sub1000 ; -- m * 100
|
|
pot2plus : Sub10 -> Sub100 -> Sub1000 ; -- m * 100 + n
|
|
pot2as3 : Sub1000 -> Sub1000000 ; -- coercion of 1..999
|
|
|
|
pot31 : Sub1000000 ; -- a thousand instead of one thousand
|
|
pot3 : Sub1000 -> Sub1000000 ; -- m * 1000
|
|
pot3plus : Sub1000 -> Sub1000 -> Sub1000000 ; -- m * 1000 + n
|
|
pot3as4 : Sub1000000 -> Sub1000000000 ; -- coercion of 1..999999
|
|
pot3decimal : Decimal -> Sub1000000 ; -- 3.5 thousand
|
|
|
|
pot41 : Sub1000000000 ; -- a million instead of one million
|
|
pot4 : Sub1000 -> Sub1000000000 ; -- m * 1000000000
|
|
pot4plus : Sub1000 -> Sub1000000 -> Sub1000000000 ; -- m * 1000000000 + n
|
|
pot4as5 : Sub1000000000 -> Sub1000000000000 ; -- coercion of 1..999999999
|
|
pot4decimal : Decimal -> Sub1000000000 ; -- 3.5 million
|
|
|
|
pot51 : Sub1000000000000 ; -- a billion instead of one billion
|
|
pot5 : Sub1000 -> Sub1000000000000 ; -- m * 1000000000
|
|
pot5plus : Sub1000 -> Sub1000000000 -> Sub1000000000000 ; -- m * 1000000000 + n
|
|
pot5decimal : Decimal -> Sub1000000000000 ; -- 3.5 billion
|
|
|
|
-- Numerals as sequences of digits have a separate, simpler grammar
|
|
|
|
cat
|
|
Dig ; -- single digit 0..9
|
|
|
|
data
|
|
IDig : Dig -> Digits ; -- 8
|
|
IIDig : Dig -> Digits -> Digits ; -- 876
|
|
|
|
D_0, D_1, D_2, D_3, D_4, D_5, D_6, D_7, D_8, D_9 : Dig ;
|
|
|
|
PosDecimal : Digits -> Decimal ; -- 8
|
|
NegDecimal : Digits -> Decimal ; -- -8
|
|
IFrac : Decimal -> Dig -> Decimal ; -- 3.14 -> 3.141
|
|
|
|
}
|