Unified proposal for embedded triples (as per today's meeting)

Semantic predication example:


<< :john :teaches :cs101 >> rdf:type :teaching ;

                            dct:Location dbr:Stanford_University ;

                            dct:PeriodOfTime :1st-term-2022 .

:john :teaches :cs101.


Syntactic predication example:


|<< :john :teaches :cs101 >>| rdf:type unstar:triple ;

                              :recorded "2021-07-07"^^xsd:date .


or


<< |:john| |:teaches| |:cs101| >> rdf:type unstar:triple ;

                                  :recorded "2021-07-07"^^xsd:date .


Modal/epistemic predication example:


<< :john :teaches :cs101 >> rdf:type unstar:statement;

                            :accordingTo :employee22 .