Added transfer example: constructing reflexives.

1 files changed, 21 insertions, 0 deletions

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 ;