class N2_enum 
{
    <: simple_enum;
    node(Root).cat = value(N2);
    $type = value(subst);
%%    node(Foot).bot.sat = value(+);
%%    node(block1::Coord).bot.sat = value(+);
    node(block1::Coord).bot.sat = node(Foot).bot.sat;
%%    node(block2::Coord).bot.sat = value(+);
%%    node(block3::Coord).bot.sat = value(+);
    node(block3::Coord).bot.sat = node(Foot).bot.sat;
    node(block1::Coord).bot.time = node(Foot).bot.time;
%%    node(block2::Coord).bot.time = node(Foot).bot.time;
    node(block3::Coord).bot.time = node(Foot).bot.time;
    node(block1::Coord).bot.wh = node(Foot).bot.wh;
%%    node(block2::Coord).bot.wh = node(Foot).bot.wh;
    node(block3::Coord).bot.wh = node(Foot).bot.wh;
    node(Root).bot.sat = value(+);
    node(Root).bot.time = node(Foot).bot.time;
    node(Root).bot.hum = node(Foot).bot.hum;
    node(Root).bot.wh = node(Foot).bot.wh;
    node(Root).bot.semtype = node(Foot).bot.semtype;
    node(Root).bot.headcat = node(Foot).bot.headcat;
    Coord3 = block1::Coord;
    node(Foot).bot.number = node(Root).bot.number;
    <: N2_coord_agr;
}