(Som) Add GenericCl

This commit is contained in:
Inari Listenmaa
2019-07-19 13:53:58 +03:00
parent 8c11c9e372
commit 56be17ccf9
2 changed files with 7 additions and 4 deletions

View File

@@ -6,13 +6,14 @@ concrete IdiomSom of Idiom = CatSom ** open Prelude, ResSom, VerbSom in {
-- This module defines constructions that are formed in fixed ways, -- This module defines constructions that are formed in fixed ways,
-- often different even in closely related languages. -- often different even in closely related languages.
--lin lin
-- : VP -> Cl ; -- it is hot -- : VP -> Cl ; -- it is hot
--ImpersCl = ; --ImpersCl = ;
-- : VP -> Cl ; -- one sleeps -- : VP -> Cl ; -- one sleeps
--GenericCl = ; GenericCl vp = predVP impersNP (passVP vp) ;
{- {-
CleftNP : NP -> RS -> Cl ; -- it is I who did it CleftNP : NP -> RS -> Cl ; -- it is I who did it
CleftAdv : Adv -> S -> Cl ; -- it is here she slept CleftAdv : Adv -> S -> Cl ; -- it is here she slept

View File

@@ -671,9 +671,11 @@ oper
c2 = P v2.c2 c2 = P v2.c2
} ; } ;
passV2 : Verb2 -> VerbPhrase = \v2 -> useV v2 ** { passV2 : Verb2 -> VerbPhrase = \v2 -> passVP (useV v2) ;
passVP : VerbPhrase -> VerbPhrase = \vp -> vp ** {
c2 = Passive ; c2 = Passive ;
c3 = v2.c2 ; c3 = pp2prep vp.c2 ;
} ; } ;
complSlash : VPSlash -> VerbPhrase = \vps -> let np = vps.obj2 in vps ** { complSlash : VPSlash -> VerbPhrase = \vps -> let np = vps.obj2 in vps ** {