--# -path=.:../abstract
concrete MicroLangKor of MicroLang = open MicroResKor, Prelude in {

-----------------------------------------------------
---------------- Grammar part -----------------------
-----------------------------------------------------

  lincat
    Utt = {s : Str} ;

    S  = {s : Str} ;
    VP = {verb : Verb ; compl : Str} ; ---s special case of Mini
    Comp = Noun ;
    AP = Adjective ;
    CN = Noun ;
    NP = {s : Str} ;
    Pron = {s : Str} ;
    Det = {s : Str} ;
    Prep = {s : Str} ;
    V = Verb ;
    V2 = Verb2 ;
    A = Adjective ;
    N = Noun ;
    Adv = {s : Str} ;

  lin
    UttS s = s ;
    UttNP np = {s = np.s} ;
    -- PredVPS np vp = {s = np.s ++ vp.compl ++ vp.verb.s} ;
    UseV v = {verb = v ; compl = []} ;
    ComplV2 v2 np = {verb = v2 ; compl = np.s};
    UseN n = n ;
    DetCN det cn = {s = det.s ++ cn.s} ;
    a_Det = {s = []} ;
    aPl_Det = {s = []} ;
    the_Det = {s = []} ;
    thePl_Det = {s = []} ;
    this_Det = {s = "이"} ;
    thisPl_Det = {s = "이"} ;
    that_Det = {s = "그"} ;
    thatPl_Det = {s = "그"} ;

-----------------------------------------------------
---------------- Lexicon part -----------------------
-----------------------------------------------------

-- lin already_Adv = mkAdv "벌써" ;
lin animal_N = mkN "동물" ;
lin apple_N = mkN "사과" ;
lin baby_N = mkN "아기" ;
-- lin bad_A = mkA "나쁜" ;
lin beer_N = mkN "beer" ;
-- lin big_A = mkA "큰" ;
lin bike_N = mkN "bike" ;
lin bird_N = mkN "bird" ;
-- lin black_A = mkA "black" ;
lin blood_N = mkN "피" ;
-- lin blue_A = mkA "blue" ;
lin boat_N = mkN "boat" ;
lin book_N = mkN "책" ;
lin boy_N = mkN "소녁" ;
lin bread_N = mkN "bread" ;
-- lin break_V2 = mkV2 (mkV "break" "broke" "broken") ;
-- lin buy_V2 = mkV2 (mkV "buy" "bought" "bought") ;
lin car_N = mkN "자동차" ;
lin cat_N = mkN "고양이" ;
lin child_N = mkN "어린이" ;
lin city_N = mkN "city" ;
-- lin clean_A = mkA "정소한" ;
-- lin clever_A = mkA "똑똑한" ;
lin cloud_N = mkN "cloud" ;
-- lin cold_A = mkA "차가운" ;
-- lin come_V = mkV "come" "came" "come" ;
lin computer_N = mkN "컴퓨터" ;
lin cow_N = mkN "cow" ;
-- lin dirty_A = mkA "더러운" ;
lin dog_N = mkN "개" ;
-- lin drink_V2 = mkV2 (mkV "drink" "drank" "drunk") ;
-- lin eat_V2 = mkV2 (mkV "eat" "ate" "eaten") ;
-- lin find_V2 = mkV2 (mkV "find" "found" "found") ;
lin fire_N = mkN "fire" ;
lin fish_N = mkN "생선" ;
lin flower_N = mkN "flower" ;
lin friend_N = mkN "진구" ;
lin girl_N = mkN "소녀" ;
-- lin good_A = mkA "좋은" ;
-- lin go_V = mkV "go" "went" "gone" ;
lin grammar_N = mkN "grammar" ;
-- lin green_A = mkA "green" ;
-- lin heavy_A = mkA "heavy" ;
lin horse_N = mkN "horse" ;
-- lin hot_A = mkA "hot" ;
lin house_N = mkN "집" ;
-- lin john_PN = mkPN "John" ;
-- lin jump_V = mkV "jump" ;
-- lin kill_V2 = mkV2 "kill" ;
-- lin know_VS = mkVS (mkV "know" "knew" "known") ;
lin language_N = mkN "언어" ;
-- lin live_V = mkV "live" ;
-- lin love_V2 = mkV2 (mkV "love") ;
lin man_N = mkN "남자" ;
lin milk_N = mkN "우유" ;
lin music_N = mkN "음악" ;
-- lin new_A = mkA "new" ;
-- lin now_Adv = mkAdv "지금" ;
-- lin old_A = mkA "낡안" ;
-- lin paris_PN = mkPN "Paris" ;
-- lin play_V = mkV "놀" ;
-- lin read_V2 = mkV2 (mkV "read" "read" "read") ;
-- lin ready_A = mkA "ready" ;
-- lin red_A = mkA "red" ;
lin river_N = mkN "river" ;
-- lin run_V = mkV "run" "ran" "run" ;
lin sea_N = mkN "바다" ;
-- lin see_V2 = mkV2 (mkV "see" "saw" "seen") ;
lin ship_N = mkN "ship" ;
-- lin sleep_V = mkV "자" ;
-- lin small_A = mkA "작은" ;
lin star_N = mkN "별" ;
-- lin swim_V = mkV "swim" "swam" "swum" ;
-- lin teach_V2 = mkV2 (mkV "teach" "taught" "taught") ;
lin train_N = mkN "train" ;
-- lin travel_V = mkV "travel" ;
lin tree_N = mkN "tree" ;
-- lin understand_V2 = mkV2 (mkV "understand" "understood" "understood") ;
-- lin wait_V2 = mkV2 "wait" "for" ;
-- lin walk_V = mkV "walk" ;
-- lin warm_A = mkA "따뜻한" ;
lin water_N = mkN "물" ;
-- lin white_A = mkA "하얗은" ;
lin wine_N = mkN "wine" ;
lin woman_N = mkN "여자" ;
-- lin yellow_A = mkA "yellow" ;
-- lin young_A = mkA "young" ;

---------------------------
-- Paradigms part ---------
---------------------------

oper
  mkN : Str -> Noun
    = \s -> lin N {s = s} ;

  -- mkA : Str -> A
  --   = \stem -> lin A (mkV stem) ;

  mkAdv : Str -> Adv
    = \s -> lin Adv {s = s} ;

  mkPrep : Str -> Prep
    = \s -> lin Prep {s = s} ;
}