1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
|
resource ResCmn = open Prelude in {
flags coding=utf8;
-- parameters
param
TTense = TPres | TPerf | TPast | TFut ;
Aspect = Perf | DurStat | DurProg | Exper ;
Number = Sg | Pl ;
SForm = Phr PosType | Sent;
PosType = APhrase | NPhrase | VPhrase ;
DeForm = DeNoun | NdNoun ; -- parameter created for noun with/out partical "de"
-- parts of speech
oper
VP = { verb : Verb ; compl : Str ; prePart : Str} ;
NP = {s : Str ; n : Number } ;
copula : Verb = { s = table {
True => table { _ => "是" };
False => table { _ => "不是" }};
vinf = "是" } ;
-- for morphology
Noun : Type = {s : Str; Counter: Str} ;
Adj : Type = {s : Str; monoSyl: Bool} ;
Verb : Type = {s : Bool => Aspect => Str ; vinf : Str} ;
regNoun : Str -> Str -> Noun = \s,c -> {s = s; Counter = c};
mkAdj : Str -> Bool -> Adj = \s,b -> {s = s; monoSyl = b};
regVerb : (walk : Str) -> Verb = \v -> {
s = table {
True => table { Perf => v ++ "了" ;
DurStat => v ++ "着" ;
DurProg => "在" ++ v ;
Exper => v ++ "过" } ;
False => table {Perf => "不" ++ v ++ "了" ;
DurStat => "不" ++ v ;
DurProg => "没" ++ "在" ++ v ;
Exper => "没" ++ v ++ "过" }};
vinf = v} ;
mkVerb : (believe : Str) -> (PerfPart : Str)
-> (DurStatPart : Str)
-> (DurProgPart : Str)
-> (ExperPart : Str) -> Verb = \v,pp,ds,dp,ep -> {
s = table {
True => table { Perf => v ++ pp ;
DurStat => v ++ ds ;
DurProg => dp ++ v ;
Exper => v ++ ep } ;
False => table {Perf => "不" ++ v ++ pp ;
DurStat => "不" ++ v ;
DurProg => "没" ++ dp ++ v ;
Exper => "没" ++ v ++ ep }} ;
vinf = v} ;
-- for structural words
mkDet : Str -> Number -> {s : Str ; n : Number} = \s,n -> {
s = s ;
n = n
} ;
pronNP : (s : Str) -> Number -> NP = \s,n -> {
s = s ;
n = n
} ;
mkPrep : Str -> Str -> {s : Str ; prePart : Str} = \s,b -> {
s = s ;
prePart = b} ;
mkAdv : Str -> Str -> {s : Str ; prePart : Str} = \b,s -> {
s = s ;
prePart = b} ;
mkSubj : Str -> Str -> {prePart : Str ; sufPart : Str} = \p,s -> {
prePart = p ;
sufPart = s} ;
-- Proper Noun
PropN : (s : Str) -> Number -> NP = \s,n -> {
s = s ;
n = n
} ;
}
|
