<div dir="ltr"><div>For example</div><div>P(a, b): - A(a, c), B(b, c).</div><div><br></div><div>How can I ensure 'a' and 'b' are different?</div><div>Does this policy already imply that they are different?</div><div>Or I need to explicitly indicate that they are different? If so, then how can I do that?</div><div><br></div><div>Thanks, </div><div><br></div>-- <br><div class="gmail_signature"><div dir="ltr"><div>Su Zhang<br></div><div>Senior Software Engineer </div><div>Symantec Corporation</div><div><br></div></div></div>
</div>