class ou_non_on_aux
{
    <: ou_non;
    node(Root).bot = node(Foot).top;
    node(Root).cat = value(aux);
    node(Incise).post.adj = value(strict);
}