@prefix dc: <http://purl.org/dc/elements/1.1/> .
@prefix this: <http://www.example.org/pub1.RAxsdqz6QzfXf6LcvmRVbfvfALwu2zjkINUy-C7ZqAXQw> .
@prefix bpmn: <https://www.omg.org/spec/BPMN/> .
@prefix dul: <http://ontologydesignpatterns.org/wiki/Ontology:DOLCE+DnS_Ultralite/> .
@prefix np: <http://www.nanopub.org/nschema#> .
@prefix p-plan: <http://purl.org/net/p-plan#> .
@prefix plex: <https://plex.org/> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix npx: <http://purl.org/nanopub/x/> .

this:\#%23Head {
  this: a np:Nanopublication;
    np:hasAssertion this:\#%23assertion;
    np:hasProvenance this:\#%23provenance;
    np:hasPublicationInfo this:\#%23pubInfo .
}

this:\#%23assertion {
  plex:add dul:precedes plex:mult .
  
  plex:int1 a p-plan:Variable;
    p-plan:isOutputVarOf plex:add .
  
  plex:int2 a p-plan:Variable .
  
  plex:mult a p-plan:Step, bpmn:scriptTask;
    dc:description """@FairStep(fw)
def mult(int1, int2):
    \"\"\"
        Multiply two integers together (int1 and int2).
    \"\"\"
    result = int1 * int2
    return result
""";
    p-plan:hasInputVar plex:int1, plex:int2 .
}

this:\#%23provenance {
  this:\#%23assertion prov:generatedAtTime "2020-04-09T11:43:49.601182"^^xsd:date;
    prov:wasAttributedTo this:\#experimentScientist;
    prov:wasDerivedFrom this:\#experiment .
}

this:\#%23pubInfo {
  this:\#sig npx:hasAlgorithm "RSA";
    npx:hasPublicKey "MIGfMA0GCSqGSIb3DQEBAQUAA4GNADCBiQKBgQCoZmUKAHAF0CY2sKahOanR1V8wP62NOw3G0wcVLULWxqXB/gcW25bGPcA5RKoiuhT6dUbfcRXmwLknE29h6KWfKYLtNaqdrHbjSnNC65dNmNxCNp0i6ZLZRh51mxw9IPJHZrDqQ9bcLwm9d1G1fDKasA+h1vrF3Hv1YrQsF9aW1QIDAQAB";
    npx:hasSignature "FgiCT8/AQhSNt012npGtBK2Q0WtnxLLcMyw79YEe3Ch6HYCsmRzSyle22cQA9J+hrTHtUHSkr/v/wfqlOo0jpvAdp5MziIqiN/VFdrV/Krc8mZDWxCXvgsPu8i4TfmiXktzfGHxyjo9HHenzHb5QYq3CFUWx525PWUTpz1ecp6o=";
    npx:hasSignatureTarget this: .
  
  this: prov:generatedAtTime "2020-04-09T11:43:49.601182"^^xsd:date;
    prov:wasAttributedTo this:\#DrBob .
}