A simple way to enforce this is to give clauses weight proportional to the level of embedding (see the second term in Equation 9).
in Figure 1, the term l N is 1.0 (4/4) for clause S 4 , 0.75 (3/4) for clause S 3 , and so on.