(U+8DB3): Add S1-7971.

(U+8DB3): Add S1-7971.
(J78-4437): Add `<-formed' for K0-5431.
(M-37565): Add `<-formed' for JSP-613E and M-38879; add `<-same@p1'
for JSP-613E; add `<-same@p2' for M-38879.
(U+8E1B): Use `->denotational' and `->subsumptive'.
(U+8E1C): Likewise.
(M-37638): Unify C7-2944; unify U-0002F9DC; add `<-formed' for
JSP-6155; add `<-same@p1+p2' for JSP-6155.
(U+4809): Use `->subsumptive'.
(U+8E1D): Add S1-8017.
(U+8E1E): Add S1-8019.
(U+480A): Use `->denotational' and `->subsumptive'.
(U-00028082): Use `->subsumptive'.
(U+8E1F): Add S1-8024.
(U+8E20): Use `->subsumptive'.
(U+8E21): Use `->denotational'.
(U+8E22): Add `<-formed' for K0-7277; add `<-same' for K0-7277.
(U+8E23): Use `->subsumptive'.
(U+8E24): Likewise.
(U-00028083): Use `->denotational'.
(U-00028084): Likewise.
(U+8E25): Use `->subsumptive'.