(M-04827): Map to U-
00021210 and H2-E746.
(U-
00021217): Use `->denotational'.
(M-04828): Map to U-
00021213 and H2-E74E.
(M-04829): Unify U-
00021212 and H2-E749.
(U-
00021215): Use `->subsumptive' and `->subsumptive'.
(U+5716): Use `->denotational' and `->subsumptive'.
(C6-5B5B): Unify U-
0002F84B.
(U+5717): Use `->subsumptive'.
(U-
00021411): Use `->subsumptive'.
(M-04840): Map to U-
00021220 and H2-E7A9.
(M-04841): Unify U-
0002121E and H2-E766.
(C6-5B59): Map to U-
0002F84D.
(U-
00021217): Use `->denotational'.