That two Boolean variables Z 1 and Z 2 are mutually exclusive can be handled using a simple inequality Z 1 + Z 2 ≤ 1.
the following inequality correctly enforces article-noun agreement: where the article at p 1 modies the noun at p 2 .