diff options
Diffstat (limited to 'old-lib/resource/thai/IdiomTha.gf')
| -rw-r--r-- | old-lib/resource/thai/IdiomTha.gf | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/old-lib/resource/thai/IdiomTha.gf b/old-lib/resource/thai/IdiomTha.gf new file mode 100644 index 000000000..40851f3ab --- /dev/null +++ b/old-lib/resource/thai/IdiomTha.gf @@ -0,0 +1,30 @@ +--concrete IdiomTha of Idiom = CatTha ** open Prelude, ResTha in { +-- +-- flags optimize=all_subs ; +-- +-- lin +-- ImpersCl vp = mkClause "it" (agrP3 Sg) vp ; +-- GenericCl vp = mkClause "one" (agrP3 Sg) vp ; +-- +-- CleftNP np rs = mkClause "it" (agrP3 Sg) +-- (insertObj (\\_ => rs.s ! np.a) +-- (insertObj (\\_ => np.s ! rs.c) (predAux auxBe))) ; +-- +-- CleftAdv ad s = mkClause "it" (agrP3 Sg) +-- (insertObj (\\_ => conjThat ++ s.s) +-- (insertObj (\\_ => ad.s) (predAux auxBe))) ; +-- +-- ExistNP np = +-- mkClause "there" (agrP3 np.a.n) +-- (insertObj (\\_ => np.s ! Acc) (predAux auxBe)) ; +-- +-- ExistIP ip = +-- mkQuestion (ss (ip.s ! Nom)) +-- (mkClause "there" (agrP3 ip.n) (predAux auxBe)) ; +-- +-- ProgrVP vp = insertObj (\\a => vp.ad ++ vp.prp ++ vp.s2 ! a) (predAux auxBe) ; +-- +-- ImpPl1 vp = {s = "let's" ++ infVP True vp {n = Pl ; p = P1}} ; +-- +--} +-- |