extraParadigmsHin

This commit is contained in:
virk.shafqat
2012-03-29 09:06:24 +00:00
parent ee868b2580
commit 4fd6d6b0c4
2 changed files with 18 additions and 4 deletions

View File

@@ -76,6 +76,8 @@ oper
} ;
mkIrregA : Str -> A = \str -> makeIrregA str ;
mkA2 : A -> Str -> A2 ;
mkA2 a str = a ** {c2=str ; lock_A2 = <>} ;
--2 Verbs
@@ -95,6 +97,9 @@ oper
mkV3 v p q = v ** { c2 = p ; c3 = q ; lock_V3 = <>} ;
mkV2V : V -> Str -> Str -> Bool -> V2V ;
mkV2V v s1 s2 b = v ** {isAux = b ; c1 = s1 ; c2 = s2 ; lock_V2V = <>} ;
dirV2 : V -> V2 = \v -> v ** {c2 = {s = [] ; c = VTrans} ; lock_V2 = <>} ;
dirdirV3 : V -> V3 ;
dirdirV3 v = v ** { c2 = [] ; c3 = [] ; lock_V3 = <>} ;
-- compund verbs
compoundV = overload {
@@ -157,15 +162,23 @@ oper
lin Conj (sd2 x y ** {n = n}) ;
-- mkV0 : V -> V0 ;
-- mkVS : V -> VS ;
mkVS : V -> VS; -- e.g drna
mkVS v = v ;
-- mkV2S : V -> Prep -> V2S ;
mkVV : V -> VV = \v -> lin VV (v ** {isAux = False});
mkVV : V -> VV = -- e.g cahna
\v -> lin VV (v ** {isAux = False});
mkAdA : Str -> AdA ;
-- mkAdv x = lin Adv (ss x) ;
-- mkAdV x = lin AdV (ss x) ;
mkAdA x = lin AdA (ss x) ;
-- mkAdN x = lin AdN (ss x) ;
-- mkV2V : V -> Prep -> Prep -> V2V ;
-- mkVA : V -> VA ;
-- mkV2A : V -> Prep -> V2A ;
-- mkVQ : V -> VQ ;
mkVQ : V -> VQ ; -- e.g janna
mkVQ v = v ;
-- mkV2Q : V -> Prep -> V2Q ;
--
-- mkAS : A -> AS ;
@@ -179,6 +192,7 @@ oper
-- V0 : Type ;
-- AS, A2S, AV, A2V : Type ;
--
--
----.
----2 Definitions of paradigms
----

View File

@@ -99,7 +99,7 @@ incomplete concrete SentenceHindustani of Sentence =
} ;
AdvS a s = {s = a.s ! Masc ++ s.s} ;
ExtAdvS a s = {s = a.s ! Masc ++ s.s} ; ---- with comma? added by AR 5/3/2012
ExtAdvS a s = {s = a.s ! Masc ++ "," ++ s.s} ;
RelS s r = {s = s.s ++ r.s ! agrP3 Masc Sg} ;
SSubjS s sj s = { s = s.s ++ sj.s ++ s.s};