DLexicon.gf 425 Bytes
Newer Older
jfschaefer's avatar
jfschaefer committed
1
-- natural language lexicon
2
abstract DLexicon = MCats, DLexiconMObj, Cat ** {
jfschaefer's avatar
jfschaefer committed
3
    fun
4
5
6
--        integer_MObj : MObj;
--        set_MObj : MObj;
--        alphabet_MObj : MObj;
7
        quasigroup_MObj : MObj;
8
9
10

        finite_MObjProp : MObjProp;
        empty_MObjProp : MObjProp;
jfschaefer's avatar
jfschaefer committed
11
        even_MObjProp : MObjProp;
12
13
        positive_MObjProp : MObjProp;
        prime_MObjProp : MObjProp;
14
        unital_MObjProp : MObjProp;
jfschaefer's avatar
jfschaefer committed
15
}