class special_cleft_extraction_post 
{
    %% example: c'est lui le chef
    %% example: c'est vendre pas cher son principal atout                                      
    <: _special_cleft_extraction;
    S >> N1;
    S >> N2;
    N2 < N1;
    %% N1 as infinitive is not possible
    node(S).bot.extraction = value(cleft);
    N1S +
        value(1) = value(2);
}