Here, φ agree is a feature of agreement constraint, which assigns each alignment direction to a sign (i.e., +1 or -1).
φ agree is defined as follows: where − → Z and ← − Z are sets of possible alignments generated by source-to-target and target-to-source alignment models, respectively.