Re: An update on [Proposal: described vs stated triple terms]

I am not sure what is this discussion about.
Let me clarify the following.
By following the semantics in [1], which extends the baseline with a rdf:states property, the following will hold.
Given then graph:

_:t1 rdfs:states  <<( :s :p :o )>> ;
     :a :b.
_:t2 rdfs:reifies <<( :x :y :z )>> ;
     :c :d.

the SPARQL query

SELECT ?s ?p ?o
WHERE { ?s ?p ?o }

returns


?s

?p

?o

_:t1

rdfs:states

<<( :s :p :o )>>

_:t1

:a

:b

:s

:p

:o

_:t2

rdfs:states

<<( :x :y :z )>>

_:t2

:c

:d

cheers
—e.

[1] https://github.com/w3c/rdf-star-wg/wiki/Extending-the-baseline-with-%22asserted%22-stuff