By eliminating a negative term from the scoring function, it follows that sim(σ 0 ) > sim(σ).
an alignment σ satisfying σ(i 0 ) = j 0 cannot be optimal and conversely the optimal alignment σ * can never link two arguments with each other if the sum of their weighted syntactic and semantic similarity scores is below B.