blob: b067131ae6a3d6e5cb9d90f94956691c0cbc5122 (
plain)
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
|
--concrete SentenceTel of Sentence = CatTel ** open Prelude, ResTel in {
--
-- flags optimize=all_subs ;
--
-- lin
--
-- PredVP np vp = mkClause np vp ;
--
---- PredSCVP sc vp = mkClause sc.s (agrP3 Sg) vp ;
----
---- ImpVP vp = {
---- s = \\pol,n =>
---- let
---- agr = AgP2 (numImp n) ;
---- verb = infVP True vp agr ;
---- dont = case pol of {
---- CNeg True => "don't" ;
---- CNeg False => "do" ++ "not" ;
---- _ => []
---- }
---- in
---- dont ++ verb
---- } ;
----
---- SlashVP np vp =
---- mkClause (np.s ! Nom) np.a vp ** {c2 = vp.c2} ;
----
---- AdvSlash slash adv = {
---- s = \\t,a,b,o => slash.s ! t ! a ! b ! o ++ adv.s ;
---- c2 = slash.c2
---- } ;
----
---- SlashPrep cl prep = cl ** {c2 = prep.s} ;
----
---- SlashVS np vs slash =
---- mkClause (np.s ! Nom) np.a
---- (insertObj (\\_ => conjThat ++ slash.s) (predV vs)) **
---- {c2 = slash.c2} ;
----
---- EmbedS s = {s = conjThat ++ s.s} ;
---- EmbedQS qs = {s = qs.s ! QIndir} ;
---- EmbedVP vp = {s = infVP False vp (agrP3 Sg)} ; --- agr
----
---- UseCl t a p cl = {
---- s = t.s ++ a.s ++ p.s ++ cl.s ! t.t ! a.a ! ctr p.p ! ODir
---- } ;
---- UseQCl t a p cl = {
---- s = \\q => t.s ++ a.s ++ p.s ++ cl.s ! t.t ! a.a ! ctr p.p ! q
---- } ;
---- UseRCl t a p cl = {
---- s = \\r => t.s ++ a.s ++ p.s ++ cl.s ! t.t ! a.a ! ctr p.p ! r ;
---- c = cl.c
---- } ;
---- UseSlash t a p cl = {
---- s = t.s ++ a.s ++ p.s ++ cl.s ! t.t ! a.a ! ctr p.p ! ODir ;
---- c2 = cl.c2
---- } ;
----
---- AdvS a s = {s = a.s ++ "," ++ s.s} ;
----
---- RelS s r = {s = s.s ++ "," ++ r.s ! agrP3 Sg} ;
----
---- oper
---- ctr = contrNeg True ; -- contracted negations
----
--}
|
