The property that determines t ...... s in a owl:AllDifferent axiom.