class participiale_on_S
{
    <: _participiale_on_S;
    node(Root).cat = value(S);
%%    node(Root).bot.sat = value(-);
    node(Root).bot.extraction = value(~rel);
}