From 941a9f35baa4a67c1ee5df89f1ae0f40677a214d Mon Sep 17 00:00:00 2001
From: bringert <bringert@cs.chalmers.se>
Date: Mon, 13 Mar 2006 10:53:44 +0000
Subject: Added transfer example: constructing reflexives.

---
 transfer/examples/reflexive/tree.tra | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 transfer/examples/reflexive/tree.tra

(limited to 'transfer/examples/reflexive/tree.tra')

diff --git a/transfer/examples/reflexive/tree.tra b/transfer/examples/reflexive/tree.tra
new file mode 100644
index 000000000..7bef5e019
--- /dev/null
+++ b/transfer/examples/reflexive/tree.tra
@@ -0,0 +1,21 @@
+import prelude ;
+data Cat : Type where {
+  Conj : Cat ;
+  NP : Cat ;
+  S : Cat ;
+  V2 : Cat 
+} ;
+data Tree : Cat -> Type where {
+  And : Tree Conj ;
+  Bill : Tree NP ;
+  ConjNP : Tree Conj -> Tree NP -> Tree NP -> Tree NP ;
+  John : Tree NP ;
+  Mary : Tree NP ;
+  Or : Tree Conj ;
+  PredV2 : Tree V2 -> Tree NP -> Tree NP -> Tree S ;
+  ReflV2 : Tree V2 -> Tree NP -> Tree S ;
+  See : Tree V2 ;
+  Whip : Tree V2 
+} ;
+derive Eq Tree ;
+derive Compos Tree ;
-- 
cgit v1.2.3