From f5461eb3d4eb2605b546a4ed202c12bcdaa1f4e4 Mon Sep 17 00:00:00 2001 From: "john.j.camilleri" 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/BasicFre.gf | 107 ---------------------------------------------- 1 file changed, 107 deletions(-) delete mode 100644 examples/SUMO/BasicFre.gf (limited to 'examples/SUMO/BasicFre.gf') diff --git a/examples/SUMO/BasicFre.gf b/examples/SUMO/BasicFre.gf deleted file mode 100644 index 6b0796114..000000000 --- a/examples/SUMO/BasicFre.gf +++ /dev/null @@ -1,107 +0,0 @@ ---# -path=.:french:romance:abstract:prelude:common -concrete BasicFre of Basic = CatFre - [Text] ** open DictLangFre, CommonRomance, Prelude, ParamBasic,Coordination, ParamX, ResFre,ParadigmsFre in{ - -lincat - Class = CN ; - El = NP ; - Ind = NP ; - Var = PN ; - SubClass = {} ; - Inherits = {} ; - Desc = CN ; - Formula = PolSentence; - [El] = {s1,s2 : Case => Str ; a : Agr}; - [Class] = {s1,s2 : Number => Str ; g : Gender}; - Stmt = StmtS; - - lin -BaseClass = {s1,s2 = \\_ => ""; - g = Masc} ; - -ConsClass xs x = consrTable Number comma xs x ** {g = x.g} ; - -BaseEl c = {s1,s2 = \\_ => ""; - a = agrP3 Masc Sg}; - -ConsEl cl x xs = { - s1 = \\c => (x.s ! c).comp ++ comma ++ xs.s1 ! c ; - s2 = \\c => xs.s2 ! c ; - a = conjAgr x.a xs.a - } ; - -and f1 f2 = {s = \\f,c => f1.s ! Indep ! c ++ "et" ++ f2.s ! Indep ! c; flag = NothingS; lock_PolSentence = <>}; -or f1 f2 = {s = \\f,c => f1.s ! Indep ! c ++ "ou" ++ f2.s ! Indep ! c; flag = NothingS; lock_PolSentence = <>}; -not f1 = {s = \\f,c => case c of - {Pos => f1.s ! Indep ! Neg ; - _ => f1.s ! Indep ! Pos }; - flag = NothingS; lock_PolSentence = <>}; -impl f1 f2 = {s = \\f,c => "si" ++ f1.s ! Indep ! c ++ "alors" ++ f2.s ! Indep ! c; flag = NothingS; lock_PolSentence = <>}; -equiv f1 f2 = {s = \\f,c => f1.s ! Indep ! c ++ "est" ++ "equivalent" ++ "à" ++ f2.s ! Indep ! c; flag = NothingS; - lock_PolSentence = <>}; - - -var c1 c2 i e = let np = UsePN e in - {s = np.s; - a = agrP3 c1.g Sg; isPol = False; - hasClit = False; lock_NP = <>}; - -el c1 c2 i e = e ; - -exists C f = let np = DetCN (DetQuant IndefArt NumSg) C ; - tel = case C.g of - {Masc => "tel"; - _ => "telle" - } - in - {s = \\form,c => case of - { => "il" ++ "existe" ++ (np.s ! Nom).comp ++ f.$0 ++ f.s ! Attrib ! c ; - => "et" ++ (np.s ! Nom).comp ++ f.$0 ++ f.s ! Attrib ! c ; - => "," ++ (np.s ! Nom).comp ++ f.$0 ++ f.s ! Attrib ! c ; - => "il" ++ "existe" ++ (np.s ! Nom).comp ++ f.$0 ++ tel ++ "que" ++ f.s ! Indep ! c ; - _ => "et" ++ (np.s ! Nom).comp ++ f.$0 ++ tel ++ "que" ++ f.s ! Indep ! c }; - flag = case f.flag of - {ExistS _ => ExistS Many; - _ => ExistS One }; - lock_PolSentence=<>}; - -forall C f = {s = \\form, c => case of - { => "pour" ++ "chaque" ++ C.s ! Sg ++ f.$0 ++ f.s ! Attrib ! c ; - => "," ++ "chaque" ++ C.s ! Sg ++ f.$0 ++ f.s ! Attrib ! c ; - => "," ++ "chaque" ++ C.s ! Sg ++ f.$0 ++ f.s ! Attrib ! c ; - => "pour" ++"chaque"++ C.s ! Sg ++ f.$0 ++ f.s ! Indep ! c ; - => "pour" ++"chaque"++ C.s ! Sg ++ f.$0 ++ "il"++ "y" ++ "a" ++ "que" ++ f.s ! Indep ! c ; - => "et" ++ "chaque" ++ C.s ! Sg ++ f.$0 ++ f.s ! Indep ! c; - _ => "and" ++ "every" ++ C.s ! Sg ++ f.$0 ++ "il" ++ "y" ++ "a" ++ "que" ++f.s ! Indep ! c }; - flag = case f.flag of - {ForallS _ => ForallS Many; - _ => ForallS One }; - lock_PolSentence=<>}; - - - -both c1 c2 = {s = \\n => c1.s ! n ++ "et" ++ c2.s ! n; - g = c2.g; lock_CN = <>}; - - -either c1 c2 = {s = \\n => c1.s ! n ++ "ou" ++ c2.s ! n; - g = c2.g; lock_CN = <>}; - -desc c1 c2 i = c2 ; -descClass c dc = c; -desc2desc c1 c2 i d = d; - -subClassStm c1 c2 sc = ss (c1. s ! Sg ++ "est" ++ "une" ++ "sous-classe" ++ "de" ++ c2.s ! Sg) ; -instStm c i = ss ((i.s ! Nom).comp ++ "est" ++ "une" ++ "instance" ++ "de" ++ c.s ! Sg) ; -formStm f = ss (f.s ! Indep ! Pos) ; - - --- lindef - -lindef Ind = \x -> heavyNP {s = \\_ => x ; a = agrP3 Masc Sg} ; - -lindef El = \x -> heavyNP {s = \\_ => x ; a = agrP3 Masc Sg} ; - -lindef Class = \x -> {s = \\n => x; - g = Masc; lock_CN =<>}; - - }; \ No newline at end of file -- cgit v1.2.3