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";

}