diff --git a/examples/app/AppCat.gf b/examples/app/AppCat.gf
new file mode 100644
index 000000000..cd6290620
--- /dev/null
+++ b/examples/app/AppCat.gf
@@ -0,0 +1,47 @@
+--# -path=.:../../lib/src/chunk:../../lib/src/translator:../phrasebook/gfos
+
+
+concrete AppCat of App = 
+
+  TranslateCat - [
+  -- Verb
+    SlashV2V,             -- replaced by more efficient inlined versions
+    Slash2V3, Slash3V3, SlashV2S, SlashV2Q, SlashV2A, 
+    SlashVV, SlashV2VNP,
+    AdvVPSlash, AdVVPSlash, VPSlashPrep,
+  -- Sentence
+    PredSCVP, 
+    AdvSlash, SlashPrep, SlashVS,
+    EmbedS, EmbedQS, EmbedVP, RelS,
+  -- Question
+    ComplSlashIP,AdvQVP,AddAdvQVP,QuestQVP,
+  -- Idiom
+    CleftNP, CleftAdv,
+    ImpP3    
+  -- Construction
+  -- Extensions
+  ]
+
+  ,PhrasebookCat - [PSentence, PQuestion, PGreetingMale, PGreetingFemale, GObjectPlease, cheap_A,expensive_A, open_A, closed_A]
+
+    ** open ParadigmsCat, SyntaxCat, Prelude in {
+
+flags
+  literal=Symb ;
+
+-- to suppress punctuation
+lin
+  PSentence, PQuestion = \s -> lin Text (mkUtt s) ;
+  PGreetingMale, PGreetingFemale = \s -> lin Text s ;
+  GObjectPlease o = lin Text (mkUtt o) ;
+  PhrasePhr p = {s = "+" ++ p.s} | p ;
+  Phrase_Chunk p = p ;
+
+
+ComplV2V v np vp = mkVP v np vp ;
+ComplV2A v np vp = mkVP v np vp ;
+ComplV2Q v np vp = mkVP v np vp ;
+ComplV2S v np vp = mkVP v np vp ;
+ComplV3  v np vp = mkVP v np vp ;
+
+}
diff --git a/examples/app/Makefile b/examples/app/Makefile
index 55f550611..d4645f08a 100644
--- a/examples/app/Makefile
+++ b/examples/app/Makefile
@@ -11,19 +11,25 @@ Phrasebook:
 S=-s
 GFMKT=mkdir -p $(GFODIR) && gf $S -make -literal=PN -probs=$(PROBSFILE) -gfo-dir $(GFODIR)
 
-APP=AppEng.pgf AppBul.pgf AppChi.pgf AppGer.pgf AppSwe.pgf AppHin.pgf AppFin.pgf AppFre.pgf AppIta.pgf AppSpa.pgf AppDut.pgf
+APP11=AppEng.pgf AppBul.pgf AppChi.pgf AppGer.pgf AppSwe.pgf AppHin.pgf AppFin.pgf AppFre.pgf AppIta.pgf AppSpa.pgf AppDut.pgf
+APP12=$(APP11) AppCat.pgf
 
 # With dependencies:
 App11.pgf: $(APP)
-	$(GFMKT) -name=App11 $(APP) +RTS -K200M
+	$(GFMKT) -name=App11 $(APP11) +RTS -K200M
+App12.pgf: $(APP)
+	$(GFMKT) -name=App11 $(APP12) +RTS -K200M
 
 # Without dependencies:
 App11:
-	$(GFMKT) -name=App11 $(APP) +RTS -K200M
+	$(GFMKT) -name=App11 $(APP11) +RTS -K200M
+App12:
+	$(GFMKT) -name=App11 $(APP12) +RTS -K200M
 
 # App grammars for individual languages
 AppEng.pgf:: ; $(GFMKT) -name=AppEng AppEng.gf
 AppBul.pgf:: ; $(GFMKT) -name=AppBul AppBul.gf
+AppCat.pgf:: ; $(GFMKT) -name=AppCat AppCat.gf +RTS -K100M
 AppChi.pgf:: ; $(GFMKT) -name=AppChi AppChi.gf +RTS -K100M
 AppDut.pgf:: ; $(GFMKT) -name=AppDut AppDut.gf +RTS -K64M
 AppFin.pgf:: ; $(GFMKT) -name=AppFin AppFin.gf +RTS -K64M
diff --git a/examples/app/MkApp.hs b/examples/app/MkApp.hs
index 7704ffcb7..e53392feb 100644
--- a/examples/app/MkApp.hs
+++ b/examples/app/MkApp.hs
@@ -3,7 +3,7 @@
 -- the new files are produced in ./tmp/
 -- usage: runghc MkApp.hs
 
-langs = words "Bul Chi Dut Eng Fin Fre Ger Hin Ita Spa Swe"
+langs = words "Bul Cat Chi Dut Eng Fin Fre Ger Hin Ita Spa Swe"
 appCnc lang = "App" ++ lang ++ ".gf"
 
 appAbs = "App.gf"