forked from GitHub/gf-rgl
121 lines
3.7 KiB
Plaintext
121 lines
3.7 KiB
Plaintext
concrete ConstructionTam of Construction = CatTam ** open ParadigmsTam in {
|
|
|
|
--lincat
|
|
-- Timeunit = N ;
|
|
-- Weekday = N ;
|
|
-- Monthday = NP ;
|
|
-- Month = N ;
|
|
-- Year = NP ;
|
|
--{-
|
|
--lin
|
|
|
|
-- timeunitAdv n time =
|
|
-- let n_card : Card = n ;
|
|
-- n_hours_NP : NP = mkNP n_card time ;
|
|
-- in SyntaxTam.mkAdv for_Prep n_hours_NP | mkAdv (n_hours_NP.s ! R.npNom) ;
|
|
|
|
-- weekdayPunctualAdv w = ; -- on Sunday
|
|
-- weekdayHabitualAdv w = ; -- on Sundays
|
|
-- weekdayNextAdv w = -- next Sunday
|
|
-- weekdayLastAdv w = -- last Sunday
|
|
|
|
-- monthAdv m = mkAdv in_Prep (mkNP m) ;
|
|
-- yearAdv y = mkAdv in_Prep y ;
|
|
-- dayMonthAdv d m = ; -- on 17 Tam
|
|
-- monthYearAdv m y = ; -- in Tam 2012
|
|
-- dayMonthYearAdv d m y = ; -- on 17 Tam 2013
|
|
|
|
-- intYear = symb ;
|
|
-- intMonthday = symb ;
|
|
|
|
--lincat Language = N ;
|
|
|
|
--lin InLanguage l = mkAdv ???_Prep (mkNP l) ;
|
|
|
|
--lin
|
|
-- weekdayN w = w ;
|
|
-- monthN m = m ;
|
|
|
|
-- weekdayPN w = mkPN w ;
|
|
-- monthPN m = mkPN m ;
|
|
|
|
-- languageCN l = mkCN l ;
|
|
-- languageNP l = mkNP l ;
|
|
|
|
|
|
--oper mkLanguage : Str -> N = \s -> mkN s ;
|
|
|
|
----------------------------------------------
|
|
---- lexicon of special names
|
|
|
|
--lin second_Timeunit = mkN "second" ;
|
|
--lin minute_Timeunit = mkN "minute" ;
|
|
--lin hour_Timeunit = mkN "hour" ;
|
|
--lin day_Timeunit = mkN "day" ;
|
|
--lin week_Timeunit = mkN "week" ;
|
|
--lin month_Timeunit = mkN "month" ;
|
|
--lin year_Timeunit = mkN "year" ;
|
|
|
|
--lin monday_Weekday = mkN "Monday" ;
|
|
--lin tuesday_Weekday = mkN "Tuesday" ;
|
|
--lin wednesday_Weekday = mkN "Wednesday" ;
|
|
--lin thursday_Weekday = mkN "Thursday" ;
|
|
--lin friday_Weekday = mkN "Friday" ;
|
|
--lin saturday_Weekday = mkN "Saturday" ;
|
|
--lin sunday_Weekday = mkN "Sunday" ;
|
|
|
|
--lin january_Month = mkN "January" ;
|
|
--lin february_Month = mkN "February" ;
|
|
--lin march_Month = mkN "March" ;
|
|
--lin april_Month = mkN "April" ;
|
|
--lin may_Month = mkN "May" ;
|
|
--lin june_Month = mkN "June" ;
|
|
--lin july_Month = mkN "July" ;
|
|
--lin august_Month = mkN "August" ;
|
|
--lin september_Month = mkN "September" ;
|
|
--lin october_Month = mkN "October" ;
|
|
--lin november_Month = mkN "November" ;
|
|
--lin december_Month = mkN "December" ;
|
|
|
|
--lin afrikaans_Language = mkLanguage "Afrikaans" ;
|
|
--lin amharic_Language = mkLanguage "Amharic" ;
|
|
--lin arabic_Language = mkLanguage "Arabic" ;
|
|
--lin bulgarian_Language = mkLanguage "Bulgarian" ;
|
|
--lin catalan_Language = mkLanguage "Catalan" ;
|
|
--lin chinese_Language = mkLanguage "Chinese" ;
|
|
--lin danish_Language = mkLanguage "Danish" ;
|
|
--lin dutch_Language = mkLanguage "Dutch" ;
|
|
--lin english_Language = mkLanguage "Euslish" ;
|
|
--lin estonian_Language = mkLanguage "Estonian" ;
|
|
--lin finnish_Language = mkLanguage "Finnish" ;
|
|
--lin french_Language = mkLanguage "French" ;
|
|
--lin german_Language = mkLanguage "German" ;
|
|
--lin greek_Language = mkLanguage "Greek" ;
|
|
--lin hebrew_Language = mkLanguage "Hebrew" ;
|
|
--lin hindi_Language = mkLanguage "Hindi" ;
|
|
--lin japanese_Language = mkLanguage "Japanese" ;
|
|
--lin italian_Language = mkLanguage "Italian" ;
|
|
--lin latin_Language = mkLanguage "Latin" ;
|
|
--lin latvian_Language = mkLanguage "Latvian" ;
|
|
--lin maltese_Language = mkLanguage "Maltese" ;
|
|
--lin nepali_Language = mkLanguage "Nepali" ;
|
|
--lin norwegian_Language = mkLanguage "Norwegian" ;
|
|
--lin persian_Language = mkLanguage "Persian" ;
|
|
--lin polish_Language = mkLanguage "Polish" ;
|
|
--lin punjabi_Language = mkLanguage "Punjabi" ;
|
|
--lin romanian_Language = mkLanguage "Romanian" ;
|
|
--lin russian_Language = mkLanguage "Russian" ;
|
|
--lin sindhi_Language = mkLanguage "Sindhi" ;
|
|
--lin spanish_Language = mkLanguage "Spanish" ;
|
|
--lin swahili_Language = mkLanguage "Swahili" ;
|
|
--lin swedish_Language = mkLanguage "Swedish" ;
|
|
--lin thai_Language = mkLanguage "Thai" ;
|
|
--lin turkish_Language = mkLanguage "Turkish" ;
|
|
--lin urdu_Language = mkLanguage "Urdu" ;
|
|
|
|
--—}
|
|
--}
|
|
---}
|
|
--}
|
|
}
|