Commit 88c0cb9f authored by jfschaefer's avatar jfschaefer
Browse files

more

parent 62db2df4
abstract Basic = Core ** {
fun
term_is_adj : Term -> PosNegPol -> Adjective -> Statement;
-- adjectives
fill_adj2 : Adjective2 -> Term -> Adjective;
-- terms
every : Obj -> Term;
some : Obj -> Term;
-- statements
term_is_adj : Term -> PosNegPol -> Adjective -> Statement;
-- sentences
stmt_to_sentence : Statement -> Sentence;
def_to_sentence : Definition -> Sentence;
decl_to_sentence : Declaration -> Sentence;
}
......@@ -6,6 +6,7 @@ abstract Core = {
Obj3; -- 'function from ... to ...'
Adjective; -- 'even'
Adjective2;
Statement;
Definition;
......
......@@ -2,4 +2,5 @@ abstract ExampleLexicon = Core ** {
fun
integer : Obj;
even : Adjective;
divisible_by : Adjective2;
}
--# -path=.:../functors:../abstract
concrete ExampleLexiconEng of ExampleLexicon = CoreEng ** open ParadigmsEng, SyntaxEng in {
oper
by_Prep : Prep = mkPrep "by";
lin
integer = mkCN (mkN "integer");
even = mkA "even";
even = mkAP (mkA "even");
divisible_by = mkA2 (mkA "divisible") by_Prep;
}
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;
-- adjectives
fill_adj2 a2 term = mkAP a2 term;
-- terms
every obj = mkNP every_Det obj;
some obj = mkNP someSg_Det obj;
-- statements
term_is_adj term pol adj = mkS pol (mkCl term adj);
-- sentences
stmt_to_sentence stmt = mkUtt stmt;
def_to_sentence defi = mkUtt defi;
decl_to_sentence decl = mkUtt decl;
}
......@@ -5,7 +5,8 @@ incomplete concrete CoreI of Core = open Syntax, Grammar in {
Obj2 = N2;
Obj3 = N3;
Adjective = A;
Adjective = AP;
Adjective2 = A2;
Statement = S;
Definition = S;
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment