MissingOwl1FullAllDifferentSemanticCondition

OWL 1 Full has the following error: It misses a "main" semantic condition for the term owl:AllDifferent (there is only a comprehension condition for this term). The "main" semantic condition should be of the form:

 IF
   s is a sequence of y1 ,..., yn over IR,
   x ∈ ICEXT(I(owl:AllDifferent)),
   ( x , s ) ∈ IEXT(I(owl:distinctMembers))
 THEN
   yi ≠ yk for 1 ≤ i ≠ k ≤ n