truth of statement

What is the current status of the truth of statement ? I was wondering 
if this will shortly be considered obsolete ?

I read there was lots of code that just didn't support this facility. 
This seems to be obsolete by way of facts !

I'm not using it, but I saw it is heavily used in template code...

This was a log of one of my object that verified the nsIRDFDatasource 
interface, and that was used by a template element in my XUL code :

<nsIRDFInference> : HasAssertion called
args = ?array? size = 4 (dump following)
args[0] = [Resource] = http://www.musicalta.com/rdf/anon25
args[1] = [Resource] = http://www.w3.org/1999/02/22-rdf-syntax-ns#type
args[2] = [XPCOM Object] [xpconnect wrapped nsIRDFNode]
args[3] = [boolean]: 'false'
<nsIRDFInference> : HasAssertion called
args = ?array? size = 4 (dump following)
args[0] = [Resource] = http://www.musicalta.com/rdf/anon25
args[1] = [Resource] = http://www.w3.org/1999/02/22-rdf-syntax-ns#type
args[2] = [XPCOM Object] [xpconnect wrapped nsIRDFNode]
args[3] = [boolean]: 'true'

This is repeated for each element that is displayed in my tree. So 
there's somewhere, a call to HasAssertion(a,b,c,false) followed by a 
call of HasAssertion(a,b,c,true).

Is this normal ? Couldn't we optimize template builder code by really 
removing truth of statement ? This would imply to redefine the nsIRDF* 
interfaces.

In RDF theory, the truth of statement could be added by reification, to 
keep the triple structure:

[reificated statement A] -> verified -> true

or

[reificated statement A] -> verified -> false

This seems a lot more coherent than adding a fourth element to triples.

Valentin