2.5.9. Implied by

If constraint C 𝑎𝑙𝑠𝑜 holds and if all restrictions of constraint C 𝑒𝑛𝑡𝑟𝑦 hold then constraint C 𝑒𝑛𝑡𝑟𝑦 also holds. Note that we try to restrict ourselves to the transitive reduction of the implication graph between constraints.

EXAMPLE: As an example, constraint C 𝑒𝑛𝑡𝑟𝑦 = 𝚖𝚒𝚗𝚒𝚖𝚞𝚖 is implied by constraint C 𝑎𝑙𝑠𝑜 = 𝚊𝚗𝚍.