RE: ISSUE 15.24 if or iff - current state - propose to close

Mike Smith said:
>Under the IFF interpretation, the following holds

> P rdfs:range A
> P rdfs:range B
> ->
> A = B

No, that's not it - and probably explains why you're seeing it differently.

The iff is not saying that

<
if

P rdfs:range A

then that
[
x P y   

iff y in A
]
>

but

<
P rdfs:range A
if and only if
[
if
x P Y
then
y in A
]
>

So for instance, for any empty property P and any class A we have
[
if
x P y
then
y in A
]
trivially
and so P rdfs:range A.

Jeremy