Given query q, for any alignment A , where q At is the concatenation of q a 0 to q at and c At is the concatenation of c a 0 to c at .
the value of the feature (which is computed in an accumulative manner) cannot increase as the candidate is extended with a new term at any search step.