Commit 4db3a65c authored by jfschaefer's avatar jfschaefer
Browse files

added functor for MCats

parent e6c1019f
concrete MCatsEng of MCats = open SyntaxEng, ParamX in {
param
boolean = true | false;
multiplicity = one | many;
concrete MCatsEng of MCats = MCatsI with (Syntax=SyntaxEng) ** {
lincat
-- natural language
PosNegPol = Pol;
-- DefMObj = NP;
MObj = {
core : CN; -- core of the declaration (e.g. "continuous function")
suffix : Number => Str; -- suffix (usually starting with a preposition, e.g. "on the real numbers") (number required for relative clauses)
prep1 : Str; -- preposition 1 (e.g. StrSome("from"))
prep2 : Str; -- preposition 2 (e.g. StrSom("to"))
hasp1 : boolean;
hasp2 : boolean;
};
MObjProp = AP;
Statement = Cl;
-- statement as sentence or relative sentence ("such that ...")
StatementFin = { s : S ; rs : RS };
Definition = S;
Declaration = S;
Utterance = Utt;
-- formulae
MathCN = CN;
Identifier = { s : Str; m : multiplicity };
}
incomplete concrete MCatsI of MCats = open Syntax, ParamX in {
param
boolean = true | false;
multiplicity = one | many;
lincat
-- natural language
PosNegPol = Pol;
-- DefMObj = NP;
MObj = {
core : CN; -- core of the declaration (e.g. "continuous function")
suffix : Number => Str; -- suffix (usually starting with a preposition, e.g. "on the real numbers") (number required for relative clauses)
prep1 : Str; -- preposition 1 (e.g. StrSome("from"))
prep2 : Str; -- preposition 2 (e.g. StrSom("to"))
hasp1 : boolean;
hasp2 : boolean;
};
MObjProp = AP;
Statement = Cl;
-- statement as sentence or relative sentence ("such that ...")
StatementFin = { s : S ; rs : RS };
Definition = S;
Declaration = S;
Utterance = Utt;
-- formulae
MathCN = CN;
Identifier = { s : Str; m : multiplicity };
}
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