(Por) Extend : begin to add VPS
This commit is contained in:
1 parent
07b99f455f
commit
26afd1c267
2 files changed
+13
-2
No files matched your search
@@ -5,7 +5,7 @@ concrete ExtendPor of Extend =
|
||||
[
|
||||
iFem_Pron, weFem_Pron, youFem_Pron, youPlFem_Pron, youPolPl_Pron, youPolFem_Pron, youPolPlFem_Pron, theyFem_Pron,
|
||||
ProDrop,
|
||||
PassVPSlash, ExistsNP
|
||||
PassVPSlash, ExistsNP, VPS
|
||||
] -- put the names of your own definitions here
|
||||
with
|
||||
(Grammar = GrammarPor), (Syntax = SyntaxPor) **
|
||||
@@ -18,6 +18,18 @@ concrete ExtendPor of Extend =
|
||||
ParadigmsPor,
|
||||
(S = StructuralPor) in {
|
||||
|
||||
lincat
|
||||
VPS = {s : Agr => Str} ;
|
||||
[VPS] = {s1,s2 : Agr => Str} ;
|
||||
-- VPI = {s : VType => Agr => Str } ;
|
||||
|
||||
lin
|
||||
BaseVPS = twotable Agr ;
|
||||
ConsVPS = consrTable Agr comma ;
|
||||
|
||||
-- MkVPS t p vp = mkVPS (lin Temp t) (lin Pol p) (lin VP vp) ;
|
||||
--TODO: write mkVPS oper
|
||||
|
||||
lin
|
||||
ProDrop p = {
|
||||
s = table {
|
||||
|
||||
Reference in new issue
Block a user