1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
concrete numbersEng of numbers = { lincat Number = {s : Str}; pattern one = "one"; two = "two"; three = "three"; four = "four"; five = "five"; six = "six"; seven = "seven"; eight = "eight"; nine = "nine"; ten = "ten"; }