annotate lisp/its/its-zhuyin.el @ 172:a38aed19690b

Added tag r20-3b12 for changeset 929b76928fce
author cvs
date Mon, 13 Aug 2007 09:47:55 +0200
parents 131b0175ea99
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
70
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
1 ;; Basic ZhuYin Translation Table for Egg+Takana+cWnn
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
2 ;; Coded by Hiroshi Kuribayashi (kuri@nff.ncl.omron.co.jp)
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
3
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
4 ;; (0A(B! (0B(B" (0C(B# (0D(B$ 5% 6& (0Q(B' (0b(B( (0c(B) (0d(B (0e$A!*(B (0f(B~ \|
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
5 ;; (0_(B (0](B (0g(B (0\(B (0J(B (0a(B (0i(B (0^(B (0[(B (0F(B @` $A!0!.(B
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
6 ;; (0Z(B (0Y(B (0I(B (0H(B (0P(B (0O(B (0V(B (0N(B (0L(B (0W$A#;(B (0X$A#:(B $A!1!/(B
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
7 ;; (0`(B (0h(B (0R(B (0M(B (0E(B (0K(B (0G(B (0S$A#,(B (0T$A!#(B (0U$A#?(B $A!"(B
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
8
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
9 (its-define-mode "zhuyin" "$AW"(B" t)
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
10
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
11 (let ((its:make-terminal-state 'its:make-terminal-state-hangul))
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
12
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
13 (its-defrule "b" "(0E(B") ;;; B
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
14 (its-defrule "p" "(0F(B") ;;; P
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
15 (its-defrule "m" "(0G(B") ;;; M
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
16 (its-defrule "f" "(0H(B") ;;; F
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
17
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
18 (its-defrule "d" "(0I(B") ;;; D
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
19 (its-defrule "t" "(0J(B") ;;; T
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
20 (its-defrule "n" "(0K(B") ;;; N
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
21 (its-defrule "l" "(0L(B") ;;; L
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
22
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
23 (its-defrule "v" "(0M(B") ;;; G
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
24 (its-defrule "k" "(0N(B") ;;; K
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
25 (its-defrule "h" "(0O(B") ;;; H
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
26
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
27 (its-defrule "g" "(0P(B") ;;; J
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
28 (its-defrule "7" "(0Q(B") ;;; Q
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
29 (its-defrule "c" "(0R(B") ;;; X
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
30
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
31 (its-defrule "," "(0S(B") ;;; Zh
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
32 (its-defrule "." "(0T(B") ;;; Ch
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
33 (its-defrule "/" "(0U(B") ;;; Sh
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
34 (its-defrule "j" "(0V(B") ;;; R
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
35
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
36 (its-defrule ";" "(0W(B") ;;; Z
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
37 (its-defrule ":" "(0X(B") ;;; C
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
38 (its-defrule "s" "(0Y(B") ;;; S
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
39
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
40 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
41 (its-defrule "a" "(0Z@(B") ;;; a
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
42 (its-defrule "a1" "(0ZA(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
43 (its-defrule "a2" "(0ZB(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
44 (its-defrule "a3" "(0ZC(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
45 (its-defrule "a4" "(0ZD(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
46
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
47 (its-defrule "i" "(0^@(B") ;;; ai
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
48 (its-defrule "i1" "(0^A(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
49 (its-defrule "i2" "(0^B(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
50 (its-defrule "i3" "(0^C(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
51 (its-defrule "i4" "(0^D(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
52
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
53 (its-defrule "8" "(0b@(B") ;;; an
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
54 (its-defrule "81" "(0bA(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
55 (its-defrule "82" "(0bB(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
56 (its-defrule "83" "(0bC(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
57 (its-defrule "84" "(0bD(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
58
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
59 (its-defrule "0" "(0d@(B") ;;; ang
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
60 (its-defrule "01" "(0dA(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
61 (its-defrule "02" "(0dB(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
62 (its-defrule "03" "(0dC(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
63 (its-defrule "04" "(0dD(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
64
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
65 (its-defrule "z" "(0`@(B") ;;; ao
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
66 (its-defrule "z1" "(0`A(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
67 (its-defrule "z2" "(0`B(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
68 (its-defrule "z3" "(0`C(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
69 (its-defrule "z4" "(0`D(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
70
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
71 (its-defrule "r" "(0\@(B") ;;; e
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
72 (its-defrule "r1" "(0\A(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
73 (its-defrule "r2" "(0\B(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
74 (its-defrule "r3" "(0\C(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
75 (its-defrule "r4" "(0\D(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
76
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
77 (its-defrule "w" "(0]@(B") ;;; (0:(B
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
78 (its-defrule "w1" "(0]A(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
79 (its-defrule "w2" "(0]B(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
80 (its-defrule "w3" "(0]C(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
81 (its-defrule "w4" "(0]D(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
82
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
83 (its-defrule "q" "(0_@(B") ;;; ei
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
84 (its-defrule "q1" "(0_A(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
85 (its-defrule "q2" "(0_B(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
86 (its-defrule "q3" "(0_C(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
87 (its-defrule "q4" "(0_D(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
88
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
89 (its-defrule "9" "(0c@(B") ;;; en
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
90 (its-defrule "91" "(0cA(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
91 (its-defrule "92" "(0cB(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
92 (its-defrule "93" "(0cC(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
93 (its-defrule "94" "(0cD(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
94
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
95 (its-defrule "-" "(0e@(B") ;;; eng
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
96 (its-defrule "-1" "(0eA(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
97 (its-defrule "-2" "(0eB(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
98 (its-defrule "-3" "(0eC(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
99 (its-defrule "-4" "(0eD(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
100
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
101 (its-defrule "o" "(0[@(B") ;;; o
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
102 (its-defrule "o1" "(0[A(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
103 (its-defrule "o2" "(0[B(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
104 (its-defrule "o3" "(0[C(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
105 (its-defrule "o4" "(0[D(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
106
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
107 (its-defrule "y" "(0a@(B") ;;; ou
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
108 (its-defrule "y1" "(0aA(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
109 (its-defrule "y2" "(0aB(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
110 (its-defrule "y3" "(0aC(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
111 (its-defrule "y4" "(0aD(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
112
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
113 (its-defrule "^" "(0f@(B") ;;; er
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
114 (its-defrule "^1" "(0fA(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
115 (its-defrule "^2" "(0fB(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
116 (its-defrule "^3" "(0fC(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
117 (its-defrule "^4" "(0fD(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
118
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
119 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
120 (its-defrule "e" "(0g@(B") ;;; i
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
121 (its-defrule "e1" "(0gA(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
122 (its-defrule "e2" "(0gB(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
123 (its-defrule "e3" "(0gC(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
124 (its-defrule "e4" "(0gD(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
125
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
126 (its-defrule "ea" "(0gZ@(B") ;;; ia
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
127 (its-defrule "ea1" "(0gZA(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
128 (its-defrule "ea2" "(0gZB(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
129 (its-defrule "ea3" "(0gZC(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
130 (its-defrule "ea4" "(0gZD(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
131
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
132 (its-defrule "e8" "(0gb@(B") ;;; ian
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
133 (its-defrule "e81" "(0gbA(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
134 (its-defrule "e82" "(0gbB(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
135 (its-defrule "e83" "(0gbC(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
136 (its-defrule "e84" "(0gbD(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
137
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
138 (its-defrule "e0" "(0gd@(B") ;;; iang
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
139 (its-defrule "e01" "(0gdA(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
140 (its-defrule "e02" "(0gdB(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
141 (its-defrule "e03" "(0gdC(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
142 (its-defrule "e04" "(0gdD(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
143
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
144 (its-defrule "ez" "(0g`@(B") ;;; iao
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
145 (its-defrule "ez1" "(0g`A(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
146 (its-defrule "ez2" "(0g`B(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
147 (its-defrule "ez3" "(0g`C(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
148 (its-defrule "ez4" "(0g`D(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
149
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
150 (its-defrule "ew" "(0g]@(B") ;;; ie
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
151 (its-defrule "ew1" "(0g]A(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
152 (its-defrule "ew2" "(0g]B(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
153 (its-defrule "ew3" "(0g]C(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
154 (its-defrule "ew4" "(0g]D(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
155
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
156 (its-defrule "e9" "(0gc@(B") ;;; in
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
157 (its-defrule "e91" "(0gcA(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
158 (its-defrule "e92" "(0gcB(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
159 (its-defrule "e93" "(0gcC(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
160 (its-defrule "e94" "(0gcD(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
161
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
162 (its-defrule "e-" "(0ge@(B") ;;; ing
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
163 (its-defrule "e-1" "(0geA(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
164 (its-defrule "e-2" "(0geB(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
165 (its-defrule "e-3" "(0geC(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
166 (its-defrule "e-4" "(0geD(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
167
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
168 (its-defrule "u-" "(0ie@(B") ;;; iong
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
169 (its-defrule "u-1" "(0ieA(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
170 (its-defrule "u-2" "(0ieB(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
171 (its-defrule "u-3" "(0ieC(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
172 (its-defrule "u-4" "(0ieD(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
173
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
174 (its-defrule "ey" "(0ga@(B") ;;; iou
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
175 (its-defrule "ey1" "(0gaA(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
176 (its-defrule "ey2" "(0gaB(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
177 (its-defrule "ey3" "(0gaC(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
178 (its-defrule "ey4" "(0gaD(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
179
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
180 (its-defrule "x-" "(0he@(B") ;;; ong
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
181 (its-defrule "x-1" "(0heA(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
182 (its-defrule "x-2" "(0heB(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
183 (its-defrule "x-3" "(0heC(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
184 (its-defrule "x-4" "(0heD(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
185
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
186 (its-defrule "x" "(0h@(B") ;;; u
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
187 (its-defrule "x1" "(0hA(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
188 (its-defrule "x2" "(0hB(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
189 (its-defrule "x3" "(0hC(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
190 (its-defrule "x4" "(0hD(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
191
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
192 (its-defrule "xa" "(0hZ@(B") ;;; ua
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
193 (its-defrule "xa1" "(0hZA(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
194 (its-defrule "xa2" "(0hZB(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
195 (its-defrule "xa3" "(0hZC(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
196 (its-defrule "xa4" "(0hZD(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
197
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
198 (its-defrule "xi" "(0h^@(B") ;;; uai
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
199 (its-defrule "xi1" "(0h^A(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
200 (its-defrule "xi2" "(0h^B(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
201 (its-defrule "xi3" "(0h^C(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
202 (its-defrule "xi4" "(0h^D(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
203
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
204 (its-defrule "x8" "(0hb@(B") ;;; uan
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
205 (its-defrule "x81" "(0hbA(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
206 (its-defrule "x82" "(0hbB(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
207 (its-defrule "x83" "(0hbC(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
208 (its-defrule "x84" "(0hbD(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
209
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
210 (its-defrule "x0" "(0hd@(B") ;;; uang
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
211 (its-defrule "x01" "(0hdA(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
212 (its-defrule "x02" "(0hdB(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
213 (its-defrule "x03" "(0hdC(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
214 (its-defrule "x04" "(0hdD(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
215
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
216 (its-defrule "xq" "(0h_@(B") ;;; uei
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
217 (its-defrule "xq1" "(0h_A(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
218 (its-defrule "xq2" "(0h_B(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
219 (its-defrule "xq3" "(0h_C(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
220 (its-defrule "xq4" "(0h_D(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
221
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
222 (its-defrule "x9" "(0hc@(B") ;;; uen
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
223 (its-defrule "x91" "(0hcA(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
224 (its-defrule "x92" "(0hcB(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
225 (its-defrule "x93" "(0hcC(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
226 (its-defrule "x94" "(0hcD(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
227
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
228 (its-defrule "xo" "(0h[@(B") ;;; uo
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
229 (its-defrule "xo1" "(0h[A(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
230 (its-defrule "xo2" "(0h[B(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
231 (its-defrule "xo3" "(0h[C(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
232 (its-defrule "xo4" "(0h[D(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
233
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
234 (its-defrule "u" "(0i@(B") ;;; (09(B
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
235 (its-defrule "u1" "(0iA(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
236 (its-defrule "u2" "(0iB(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
237 (its-defrule "u3" "(0iC(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
238 (its-defrule "u4" "(0iD(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
239
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
240 (its-defrule "u8" "(0ib@(B") ;;; (09(Ban
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
241 (its-defrule "u81" "(0ibA(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
242 (its-defrule "u82" "(0ibB(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
243 (its-defrule "u83" "(0ibC(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
244 (its-defrule "u84" "(0ibD(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
245
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
246 (its-defrule "uw" "(0i]@(B") ;;; (09(Be
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
247 (its-defrule "uw1" "(0i]A(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
248 (its-defrule "uw2" "(0i]B(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
249 (its-defrule "uw3" "(0i]C(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
250 (its-defrule "uw4" "(0i]D(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
251
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
252 (its-defrule "u9" "(0ic@(B") ;;; (09(Bn
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
253 (its-defrule "u91" "(0icA(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
254 (its-defrule "u92" "(0icB(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
255 (its-defrule "u93" "(0icC(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
256 (its-defrule "u94" "(0icD(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
257
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
258 ;;(its-defrule "ei" "(0g^@(B") ;;; iai
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
259 ;;(its-defrule "ei1" "(0g^A(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
260 ;;(its-defrule "ei2" "(0g^B(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
261 ;;(its-defrule "ei3" "(0g^C(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
262 ;;(its-defrule "ei4" "(0g^D(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
263
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
264 ;;(its-defrule "eo" "(0g[@(B") ;;; io
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
265 ;;(its-defrule "eo1" "(0g[A(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
266 ;;(its-defrule "eo2" "(0g[B(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
267 ;;(its-defrule "eo3" "(0g[C(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
268 ;;(its-defrule "eo4" "(0g[D(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
269
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
270 (its-defrule "m1" "(0GA(B") ;;; M
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
271 (its-defrule "hm" "(0OGA(B") ;;; Hm
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
272 (its-defrule "h@" "(0O(B@(0A(B") ;;; Hng
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
273 (its-defrule "@1" "@(0A(B") ;;; Ng
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
274 (its-defrule "n1" "(0KA(B") ;;; N
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
275
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
276 (its-defrule "<" "$A#,(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
277 (its-defrule ">" "$A!#(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
278 (its-defrule "+" "$A#;(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
279 (its-defrule "*" "$A#:(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
280 (its-defrule "?" "$A#?(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
281 (its-defrule "_" "$A!"(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
282 (its-defrule "!" "$A#!(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
283 (its-defrule "[" "$A!0(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
284 (its-defrule "]" "$A!1(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
285 (its-defrule "{" "$A!.(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
286 (its-defrule "}" "$A!/(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
287 (its-defrule "=" "$A!*(B")
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
288
131b0175ea99 Import from CVS: tag r20-0b30
cvs
parents:
diff changeset
289 )