@prefix this: . @prefix sub: . @prefix np: . @prefix rdf: . @prefix npx: . @prefix pplan: . @prefix xsd: . @prefix rdfs: . @prefix prov: . sub:Head { this: np:hasAssertion sub:assertion; np:hasProvenance sub:provenance; np:hasPublicationInfo sub:pubInfo; a np:Nanopublication . } sub:assertion { sub:a pplan:correspondsToVariable ; a pplan:Entity; rdf:value "1"^^xsd:integer; rdfs:label "a" . sub:b pplan:correspondsToVariable ; a pplan:Entity; rdf:value "4"^^xsd:integer; rdfs:label "b" . sub:fairstepprov pplan:correspondsToStep ; a pplan:Activity; prov:endedAtTime "2021-03-16T13:08:38.118755"^^xsd:dateTime; prov:startedAtTime "2021-03-16T13:08:38.118748"^^xsd:dateTime; prov:used sub:a, sub:b, sub:out1 . sub:out1 pplan:correspondsToVariable ; a pplan:Entity; rdf:value "-3"^^xsd:integer; rdfs:label "out1" . } sub:provenance { sub:assertion prov:generatedAtTime "2021-03-16T13:10:53.039705"^^xsd:dateTime . } sub:pubInfo { sub:sig npx:hasAlgorithm "RSA"; npx:hasPublicKey "MIGfMA0GCSqGSIb3DQEBAQUAA4GNADCBiQKBgQCoZmUKAHAF0CY2sKahOanR1V8wP62NOw3G0wcVLULWxqXB/gcW25bGPcA5RKoiuhT6dUbfcRXmwLknE29h6KWfKYLtNaqdrHbjSnNC65dNmNxCNp0i6ZLZRh51mxw9IPJHZrDqQ9bcLwm9d1G1fDKasA+h1vrF3Hv1YrQsF9aW1QIDAQAB"; npx:hasSignature "p9x2PiTIXqicqNbxFy4UPju0QDRXPgLM6ZIc/bsYgE1MV2K3eENLZ+w+oegviLIeoW33Tc3RnDozvDy9hOpLDcVi7+511KFn/pa4pNeYPJbs56H4fe2M8p3zOV5VCfQLpAqCEaGMXzraV/nwj2PtxNl115BdG7GL2d6OFPz40Ik="; npx:hasSignatureTarget this: . this: npx:introduces sub:fairstepprov; prov:generatedAtTime "2021-03-16T13:10:53.039705"^^xsd:dateTime; prov:wasAttributedTo . }