From 7c24fcb38faeaada097d2797e9cb0f305dbc637e Mon Sep 17 00:00:00 2001
From: bringert <bringert@cs.chalmers.se>
Date: Mon, 5 Dec 2005 16:45:11 +0000
Subject: Added aggregation example.

---
 transfer/examples/aggregation/tree.tr | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 transfer/examples/aggregation/tree.tr

(limited to 'transfer/examples/aggregation/tree.tr')

diff --git a/transfer/examples/aggregation/tree.tr b/transfer/examples/aggregation/tree.tr
new file mode 100644
index 000000000..2e9ead648
--- /dev/null
+++ b/transfer/examples/aggregation/tree.tr
@@ -0,0 +1,20 @@
+data Cat : Type where {
+  Conj : Cat ;
+  NP : Cat ;
+  S : Cat ;
+  VP : Cat 
+} ;
+data Tree : (_ : Cat)-> Type where {
+  And : Tree Conj ;
+  Bill : Tree NP ;
+  ConjNP : (_ : Tree Conj)-> (_ : Tree NP)-> (_ : Tree NP)-> Tree NP ;
+  ConjS : (_ : Tree Conj)-> (_ : Tree S)-> (_ : Tree S)-> Tree S ;
+  ConjVP : (_ : Tree Conj)-> (_ : Tree VP)-> (_ : Tree VP)-> Tree VP ;
+  John : Tree NP ;
+  Mary : Tree NP ;
+  Or : Tree Conj ;
+  Pred : (_ : Tree NP)-> (_ : Tree VP)-> Tree S ;
+  Run : Tree VP ;
+  Swim : Tree VP ;
+  Walk : Tree VP 
+}
-- 
cgit v1.2.3