- ((==gt-k . 00025) ; &g2-GT-K00025;
- (==gt-pj-k1 . #x3031) ; &g2-GT-K00025; [16-17]
- )
- ((==big5-cdp . #x8BA2) ; &g2-CDP-8BA2;
- )
- ((==ucs@unicode . #x31C7) ; &g2-UU+31C7;
+ ((=>>ucs@unicode . #x31C7) ; &G-CDP-8BA2;
+ (=>>big5-cdp . #x8BA2) ; &G-CDP-8BA2;
+ (=>>gt-k . 00025) ; &G-CDP-8BA2;
+ (->subsumptive
+ ((==gt-k . 00025) ; &g2-GT-K00025;
+ (==gt-pj-k1 . #x3031) ; &g2-GT-K00025; [16-17]
+ )
+ ((==big5-cdp . #x8BA2) ; &g2-CDP-8BA2;
+ )
+ ((==ucs@unicode . #x31C7) ; &g2-UU+31C7;
+ ))