1 files changed, 13 insertions, 0 deletions
diff --git a/old-examples/peacekeeping/PeaceCat.gf b/old-examples/peacekeeping/PeaceCat.gf
new file mode 100644
index 000000000..103295396
--- /dev/null
+++ b/old-examples/peacekeeping/PeaceCat.gf
@@ -0,0 +1,13 @@
+abstract PeaceCat = Cat ** {
+
+  cat
+    MassN ;
+    Phrase ;
+    PhraseWritten ;
+    PhraseSpoken ;
+
+  fun 
+    Written : Phrase -> PhraseWritten ;
+    Spoken : Phrase -> PhraseSpoken ;
+
+}
+\ No newline at end of file