Re: Semantics Spanner

Jeremy Carroll wrote:

> Here's the problem text:
> 
> [[
> A D-interpretation which also satisfies the following condition is 
> called an interpretation which is datatyped with respect to D:
> 
> if I(aaa) is in ICEXT(I(rdfs:Datatype)) then <aaa, I(aaa)> is in D
> 
> This condition recognizes membership in the class rdfs:Datatype as a 
> sufficient condition for being a datatype, 



Suggest:

s/sufficient/necessary/ and consequential changes

would do.

Jeremy