hmonk
COMEFROM

rm xml.adv
/bin/umodem xml.adv STOP

SNF A => U A;
SNF B => U B;


SNF(Seq  x y) => Seq (SNF x) y;


Seq (U x) y => Seq x (SNF y);


Seq (Seq x y) (U z) => Seq x (SNF (Seq y z));{x n'est pas un Seq!!}


SNF (Tag x y ) => Tag x (SNF y);

Tag x (U (Tag x y)) => U (Tag x y); {y n'est pas un Tag x z}

Seq (Tag x y) (U (Tag x z)) => Tag x (SNF (Seq y z));

Tag Emph (U (Tag Bold y)) => (Tag Bold (SNF(Tag Emph y)));
Tag Maj (U (Tag Bold y)) =>(Tag Bold (SNF(Tag Maj y)));
Tag Maj (U  (Tag Emph y)) => (Tag Emph (SNF(Tag Maj y)));

Tag x (U z) => U (Tag x z);

Seq x (U y) => U (Seq x y);
U x => x;

.

STOP

advise xml xml.adv