forked from GitHub/gf-rgl
(Hun) Add UttIP
This commit is contained in:
@@ -104,7 +104,6 @@ oper Use3N3 : N3 -> N2 = notYet "Use3N3" ;
|
|||||||
oper UseQCl : Temp -> Pol -> QCl -> QS = notYet "UseQCl" ;
|
oper UseQCl : Temp -> Pol -> QCl -> QS = notYet "UseQCl" ;
|
||||||
oper UseSlash : Temp -> Pol -> ClSlash -> SSlash = notYet "UseSlash" ;
|
oper UseSlash : Temp -> Pol -> ClSlash -> SSlash = notYet "UseSlash" ;
|
||||||
oper UttIAdv : IAdv -> Utt = notYet "UttIAdv" ;
|
oper UttIAdv : IAdv -> Utt = notYet "UttIAdv" ;
|
||||||
oper UttIP : IP -> Utt = notYet "UttIP" ;
|
|
||||||
oper UttImpPl : Pol -> Imp -> Utt = notYet "UttImpPl" ;
|
oper UttImpPl : Pol -> Imp -> Utt = notYet "UttImpPl" ;
|
||||||
oper UttImpPol : Pol -> Imp -> Utt = notYet "UttImpPol" ;
|
oper UttImpPol : Pol -> Imp -> Utt = notYet "UttImpPol" ;
|
||||||
oper UttImpSg : Pol -> Imp -> Utt = notYet "UttImpSg" ;
|
oper UttImpSg : Pol -> Imp -> Utt = notYet "UttImpSg" ;
|
||||||
|
|||||||
@@ -10,10 +10,9 @@ concrete PhraseHun of Phrase = CatHun ** open Prelude, ResHun in {
|
|||||||
UttImpSg pol imp =
|
UttImpSg pol imp =
|
||||||
UttImpPl pol imp =
|
UttImpPl pol imp =
|
||||||
UttImpPol = UttImpSg ;
|
UttImpPol = UttImpSg ;
|
||||||
|
|
||||||
UttIP ip = {s = ip.s ! } ;
|
|
||||||
-}
|
-}
|
||||||
UttNP np = {s = np.s ! Nom} ;
|
UttIP,
|
||||||
|
UttNP = \np -> {s = np.s ! Nom} ;
|
||||||
UttVP vp = {s = vp.obj ++ vp.adv ++ vp.s ! VInf} ;
|
UttVP vp = {s = vp.obj ++ vp.adv ++ vp.s ! VInf} ;
|
||||||
UttAdv adv = adv ;
|
UttAdv adv = adv ;
|
||||||
UttCN cn = {s = cn.s ! Sg ! Nom} ;
|
UttCN cn = {s = cn.s ! Sg ! Nom} ;
|
||||||
|
|||||||
Reference in New Issue
Block a user