ad hoc instances of VPI in finnish

This commit is contained in:
aarne
2006-11-08 15:07:09 +00:00
parent ccaa3e63fa
commit 5815ec730a
2 changed files with 16 additions and 2 deletions

View File

@@ -1,4 +1,4 @@
concrete ExtraFin of ExtraFinAbs = CatFin ** open ResFin, Prelude in {
concrete ExtraFin of ExtraFinAbs = CatFin ** open ResFin, Coordination, Prelude in {
lin
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
} ;
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 =
mkClause (\_ -> adv.s) np.a (insertObj
(\\_,b,_ => np.s ! NPCase Nom) (predV (verbOlla ** {sc = NPCase Nom}))) ;

View File

@@ -1,4 +1,5 @@
abstract ExtraFinAbs = Extra [GenNP] ** {
abstract ExtraFinAbs = Extra [
GenNP,VPI,ListVPI,BaseVPI,ConsVPI,MkVPI,ComplVPIVV,ConjVPI] ** {
fun
AdvExistNP : Adv -> NP -> Cl ; -- kuvassa olemme me