mirror of
https://github.com/GrammaticalFramework/gf-rgl.git
synced 2026-08-24 05:06:25 -06:00
10 lines
226 B
Plaintext
10 lines
226 B
Plaintext
concrete ExtraNor of ExtraNorAbs = ExtraScandNor ** open CommonScand, ResNor, Prelude in {
|
|
|
|
lin
|
|
PossNP np pro = {
|
|
s = \\c => np.s ! NPNom ++ pro.s ! NPPoss (gennumAgr np.a) (caseNP c) ;
|
|
a = np.a
|
|
} ;
|
|
|
|
}
|