class empty_spunct 
{
    <: _spunct_unsat;
    node Punct : [cat:end, type:subst];
}