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.