From f5461eb3d4eb2605b546a4ed202c12bcdaa1f4e4 Mon Sep 17 00:00:00 2001
From: "john.j.camilleri" <john.j.camilleri@chalmers.se>
Date: Mon, 16 Sep 2013 07:17:27 +0000
Subject: Remove contribs and examples

Everything has now been moved to a separate repository at
https://github.com/GrammaticalFramework/gf-contrib
The contents of the examples folder are build during SetupWeb
---
 examples/SUMO/BasicEng.gf | 99 -----------------------------------------------
 1 file changed, 99 deletions(-)
 delete mode 100644 examples/SUMO/BasicEng.gf

(limited to 'examples/SUMO/BasicEng.gf')

diff --git a/examples/SUMO/BasicEng.gf b/examples/SUMO/BasicEng.gf
deleted file mode 100644
index 6aabd37a5..000000000
--- a/examples/SUMO/BasicEng.gf
+++ /dev/null
@@ -1,99 +0,0 @@
---# -path=.:englishExtended:abstract:common:
-concrete BasicEng of Basic = open CatEng, ExtensionEng, DictLangEng, DictEng, ParadigmsEng, ResEng, Coordination, Prelude, ParamBasic, ConjunctionEng, NounEng in {
-
-lincat 
-  Class = CatEng.CN ;
-  El = CatEng.NP ;
-  Ind = CatEng.NP ;
-  Var = CatEng.PN ;
-  SubClass = {} ;
-  Inherits = {} ;
-  Desc = CatEng.CN ;
-  Formula = ExtensionEng.PolSentence;
-  [El] = ConjunctionEng.ListNP;
-  [Class] =ExtensionEng.ListCN ;
-  Stmt = ExtensionEng.StmtS ;
-
-lin 
-  BaseClass = {s1,s2 = \\_,_ => "";   
-               g  =  Neutr;
-               lock_ListCN=<>};  
-  ConsClass xs x = ExtensionEng.ConsCN xs x ;   
-  
-  BaseEl c = {s1,s2 = \\_ => "";
-              a = agrP3 Sg;
-              lock_ListNP=<>};
-         
-  ConsEl c xs x = ConjunctionEng.ConsNP xs x ;     
-
-  and f1 f2 = {s = \\f,c => f1.s ! Indep ! c ++ "and" ++ f2.s ! Indep ! c; flag = NothingS; lock_PolSentence = <>};
-  or f1 f2 = {s = \\f,c => f1.s ! Indep ! c ++ "or" ++ f2.s ! Indep ! c; flag = NothingS; lock_PolSentence = <>};
-  not f1 = {s = \\f => table {
-                         CNeg _ => "it is not true that" ++ f1.s ! f ! CPos ; 
-                         CPos  => f1.s ! Indep ! CNeg False
-                       }; 
-            flag = f1.flag;  
-            lock_PolSentence = <>
-           };
-  impl f1 f2 = {s = \\f,c => "if" ++ f1.s ! Indep ! c ++ "then" ++ f2.s ! Indep ! c; flag = NothingS; lock_PolSentence = <>};
-
-  equiv f1 f2 = {s = \\f,c => f1.s ! Indep ! c ++ "is" ++ "equivalent" ++ "to" ++ f2.s ! Indep ! c; flag = NothingS;
-                 lock_PolSentence = <>};
-
-  el c1 c2 i e = e; 
-  var c1 c2 i e = UsePN e;
-
-  exists C f = let np = DetCN (DetQuant IndefArt NumSg) C 
-               in { s = \\form,c => case <form, f.flag> of {
-                                      <Indep, ExistS _>    => "there" ++ "exists" ++ np.s ! npNom ++ f.$0 ++ f.s ! Attrib ! c ;
-                                      <Attrib, ExistS One> => "and" ++ np.s ! npNom ++ f.$0 ++ f.s ! Attrib ! c ;
-                                      <Attrib, ExistS _>   => "," ++ np.s ! npNom ++ f.$0 ++ f.s ! Attrib ! c ;
-                                      <Indep,_>            => "there" ++ "exists" ++ np.s ! npNom ++ f.$0 ++ "such" ++ "that" ++ f.s ! Indep ! c ; 
-                                      _                    => "and" ++ np.s ! npNom ++ f.$0 ++ "such" ++ "that" ++ f.s ! Indep ! c
-                                    }; 
-                    flag = case f.flag of {
-                             ExistS _   => ExistS Many;
-                             _        => ExistS One
-                           };
-                    lock_PolSentence=<>
-                  };
-              
-  forall C f = { s = \\form, c => case <form,f.flag> of {
-                                    <Indep,ForallS _>    => "for" ++ "every" ++ C.s ! Sg ! Nom ++ f.$0 ++  f.s ! Attrib ! c ;
-                                    <Attrib,ForallS One> => "," ++ "every" ++ C.s ! Sg ! Nom ++ f.$0 ++ f.s ! Attrib ! c ;
-                                    <Attrib, ForallS _>  => "," ++ "every" ++ C.s ! Sg ! Nom ++ f.$0 ++ f.s ! Attrib ! c ; 
-                                    <Indep,ExistS _>     => "for" ++"every"++ C.s ! Sg ! Nom ++ f.$0 ++ f.s ! Indep ! c ;
-                                    <Indep,_>            => "for" ++"every"++ C.s ! Sg ! Nom ++ f.$0 ++ "we"++"have" ++ "that" ++ f.s ! Indep ! c ;
-                                    <Attrib,ExistS _>    => "and" ++ "every" ++ C.s ! Sg ! Nom ++ f.$0 ++ f.s ! Indep ! c;
-                                     _                    => "and" ++ "every" ++ C.s ! Sg ! Nom ++ f.$0 ++ "we" ++ "have" ++ "that" ++f.s ! Indep ! c             };                         
-                 flag = case f.flag of {
-                          ForallS _   => ForallS Many;
-                          _           => ForallS One
-                        };
-                 lock_PolSentence=<>
-               };
- 
-  both c1 c2 = { s = \\c,n => c1.s ! c ! n ++ "and" ++ c2.s ! c ! n;
-                 g = c2.g; lock_CN = <>
-               };
-
-  either c1 c2 = { s = \\c,n => c1.s ! c ! n ++ "or" ++ c2.s ! c ! n;
-                   g = c2.g; lock_CN = <>
-                 };
-
-  KappaFn c ob2 = ApposCN (AdvCN (AdvCN (UseN class_N) (PrepNP part_Prep (DetCN (DetQuant IndefArt NumPl) c))) where_Adv) (sentToNoun ob2) ;
-
-  desc c1 c2 i = c2 ;
-  descClass c dc = c;                
-  desc2desc c1 c2 i d = d;                
-
-  subClassStm c1 c2 sc = lin StmtS (ss (c1. s ! Sg ! Nom ++ "is a subclass of" ++ c2.s ! Sg ! Nom)) ;
-  instStm c i = lin StmtS (ss (i.s ! npNom ++ "is an instance of" ++ c.s ! Sg ! Nom)) ;
-  formStm f = lin StmtS (ss (f.s ! Indep ! CPos)) ;
-
-lindef
-  Ind = \x -> {s = \\_ => x; a = agrP3 Sg; lock_NP = <>} ;
-  El = \x -> {s = \\_ => x; a = agrP3 Sg; lock_NP = <>} ; 
-  Class = \x -> {s = \\_,_ => x; g = Neutr; lock_CN =<>};         
-
-};
-- 
cgit v1.2.3