initial commit

.gitignore

+*.gfo

MathGrammar/Main.gf

+--# -path=.:abstract
+
+abstract Main = Basic, ExampleLexicon;

MathGrammar/MainEng.gf

+--# -path=.:abstract:english:functors
+
+concrete MainEng of Main = BasicEng, ExampleLexiconEng;

MathGrammar/abstract/Basic.gf

+abstract Basic = Core ** {
+    fun
+        term_is_adj : Term -> PosNegPol -> Adjective -> Statement;
+        every : Obj -> Term;
+}

MathGrammar/abstract/Core.gf

+abstract Core = {
+    cat
+        Term;           -- 'an integer', 'every even integer'
+        Obj;            -- mathematical object: 'integer', 'differentiable function'
+        Obj2;           -- 'square root of'
+        Obj3;           -- 'function from ... to ...'
+
+        Adjective;      -- 'even'
+
+        Statement;
+        Definition;
+        Declaration;
+        Sentence;
+
+        Identifier;
+
+        PosNegPol;       -- polarity of a statement
+
+    fun
+        PosPol : PosNegPol;
+        NegPol : PosNegPol;
+}

MathGrammar/abstract/ExampleLexicon.gf

+abstract ExampleLexicon = Core ** {
+    fun
+        integer : Obj;
+        even : Adjective;
+}

MathGrammar/english/BasicEng.gf

+--# -path=.:../functors:../abstract
+
+concrete BasicEng of Basic = CoreEng, BasicI ** open SyntaxEng in {
+
+}

MathGrammar/english/CoreEng.gf

+--# -path=.:../functors:../abstract
+
+concrete CoreEng of Core = CoreI ** open SyntaxEng, GrammarEng in {
+--     lin
+--         PosPol = GrammarEng.PPos;
+--         NegPol = GrammarEng.PNeg;
+}

MathGrammar/english/ExampleLexiconEng.gf

+--# -path=.:../functors:../abstract
+
+concrete ExampleLexiconEng of ExampleLexicon = CoreEng ** open ParadigmsEng, SyntaxEng in {
+    lin
+        integer = mkCN (mkN "integer");
+        even = mkA "even";
+}

MathGrammar/functors/BasicI.gf

+incomplete concrete BasicI of Basic = CoreI ** open Syntax in {
+    lin
+        -- term_is_adj : Term -> PosNegPol -> Adjective -> Statement;
+        term_is_adj term pol adj = mkS pol (mkCl term adj);
+        -- every : Obj -> Term;
+        every obj = mkNP every_Det obj;
+}

MathGrammar/functors/CoreI.gf

+incomplete concrete CoreI of Core = open Syntax, Grammar in {
+    lincat
+        Term = NP;
+        Obj = CN;
+        Obj2 = N2;
+        Obj3 = N3;
+
+        Adjective = A;
+
+        Statement = S;
+        Definition = S;
+        Declaration = S;
+        Sentence = Utt;
+
+        Identifier = Str;
+
+        PosNegPol = Pol;
+    lin
+        PosPol = PPos;
+        NegPol = PNeg;
+}

README.md

+# Pstex
+
+An prototype semantics extraction pipeline for sTeX for experimentation.