diff --git a/lab1/grammar/korean/MicroLangKor.gf b/lab1/grammar/korean/MicroLangKor.gf
index bc01be2..95d751d 100644
--- a/lab1/grammar/korean/MicroLangKor.gf
+++ b/lab1/grammar/korean/MicroLangKor.gf
@@ -7,7 +7,7 @@ concrete MicroLangKor of MicroLang = open MicroResKor, Prelude in {
 
   lincat
     Utt = {s : Str} ;
-    
+
     S  = {s : Str} ;
     VP = {verb : Verb ; compl : Str} ; ---s special case of Mini
     Comp = {s : Str} ;
diff --git a/lab1/grammar/korean/MicroResKor.gf b/lab1/grammar/korean/MicroResKor.gf
index b0cdadf..820f4e3 100644
--- a/lab1/grammar/korean/MicroResKor.gf
+++ b/lab1/grammar/korean/MicroResKor.gf
@@ -1,11 +1,13 @@
 resource MicroResKor = open Prelude in {
   param
     Regularity = Regular | PieupIrregular ;
+    VerbType = Action | Descriptive ;
 
   oper
     Noun : Type = {s : Str} ;
     Verb : Type = {
       reg : Regularity ;
-      stem : Str
+      stem : Str ;
+      t : VerbType
       }
 }