hmonk
COMEFROM
/bin/umodem xml.adv STOP
N (Seq x y) => NSeq1 (N x) y;
NSeq1 (NF x) y => NSeq2 x (N y);

N (Tag q x) => NTag1 q (N x);
NTag1 q (NF x) => NTag q x;

NSeq2 (Seq x y) (NF z) => N (Seq x (Seq y z));
NSeq2 (Tag q x) (NF (Tag q y)) => NTag1 q (NSeq2 x (NF y));
{ NSeq2 (Tag q x) (NF (Tag q y)) => N (Tag q (Seq x y)); }
NSeq2 x (NF y) => NF (Seq x y);

NTag q (Tag q x) => NTag q x;
NTag q (Tag Bold x) => NTag1 Bold (NTag q x);
NTag Maj (Tag q x) => NTag1 q (NTag Maj x);
NTag q x => NF (Tag q x);

SNF d => N d;
NF x => x;
N x => NF x;
.
STOP
./advise xml xml.adv