RE: unreification (long)

> Let's take the following example :
> my model contains the 3 followin triples
> 
> 	S1: [A, subClassOf, B]
> 	S2: [B, subClassOf, C]
> 	S3: [A, subClassOf, C]
> 
> and now I try to retract S3.
> They are all in the model, so I should have the right to do 
> that, shouldn't I ?

Yes of course, but what does this tell me about what to do operationally
with reified statements? 


-Bill de hÓra