Re: type/token and corresponding annotations

Another example. I just want to understand if the following, involving annotations for both triples and occurrences, is a valid graph in RDF-star:

<< :Cleveland :servedAs :POTUS >> :inCentury "19th" .
<< :TheodoreRoosevelt :servedAs :POTUS >> :laterThan << :Cleveland :servedAs :POTUS >> .

:ClevelandTerm1 :occurrenceOf << :Cleveland :servedAs :POTUS >>  ;
        :startYear 1885 ;
        :endYear 1889 .

:ClevelandTerm2 :occurrenceOf << :Cleveland :servedAs :POTUS >>  ;
        :startYear 1893 ;
        :endYear 1897 .

<< :Harrison :servedAs :POTUS >>
        :after :ClevelandTerm1 ;
        :before :ClevelandTerm2 .

Thanks,
Souri.
________________________________
From: Souripriya Das
Sent: Monday, December 18, 2023 2:34 PM
To: RDF-star WG <public-rdf-star-wg@w3.org>
Subject: type/token and corresponding annotations

I am trying to understand the requirements involving "type", "token", and related sets of annotations.

Can an RDF graph contain the following (using RDF-star CG Report syntax) triples? (It shows annotations for the "type" :s :p :o,  and also for the two corresponding tokens identified using _:a and _:b.)

<< :s :p :o >> :accordingTo :john . # type, annotations

_:a :occurrenceOf << :s :p :o >> ;  # token 1, annotations
    :in <file1.ttl> ;
    dct:creator :alice.

_:b :occurrenceOf << :s :p :o >> ; # token 2, annotations
    :in <file2.ttl> ;
    dct:creator :bob.

Thanks,
Souri.