If I have a cardinal number, the RGL allows me to create a determiner from it with or without a quantifier:
mkDet : Quant -> Card -> Det --these five
mkDet : Card -> Det --five
If I have an ordinal number, the RGL only allows me to create a determiner from it with a quantifier, not without one:
mkDet : Quant -> Ord -> Det --the fifth
The RGL doesn’t have a function like mkDet : Ord -> Det
. In other words, the RGL assumes that if a determiner contains an ordinal, then the determiner must always contain a quantifier as well: “the first...” or “a first...” but never just “first...”. This seems like an unreasonable assumption to me: quantifier-less ordinal determiners are perfectly valid (even if less common) in many languages, including English.
So, what should I do if do want a quantifier-less ordinal determiner (“my son goes to third grade” etc.)? My workaround would be to fake it with an empty Quant
, but that makes me feel dirty.