Commit ed49de98 authored by jfschaefer's avatar jfschaefer
Browse files

more work rel wip paper

parent da1df3c7
......@@ -37,7 +37,7 @@ concrete DGrammarEng of DGrammar = MCatsEng, GrammarEng, ExtraEng ** open Syntax
(DetCN aSg_Det (mobjToCN obj id)) -- (mkNP aSg_Det (mobjToCN obj))
(PastPartAP (mkVPSlash call_V2A prop)));
-- -- iff_definition defi condition = lin S { s = "iff" }; -- better solution for this?
iff_definition defi condition = lin S { s = defi.s ++ "iff" ++ condition.s }; -- better solution for this?
iff_definition defi condition = lin S { s = defi.s ++ ("," | "") ++ "iff" ++ condition.s }; -- better solution for this?
-- def_defmobj_defmobj a b = mkCl a b;
def_mobj_is_mobj definiendum id definiens =
mkS (mkCl (DetCN aSg_Det (mobjToCN definiens id)) (mobjToCN definiendum)) -- a unitary quasigroup is a loop
......
......@@ -11,6 +11,6 @@ concrete DLexiconGer of DLexicon = MCatsGer ** open SyntaxGer, ParadigmsGer, Res
empty_MObjProp = mkAP (ParadigmsGer.mkA "leer");
even_MObjProp = mkAP (ParadigmsGer.mkA "gerade");
positive_MObjProp = mkAP (ParadigmsGer.mkA "positiv");
prime_MObjProp = mkAP (ParadigmsGer.mkA "primzahlig");
prime_MObjProp = mkAP (ParadigmsGer.mkA "prim");
unital_MObjProp = mkAP (ParadigmsGer.mkA "unitär");
}
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