class cleft_verb 
{
    <: _verb_or_aux;
    node v : [cat:aux, adj: no, bot: [form_aux: être,
                                      diathesis: active,
                                      mode: ~imperative|gerundive|infinitive
                                      ]];
    node S:[cat:S];
    S >> V;
    - V::vagreement; V=V::V;
    - verbalCategorization;
    - deep_auxiliary;
    desc.extraction = node(S).top.extraction;
    node(S).bot.extraction = value(-|adjx|cleft|estceaux);
    node(S).top = node(S).bot;
    desc.ht.refl = value(-);
    Root = S;
    node(VMod).adj = value(no);
    desc.ht = value([arg0: [pcas: -,kind: subj,extracted: -,real:cln],
                     arg1: @emptyarg_fs,
                     arg2: @emptyarg_fs]);    
    SCleft = Foot;
    node(SCleft).top.extraction = value(cleft|wh|adjx);
    node(SCleft).top.inv = value(~cl);
    % maybe other mode to deactivate
    node(SCleft).top.mode = value(~infinitive|imperative|gerundive|participle);
    node(SCleft).top.sat = node(S).bot.sat;
    node csu: [cat: que, adj: no, type: coanchor ];
    V >> csu;
    V >> SCleft;
    postsubj < csu;
    csu < SCleft;
    csu =>
        node(SCleft).top.extraction = value(adjx),
        node(SCleft).top.inv = value(-|+);
    ~csu =>
        node(SCleft).top.extraction = value(cleft|wh)
        ;
    node(Infl).bot.inv = value(-|cl);
    node(Infl).top.person = value(3);
    node(Infl).top.gender = value(-);
    node(Infl).top.mode = value(~participle|gerundive|infinitive|imperative);
    %% no ncpred with cleft_verb
    %% force failure of unification !
    ncpred::VModArg =>
        value(1) = value(2)
        ;
    desc.dummy.impsubj = value(-);
    desc.ht.imp = value(-);
    %% the following restriction would be nice: but pb with c'
    %% node(arg0::cl::Subject).lex = value(ce|"c'");
}