1 files changed, 0 insertions, 29 deletions
diff --git a/examples/attempto/Attempto1.gf b/examples/attempto/Attempto1.gf
deleted file mode 100644
index 50526a889..000000000
--- a/examples/attempto/Attempto1.gf
+++ /dev/null
@@ -1,29 +0,0 @@
--- 15.58
-
-abstract Attempto = {
-
-flags startcat = ACEText ;
-
-cat 
-  ACEText ;
-  Query ; 
-  Command ;
-fun 
-  ASpecification : Specification -> ACEText ;
-  AQuery : Query -> ACEText ;
-  ACommand : Command -> ACEText ;
-cat
-  PropositionOrSentenceCoord ;
-  TopicalisedQuestion ;
-fun
-  QQuery : PropositionOrSentenceCoord -> Query -> Query ;
-  QTopicalizer : TopicalisedQuestion -> Query ;
-cat
-  ExistentialQuestionTopic ;
-  SentenceCoord ;
-fun
-  TExistential : ExistentialQuestionTopic -> SentenceCoord -> TopicalisedQuestion ;
-  TUniversal : UniversalTopic -> TopicalisedQuestion -> TopicalisedQuestion ;
-  TQuestion : Question -> TopicalisedQuestion ;
-
-}