1 files changed, 30 insertions, 0 deletions
diff --git a/examples/travel/Essential.gf b/examples/travel/Essential.gf
new file mode 100644
index 000000000..f90dc45b6
--- /dev/null
+++ b/examples/travel/Essential.gf
@@ -0,0 +1,30 @@
+-- the essential phrases from Lone Planet Thai Phrasebook
+
+abstract Essential = {
+
+cat 
+  Phrase ;
+  Number ;
+
+fun
+  Hello           : Phrase ;
+  Goodbye         : Phrase ;
+  Please          : Phrase ;
+  ThankYou        : Phrase ;
+  YoureWelcome    : Phrase ;
+  Yes             : Phrase ;
+  No              : Phrase ;
+  ExcuseAttention : Phrase ;
+  ExcuseGetPast   : Phrase ;
+  Sorry           : Phrase ;
+  IUnderstand     : Phrase ;
+  IDontUnderstand : Phrase ;
+  Help            : Phrase ;
+  WhereAreToilets : Phrase ;
+
+  
+  SayNumber : Number -> Phrase ;
+
+  One, Two, Three, Four, Five, Six, Seven, Eight, Nine, Ten : Number ;
+
+}
+\ No newline at end of file