1 files changed, 34 insertions, 0 deletions
diff --git a/examples/godis-tram/Common/GodisUserI.gf b/examples/godis-tram/Common/GodisUserI.gf
new file mode 100644
index 000000000..b1e3befbd
--- /dev/null
+++ b/examples/godis-tram/Common/GodisUserI.gf
@@ -0,0 +1,34 @@
+--# -path=.:prelude:resource-1.0/abstract:resource-1.0/common
+
+incomplete concrete GodisUserI of GodisUser = 
+    open Prelude, GodisLang in {
+
+lincat 
+
+S = SS;
+
+Question    = UserQuestion;
+Action      = UserAction;
+Answer      = UserAnswer;
+ShortAns    = UserShortAns;
+Proposition = UserProposition;
+
+lin
+
+greet_S = {s = "hei"} ;
+quit_S  = userQuit;
+
+no_S    = userNo;
+yes_S   = userYes;
+
+request_S  x = x;
+answer_S   x = x;
+ask_S      x = x;
+shortans_S x = x;
+
+not_prop_S     = not_user_prop;
+not_shortans_S = not_user_short;
+
+request_request_S = userCoordinate;
+
+}