1 files changed, 23 insertions, 0 deletions
diff --git a/transfer/examples/aggregation/tree.tra b/transfer/examples/aggregation/tree.tra
new file mode 100644
index 000000000..5515efa21
--- /dev/null
+++ b/transfer/examples/aggregation/tree.tra
@@ -0,0 +1,23 @@
+import prelude ;
+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 
+} ;
+derive Eq Tree ;
+derive Compos Tree ;