class ou_non_on_S 
{
    <: ou_non;
    node(Root).bot = node(Foot).top;
    node(Root).cat = value(S);
}