class _spunct_unsat
{
    <: _spunct;
    node(Foot).top.sat = value(-);
    node(Foot).top.control = value(~causative);
}