tomo [Sun, 25 Apr 2004 06:59:57 +0000 (06:59 +0000)]
(U+9EFE): Use `=>daikanwa' instead of `morohashi-daikanwa'.
tomo [Sun, 25 Apr 2004 06:56:39 +0000 (06:56 +0000)]
Reformatted.
tomo [Sat, 24 Apr 2004 21:00:52 +0000 (21:00 +0000)]
Reformatted.
tomo [Sat, 24 Apr 2004 20:58:13 +0000 (20:58 +0000)]
(U+73CE): Use `->subsumptive'; use `<-vulgar*sources' instead of
char-ref in `<-vulgar'.
(J90-605F): Moved into U+73CE.
tomo [Sat, 24 Apr 2004 20:11:21 +0000 (20:11 +0000)]
update.
tomo [Sat, 24 Apr 2004 19:59:21 +0000 (19:59 +0000)]
(mapping-table-read-file): Don't add `=>ucs' if a character's
ancestors have `=>ucs'.
tomo [Sat, 24 Apr 2004 19:57:15 +0000 (19:57 +0000)]
(insert-char-attributes): Insert `->simplified' and `->vulgar' if they
have their meta-data `*sources' even if non-printable mode.
tomo [Sat, 24 Apr 2004 18:51:07 +0000 (18:51 +0000)]
(U-
000200BD): Use `ideographic-{radical|strokes}@{ucs|cns}' and
`ideographic-radical@cns*sources' instead of `ideographic-'; use
`->vulgar' and `->vulgar*sources' instead of `->vulgar-ideograph'.
tomo [Sat, 24 Apr 2004 15:35:16 +0000 (15:35 +0000)]
update.
tomo [Sat, 24 Apr 2004 14:27:37 +0000 (14:27 +0000)]
(J0-3B26): Use `<-denotational' for U+6BBA; use `->subsumptive' to
integrate B-B1FE.
(G1-4931): Separate U+6BBA; use `<-denotational' for U+6BBA; use
`=>daikanwa' instead of `morohashi-daikanwa'.
(U-
0002F8F5): use `<-denotational' for U+6BBA; use `=>daikanwa'
instead of `morohashi-daikanwa'.
(U+6BBA): Define as an abstract character.
(K0-5F2F): Use `<-denotational' for U+6BBA; use `->subsumptive' to
integrate U+F970 and C1-5B44.
tomo [Sat, 24 Apr 2004 07:10:07 +0000 (07:10 +0000)]
Reformatted.
tomo [Sat, 24 Apr 2004 06:48:20 +0000 (06:48 +0000)]
(U+4E46): Use `<-vulgar*sources' instead of char-ref in `<-vulgar';
add `<-wrong' for U+4E45.
(U-
000200BD): Use `ideographic-{radical|strokes}@{ucs|cns}' and
`ideographic-radical@cns*sources' instead of `ideographic-'; use
`->vulgar' and `->vulgar*sources' instead of `->vulgar-ideograph'.
tomo [Fri, 23 Apr 2004 12:00:46 +0000 (12:00 +0000)]
(M-18520): Use `<-denotational' for U+701E; use `<-vulgar*sources'
instead of char-ref in `<-vulgar'.
(J90-4654): Separate U+701E; use `<-denotational' for U+701E; use
`->subsumptive' to integrate U-
0002F914; use `=>daikanwa' instead of
`morohashi-daikanwa'.
(U+701E): Define as an abstract character.
(J78-4654): Use `<-denotational' for U+701E; use `->subsumptive' to
integrate C3-5A52.
tomo [Fri, 23 Apr 2004 10:36:15 +0000 (10:36 +0000)]
update.
tomo [Fri, 23 Apr 2004 09:30:02 +0000 (09:30 +0000)]
(JSP-3C4A): Moved into U+5EAC; use `<-vulgar*sources' instead of
char-ref in `<-vulgar'.
(U+5EAC): Use `->subsumptive'.
(U-
00022220): Use `->subsumptive'.
(U+5ED0): Define as an abstract character.
(J0-567D): Use `<-denotational' for U+5ED0; use `<-vulgar*sources'
instead of char-ref in `<-vulgar'; use `->subsumptive' to integrate
with C3-4660 and K0-4F2A.
(GT-11901): Use `<-denotational' for U+5ED0; use `<-vulgar*sources'
instead of char-ref in `<-vulgar'; use `->subsumptive' to integrate
with CB00636.
(U+3893): Use `->subsumptive'.
tomo [Fri, 23 Apr 2004 07:38:42 +0000 (07:38 +0000)]
(U+52D7): Use `->subsumptive'; moved into Ideograph-R019-Power.el.
tomo [Fri, 23 Apr 2004 07:31:22 +0000 (07:31 +0000)]
(U+5226): Use `<-vulgar*sources' instead of char-ref in `<-vulgar'.
(U+5227): Likewise.
(U+5231): Use `->subsumptive'.
(C2-2554): Moved into U+5231.
(JSP-333A): Likewise.
(C3-2B43): Moved into U+524F; use `<-vulgar*sources' instead of
char-ref in `<-vulgar'.
(J0-516C): Likewise.
(U+524F): Use `->subsumptive'.
(U+5259): Use `->subsumptive'; use `<-vulgar*sources' instead of
char-ref in `<-vulgar'.
(C3-2F62): Moved into U+5259.
(U+5265): Add `->same' for U+525D; use `<-vulgar*sources' instead of
char-ref in `<-vulgar'.
(J0-5179): Moved into U+5294; use `<-vulgar*sources' instead of
char-ref in `<-vulgar'.
(U+5294): Use `->subsumptive'.
tomo [Fri, 23 Apr 2004 06:21:27 +0000 (06:21 +0000)]
update.
tomo [Fri, 23 Apr 2004 05:29:12 +0000 (05:29 +0000)]
(U+681F): Use `<-vulgar*sources' instead of char-ref in `<-vulgar'.
tomo [Thu, 22 Apr 2004 08:35:50 +0000 (08:35 +0000)]
Reformatted.
tomo [Thu, 22 Apr 2004 08:34:44 +0000 (08:34 +0000)]
(C3-224A): Moved into U+5F52; use `<-vulgar*sources' instead of
char-ref in `<-vulgar'.
(U+5F52): Use `->subsumptive'.
tomo [Thu, 22 Apr 2004 08:27:24 +0000 (08:27 +0000)]
(U+5918): Add `->mistakable' for M-02843 and M-02847; add `->same' for
U+5917; use `<-vulgar*sources' instead of char-ref in `<-vulgar'.
(JSP-3869): Moved into U+5923; use `<-vulgar*sources' instead of
char-ref in `<-vulgar'.
(U+5923): Use `->subsumptive'.
(C3-405F): Moved into U+5923.
tomo [Thu, 22 Apr 2004 02:21:00 +0000 (02:21 +0000)]
update.
tomo [Thu, 22 Apr 2004 01:51:24 +0000 (01:51 +0000)]
(U+5BC3): Separate C3-3541; define as an abstract character.
(J83-5563): Use `<-vulgar*sources' instead of char-ref in `<-vulgar';
use `<-denotational' for U+5BC3; use `->subsumptive' to integrate with
C3-3541.
(J78-5563): Use `<-denotational' for U+5BC3.
(K0-6A32): Likewise.
(JC3-4AB8): Moved into U-
0002F86D.
(U-
0002F86D): Use `<-denotational' for U+5BC3; use `->subsumptive'.
(U+5BC4): Use `->subsumptive'.
tomo [Thu, 22 Apr 2004 01:40:18 +0000 (01:40 +0000)]
(U-
000205B1): Use `<-vulgar*sources' instead of char-ref in
`<-vulgar'.
(U+51B2): Likewise.
(U+51B3): Likewise; use `->subsumptive'.
(C3-227D): Moved into U+51B3.
(U+51B5): Use `<-vulgar*sources' instead of char-ref in
`<-vulgar'.
(J0-515A): Likewise; moved into U+51C9.
(U+51C9): Use `->subsumptive'.
(J0-5245): Moved into U+51D6; use `<-vulgar*sources' instead of
char-ref in `<-vulgar'.
(U+51D6): Use `->subsumptive'.
(U+34D5): Use `->subsumptive'.
(J83-515B): Moved into U+51DB.
(C3-4B30): Likewise.
(J90-515B): Likewise.
(U+51DB): Use `->subsumptive'.
tomo [Wed, 21 Apr 2004 04:35:48 +0000 (04:35 +0000)]
update.
tomo [Wed, 21 Apr 2004 04:17:48 +0000 (04:17 +0000)]
(J0-3B54): Moved into U+5E02.
(U+5E02): Use `->subsumptive'.
tomo [Wed, 21 Apr 2004 04:09:06 +0000 (04:09 +0000)]
(U+5973): Use `->subsumptive'.
(C1-444C): Moved into U+5973.
(U+59C9): Use `->subsumptive'; use `<-vulgar*sources' instead of
char-ref in `<-vulgar'.
(K0-6D2B): Moved into U+59C9.
(C3-283F): Likewise.
tomo [Wed, 21 Apr 2004 04:00:39 +0000 (04:00 +0000)]
(U+5346): Use `<-vulgar*sources' and `<-wrong-ideograph*sources'
instead of char-refs in `<-vulgar' and `<-wrong-ideograph'.
(U-
00020991): Use `<-vulgar*sources' instead of char-ref in
`<-vulgar'.
(U+5351): Define as an abstract character.
(U+FA35): Use `<-denotational' for U+5351.
(J0-485C): Likewise.
(U-
000209A4): Use `<-vulgar*sources' instead of char-ref in
`<-vulgar'; add `<-simplified@misc' for U+55AE.
tomo [Wed, 21 Apr 2004 03:53:16 +0000 (03:53 +0000)]
(J0-387A): Moved into U+52B9.
(U+52B9): Use `->subsumptive'.
(G0-5342): Separate U+52C7; use `<-denotational' for U+52C7; use
`->subsumptive'.
(C1-502D): Integrate with G0-5342.
(U+52C7): Separate all CCS features.
(J0-4D26): Use `<-denotational' for U+52C7.
(U+52D6): Use `->subsumptive'.
(JC3-44EC): Moved into U+52D6.
(M-02392): Moved into U+52D7.
(U+52D7): Use `->subsumptive'.
(K0-632D): Moved into U+52DD; modify `ideographic-structure'.
(U+52DD): Use `->subsumptive'.
(U-
0002F827): Add `<-denotational' for U+52E4.
(U+52E4): Define as an abstract character.
(U+FA34): Add `<-denotational' for U+52E4.
(J0-342B): Moved into U+52E7.
(U+52E7): Use `->subsumptive'.
tomo [Tue, 20 Apr 2004 13:53:18 +0000 (13:53 +0000)]
update.
tomo [Tue, 20 Apr 2004 10:43:12 +0000 (10:43 +0000)]
(U+53C5): Use `<-vulgar*sources' instead of char-ref in `<-vulgar'.
tomo [Tue, 20 Apr 2004 10:23:01 +0000 (10:23 +0000)]
(U+51FD): Use `->subsumptive'.
(U+51FE): Use `<-vulgar*sources' instead of char-ref in `<-vulgar';
unify C3-275A.
tomo [Tue, 20 Apr 2004 10:16:35 +0000 (10:16 +0000)]
(U-
0002F817): Use `=>daikanwa' instead of `morohashi-daikanwa'; add
`=>ucs*' for U+5197; use `<-vulgar*sources' instead of char-ref in
`<-vulgar'.
(U+51A8): Use `<-vulgar*sources' instead of char-ref in `<-vulgar'.
tomo [Mon, 19 Apr 2004 13:20:55 +0000 (13:20 +0000)]
update.
tomo [Mon, 19 Apr 2004 12:06:20 +0000 (12:06 +0000)]
(U+5451): Use `<-vulgar*sources' instead of char-ref in `<-vulgar'.
(J78-4A2E): Moved into U+5674.
(U+5674): Use `->subsumptive'.
tomo [Mon, 19 Apr 2004 12:01:17 +0000 (12:01 +0000)]
(U-
0002007E): Use `ideographic-{radical|strokes}@{ucs|daikanwa}'
instead of `ideographic-'; use `hanyu-dazidian' instead of
`hanyu-dazidian-{vol|page|char}'.
(C6-3D59): Use `<-vulgar*sources' instead of char-ref in `<-vulgar';
moved into U-
0002F831; add `<-denotational' for U+537F.
(U+537F): Separate all CCS features.
(G0-4764): Separate U+537F; use `<-vulgar*sources' instead of char-ref
in `<-vulgar'; add `<-denotational' for U+537F.
(C6-3D5A): Unify U-
0002F832; use `<-vulgar*sources' instead of
char-ref in `<-vulgar'; add `<-denotational' for U+537F.
(U-
0002F833): Add `<-denotational' for U+537F.
(J78-362A): Likewise.
tomo [Mon, 19 Apr 2004 10:22:21 +0000 (10:22 +0000)]
update.
tomo [Mon, 19 Apr 2004 09:00:53 +0000 (09:00 +0000)]
(U-
00021641): Use `<-vulgar*sources' instead of char-ref in
`<-vulgar'.
tomo [Mon, 19 Apr 2004 08:56:43 +0000 (08:56 +0000)]
(U+53A0): Use `<-vulgar*sources' instead of char-ref in `<-vulgar'.
(M-02993): Moved into U+53A6.
(C3-3A28): Likewise.
(U+53A6): Use `->subsumptive'; use `<-vulgar*sources' instead of
char-ref in `<-vulgar'.
(U+53A8): Use `<-vulgar*sources' instead of char-ref in `<-vulgar'.
(U+53AE): Likewise.
(M-03033): Likewise; moved into U+3551.
(U+3551): Use `->subsumptive'.
(J0-5252): Moved into U+53B0; use `<-vulgar*sources' instead of
char-ref in `<-vulgar'.
(U+53B0): Use `->subsumptive'.
tomo [Mon, 19 Apr 2004 06:58:57 +0000 (06:58 +0000)]
update.
tomo [Mon, 19 Apr 2004 05:26:19 +0000 (05:26 +0000)]
(U+53CE): Delete `=>daikanwa'.
tomo [Sun, 18 Apr 2004 18:40:00 +0000 (18:40 +0000)]
update.
tomo [Sun, 18 Apr 2004 18:12:31 +0000 (18:12 +0000)]
(U+51E1): Use `->subsumptive'.
(GT-K00368): Use `=>daikanwa' instead of `morohashi-daikanwa'.
(GT-K00369): Likewise.
tomo [Sun, 18 Apr 2004 18:08:01 +0000 (18:08 +0000)]
(U+4EEE): Separate all CCS features.
(J0-323E): Use `<-denotational' for U+4EEE.
(H1-BD6F): Likewise.
(M-00703): Moved into U+4FDE.
(U+4FDE): Use `->subsumptive'.
(C1-4F7E): Moved into U+4FDE.
(B-AB5C): Likewise.
tomo [Sun, 18 Apr 2004 17:09:40 +0000 (17:09 +0000)]
update.
tomo [Sun, 18 Apr 2004 16:50:18 +0000 (16:50 +0000)]
(insert-char-attributes): Don't display `->vulgar' when running with
non-readable mode; Add some CCSs corresponding with shinjigen-1
specified in {<-|->}FOO*sources into required-features.
tomo [Sun, 18 Apr 2004 15:26:10 +0000 (15:26 +0000)]
update.
tomo [Sun, 18 Apr 2004 14:35:22 +0000 (14:35 +0000)]
(JSP-337B): Moved into U+5300; use `<-vulgar*sources' instead of
char-ref in `<-vulgar'.
(U+5300): Use `->subsumptive'.
tomo [Sun, 18 Apr 2004 14:27:51 +0000 (14:27 +0000)]
(U+51E1): Moved to Ideograph-R016-Table.el.
(U-
0002007E): Use `ideographic-{radical|strokes}@{ucs|daikanwa}'
instead of `ideographic-'; use `hanyu-dazidian' instead of
`hanyu-dazidian-{vol|page|char}'.
tomo [Sun, 18 Apr 2004 13:06:24 +0000 (13:06 +0000)]
update.
tomo [Sun, 18 Apr 2004 12:15:30 +0000 (12:15 +0000)]
(U+531D): Use `<-vulgar*sources' instead of char-ref in `<-vulgar'.
tomo [Sun, 18 Apr 2004 11:50:48 +0000 (11:50 +0000)]
(M-00316): Moved into U-
00020158; use `<-vulgar*sources' instead of
char-ref in `<-vulgar'.
(U-
00020158): Use `->subsumptive'.
(M-00317): Moved into U-
00020159; use `<-vulgar*sources' instead of
char-ref in `<-vulgar'.
(U-
00020159): Use `->subsumptive'.
tomo [Sun, 18 Apr 2004 09:01:36 +0000 (09:01 +0000)]
(G0-3373): Add `<-vulgar*sources'.
tomo [Sun, 18 Apr 2004 05:24:40 +0000 (05:24 +0000)]
Reformatted.
tomo [Sun, 18 Apr 2004 05:07:52 +0000 (05:07 +0000)]
Reformatted.
tomo [Fri, 16 Apr 2004 18:53:02 +0000 (18:53 +0000)]
Rename `<-vulgar-ideograph' to `<-vulgar'.
tomo [Fri, 16 Apr 2004 14:35:34 +0000 (14:35 +0000)]
update.
tomo [Fri, 16 Apr 2004 14:17:44 +0000 (14:17 +0000)]
(J0-3D39): Moved into U+919C.
(U+919C): Use `->subsumptive'.
tomo [Fri, 16 Apr 2004 14:08:27 +0000 (14:08 +0000)]
Add some `<-simplified@CN' features.
(U+4E07): Use `<-simplified' instead of `<-simplified@JP/Jouyou' for
U+842C; put `<-simplified*sources' to add JP/Jouyou and CN.
(U+4E3D): Copied from Ideograph-R003-Dot.el.
(C3-2740): Add `<-denotational' for U+4E3D.
tomo [Fri, 16 Apr 2004 07:56:40 +0000 (07:56 +0000)]
update.
tomo [Fri, 16 Apr 2004 07:22:10 +0000 (07:22 +0000)]
(U+696D): Use `->subsumptive'.
(C1-6446): Moved into U+696D.
tomo [Fri, 16 Apr 2004 05:15:52 +0000 (05:15 +0000)]
update.
tomo [Fri, 16 Apr 2004 04:44:54 +0000 (04:44 +0000)]
update.
tomo [Fri, 16 Apr 2004 04:40:19 +0000 (04:40 +0000)]
(JC3-68AC): Map to U+9115 instead of U+90F7.
tomo [Fri, 16 Apr 2004 04:39:02 +0000 (04:39 +0000)]
(char-daikanwa): Return value of `=>daikanwa' with subcode 0.
tomo [Fri, 16 Apr 2004 04:36:39 +0000 (04:36 +0000)]
(U+5C08): Use `->subsumptive'.
(JC3-4ACE): Moved into U+5C08.
(U+5C02): Use `=>daikanwa' instead of `morohashi-daikanwa' for
M-07439.
tomo [Fri, 16 Apr 2004 04:34:11 +0000 (04:34 +0000)]
(U+5145): Omit `=>daikanwa'.
tomo [Thu, 15 Apr 2004 13:41:58 +0000 (13:41 +0000)]
update.
tomo [Thu, 15 Apr 2004 13:25:18 +0000 (13:25 +0000)]
(K0-4A72): Moved into U+6562.
(J83-343A): Likewise.
(U+6562): Use `->subsumptive'.
tomo [Thu, 15 Apr 2004 13:18:01 +0000 (13:18 +0000)]
(J0-536E): Moved into U+56B4.
(U+56B4): Use `->subsumptive'.
tomo [Thu, 15 Apr 2004 12:54:15 +0000 (12:54 +0000)]
update.
tomo [Thu, 15 Apr 2004 12:31:06 +0000 (12:31 +0000)]
(U+9115): Use `->subsumptive'; moved into intersection between U+9115
and U+9109.
(U+9109): Likewise.
tomo [Thu, 15 Apr 2004 12:25:49 +0000 (12:25 +0000)]
(J0-652F): Moved into U+7D72.
(U+7D72): Use `->subsumptive'.
tomo [Thu, 15 Apr 2004 12:20:08 +0000 (12:20 +0000)]
(J0-5140): Moved into U+5169.
(U+5169): Use `->subsumptive'.
tomo [Thu, 15 Apr 2004 10:22:06 +0000 (10:22 +0000)]
(U+8207): Use `->subsumptive'.
(C1-6A58): Moved into U+8207.
(U+8209): Use `->subsumptive'.
(B-C17C): Moved into U+8209.
tomo [Thu, 15 Apr 2004 10:11:59 +0000 (10:11 +0000)]
Reformatted.
tomo [Thu, 15 Apr 2004 05:10:53 +0000 (05:10 +0000)]
Add some `<-simplified@CN' features.
(C3-2740): Add `<-denotational' for U+4E3D.
(GT-K04581): Likewise; add `<-ideographic-component-forms' for
C3-2740.
(G0-4076): Separate U+4E3D; add `<-denotational' for U+4E3D.
(U-
0002592C): Use `->subsumptive'.
tomo [Tue, 13 Apr 2004 16:35:11 +0000 (16:35 +0000)]
update.
tomo [Tue, 13 Apr 2004 15:42:55 +0000 (15:42 +0000)]
(J83-4E6F): Moved into U+9E97.
(U+9E97): Use `->subsumptive'.
tomo [Tue, 13 Apr 2004 15:29:00 +0000 (15:29 +0000)]
(J0-4151): Moved into U+53E2.
(U+53E2): Use `->subsumptive'.
tomo [Tue, 13 Apr 2004 09:21:20 +0000 (09:21 +0000)]
update.
tomo [Tue, 13 Apr 2004 09:00:00 +0000 (09:00 +0000)]
(C1-655C): Moved into U+842C.
(U+842C): Use `->subsumptive'.
tomo [Tue, 13 Apr 2004 08:56:44 +0000 (08:56 +0000)]
(M-28672): Add `<-denotational' for U+7FD2; use `->subsumptive'.
(K0-6327): Likewise.
(U+7FD2): Separate all CCS-features.
(J0-3D2C): Add `<-denotational' for U+7FD2; use `->subsumptive'.
(G1-4F30): Separate U+7FD2; add `<-denotational' for U+7FD2; use
`->subsumptive'.
tomo [Tue, 13 Apr 2004 08:52:06 +0000 (08:52 +0000)]
(J0-602A): Moved into U+7232.
(U+7232): Use `->subsumptive'.
tomo [Tue, 13 Apr 2004 08:49:15 +0000 (08:49 +0000)]
Add some `<-simplified@CN' features.
tomo [Tue, 13 Apr 2004 07:19:40 +0000 (07:19 +0000)]
update.
tomo [Tue, 13 Apr 2004 06:59:00 +0000 (06:59 +0000)]
(char-daikanwa): Prefer children to parents.
tomo [Tue, 13 Apr 2004 05:09:36 +0000 (05:09 +0000)]
update.
tomo [Tue, 13 Apr 2004 04:20:42 +0000 (04:20 +0000)]
(put_char_ccs_code_point): Store characters of =ucs whose code_points
>= 0xF0000.
tomo [Tue, 13 Apr 2004 03:44:45 +0000 (03:44 +0000)]
update.
tomo [Tue, 13 Apr 2004 03:39:51 +0000 (03:39 +0000)]
(decode_add_er_char): Must to quote prefix string as regexp.
tomo [Mon, 12 Apr 2004 08:35:08 +0000 (08:35 +0000)]
update.
tomo [Mon, 12 Apr 2004 07:51:45 +0000 (07:51 +0000)]
update.
tomo [Mon, 12 Apr 2004 07:48:57 +0000 (07:48 +0000)]
(char-attribute-name<): Modify for =jis-x0208.
tomo [Mon, 12 Apr 2004 07:38:36 +0000 (07:38 +0000)]
(U+96F2): Use `->subsumptive'.
(C1-6278): Moved into U+96F2.
tomo [Mon, 12 Apr 2004 07:37:20 +0000 (07:37 +0000)]
(M-41233): Moved into U+958B.
(U+958B): Use `->subsumptive'.
tomo [Mon, 12 Apr 2004 07:35:21 +0000 (07:35 +0000)]
(J0-6027): Moved into U+722D.
(U+722D): Use `->subsumptive'.
tomo [Mon, 12 Apr 2004 07:34:00 +0000 (07:34 +0000)]
(M-05860): Moved into U+4E54.
(U+4E54): Use `->subsumptive'; add `<-simplified@CN' into G0-4747 for
U+55AC.
tomo [Mon, 12 Apr 2004 07:18:14 +0000 (07:18 +0000)]
Add some `<-simplified@CN' features.
(GT-00160): Moved into U+4E49.
(U+4E49): Use `->subsumptive'.
(U+4E54): Use `ideographic-{radical|strokes}@{ucs|cns}' and
`ideographic-radical@cns*sources' instead of `ideographic-'; use
`->subsumptive'.