class adv_coord
{
    <: simple_coord;
    node(Root).cat = value(adv);
    node(Root).bot = node(Foot).top;
}