mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-22 11:19:32 -06:00
29 lines
546 B
Plaintext
29 lines
546 B
Plaintext
concrete MathGer of Math = CatGer ** open Prelude, ResGer in {
|
|
|
|
lin
|
|
SymbPN i = {s = \\c => i.s ; g = Neutr} ; --- c
|
|
IntPN i = {s = \\c => i.s ; g = Neutr} ; --- c
|
|
{-
|
|
CNIntNP cn i = {
|
|
s = \\c => (cn.s ! Sg ! DIndef ! Nom ++ i.s) ;
|
|
a = agrP3 cn.g Sg
|
|
} ;
|
|
CNSymbNP det cn xs = let g = cn.g in {
|
|
s = \\c => det.s ! cn.isMod ! g ++ cn.s ! det.n ! det.det ! caseNP c ++ xs.s ;
|
|
a = agrP3 g det.n
|
|
} ;
|
|
-}
|
|
lincat
|
|
|
|
Symb, SymbList = SS ;
|
|
|
|
lin
|
|
|
|
MkSymb s = s ;
|
|
|
|
BaseSymb = infixSS "und" ;
|
|
ConsSymb = infixSS "," ;
|
|
|
|
}
|
|
|