2.6.11. Implies (if swap arguments)

Given two constraints C 𝑒𝑛𝑡𝑟𝑦 and C 𝑎𝑙𝑠𝑜 that both have two arguments, if constraint C 𝑒𝑛𝑡𝑟𝑦 (𝚊𝚛𝚐 1 ,𝚊𝚛𝚐 2 ) holds then constraint C 𝑎𝑙𝑠𝑜 (𝚊𝚛𝚐 2 ,𝚊𝚛𝚐 1 ) also holds.

EXAMPLE: As an example, we can go from constraint C 𝑒𝑛𝑡𝑟𝑦 = 𝚕𝚎𝚡_𝚕𝚎𝚜𝚜𝚎𝚚 to constraint 𝚕𝚎𝚡_𝚐𝚛𝚎𝚊𝚝𝚎𝚛𝚎𝚚 if we swap the two arguments of constraint 𝚕𝚎𝚡_𝚕𝚎𝚜𝚜𝚎𝚚.