1
0
forked from GitHub/gf-rgl

getting started with overloaded API for 1.4; some determiner syntax missing

This commit is contained in:
aarne
2008-05-26 14:06:56 +00:00
parent 8af26a37ba
commit a7d80b7310
6 changed files with 1516 additions and 2 deletions

View File

@@ -61,11 +61,11 @@ abstract Noun = Cat ** {
-- The construction of numerals is defined in [Numeral Numeral.html].
-- $Num$ can be modified by certain adverbs.
-- A $Card$ can be modified by certain adverbs.
AdNum : AdN -> Card -> Card ; -- almost 51
-- $Ord$ consists of either digits or numeral words.
-- An $Ord$ consists of either digits or numeral words.
-- Also superlative forms of adjectives behave syntactically like ordinals.
OrdDigits : Digits -> Ord ; -- 51st