The latent variable F captures the global constraints as stated in Property 3 and 4.
f should identify a reasonable number of cognate pairs between the two languages, while meeting the requirement that word-level alignments are one-to-one.