1 files changed, 0 insertions, 21 deletions
diff --git a/next-lib/src/demo/Clause.gf b/next-lib/src/demo/Clause.gf
deleted file mode 100644
index f1ad31faa..000000000
--- a/next-lib/src/demo/Clause.gf
+++ /dev/null
@@ -1,21 +0,0 @@
-abstract Clause = Cat ** {
-
-fun 
-  PredV   : NP -> V -> Cl ;
-  PredV2  : NP -> V2 -> NP -> Cl ;
-  PredAP  : NP -> AP -> Cl ;
-  PredAdv : NP -> Adv -> Cl ;
-
-  UseCl   : Temp -> Pol -> Cl  -> S ;
-
-  QuestV  : IP -> V -> QCl ;
-  QuestV2 : IP -> V2 -> NP -> QCl ;
---  QuestV2Slash : IP -> NP -> V2 -> QCl ;
-
-  UseQCl  : Temp -> Pol -> QCl -> QS ;
-
-  ImpV   : V -> Imp ;
---  ImpV2  : V2 -> NP -> Imp ;
-
-
-}