forked from GitHub/gf-rgl
ad hoc instances of VPI in finnish
This commit is contained in:
@@ -1,4 +1,4 @@
|
|||||||
concrete ExtraFin of ExtraFinAbs = CatFin ** open ResFin, Prelude in {
|
concrete ExtraFin of ExtraFinAbs = CatFin ** open ResFin, Coordination, Prelude in {
|
||||||
|
|
||||||
lin
|
lin
|
||||||
GenNP np = {
|
GenNP np = {
|
||||||
@@ -9,6 +9,19 @@ concrete ExtraFin of ExtraFinAbs = CatFin ** open ResFin, Prelude in {
|
|||||||
isDef = True --- "Jussin kolme autoa ovat" ; thus "...on" is missing
|
isDef = True --- "Jussin kolme autoa ovat" ; thus "...on" is missing
|
||||||
} ;
|
} ;
|
||||||
|
|
||||||
|
|
||||||
|
lincat
|
||||||
|
VPI = {s : Str} ;
|
||||||
|
[VPI] = {s1,s2 : Str} ;
|
||||||
|
lin
|
||||||
|
BaseVPI = twoSS ;
|
||||||
|
ConsVPI = consrSS comma ;
|
||||||
|
|
||||||
|
MkVPI vp = {s = infVP (NPCase Nom) Pos (agrP3 Sg) vp} ;
|
||||||
|
ConjVPI = conjunctSS ;
|
||||||
|
ComplVPIVV vv vpi =
|
||||||
|
insertObj (\\_,_,_ => vpi.s) (predV vv) ;
|
||||||
|
|
||||||
AdvExistNP adv np =
|
AdvExistNP adv np =
|
||||||
mkClause (\_ -> adv.s) np.a (insertObj
|
mkClause (\_ -> adv.s) np.a (insertObj
|
||||||
(\\_,b,_ => np.s ! NPCase Nom) (predV (verbOlla ** {sc = NPCase Nom}))) ;
|
(\\_,b,_ => np.s ! NPCase Nom) (predV (verbOlla ** {sc = NPCase Nom}))) ;
|
||||||
|
|||||||
@@ -1,4 +1,5 @@
|
|||||||
abstract ExtraFinAbs = Extra [GenNP] ** {
|
abstract ExtraFinAbs = Extra [
|
||||||
|
GenNP,VPI,ListVPI,BaseVPI,ConsVPI,MkVPI,ComplVPIVV,ConjVPI] ** {
|
||||||
|
|
||||||
fun
|
fun
|
||||||
AdvExistNP : Adv -> NP -> Cl ; -- kuvassa olemme me
|
AdvExistNP : Adv -> NP -> Cl ; -- kuvassa olemme me
|
||||||
|
|||||||
Reference in New Issue
Block a user