1 2 3 4 5 6 7 8 9 10
concrete WeekdayEng of Weekday = open LangEng, ParadigmsEng in { lincat WDay = PN ; lin Mon = regGenPN "Monday" nonhuman ; Tue = regGenPN "Tuesday" nonhuman ; }