sub:assertion {
  npx:declaredBy rdfs:label "is declared by" .
  npx:hasAlgorithm rdfs:label "has algorithm" .
  npx:hasKeyLocation rdfs:label "has key location" .
  npx:hasPublicKey rdfs:label "has public key" .
  foaf:name rdfs:label "has the name" .
  sub:assertion a nt:AssertionTemplate ;
    rdfs:label "Introducing a user (TEST)" ;
    nt:hasNanopubLabelPattern "User: ${name}" ;
    nt:hasStatement sub:st1 , sub:st2 , sub:st2a , sub:st2b , sub:st2c , sub:st3 ;
    nt:hasTargetNanopubType npx:declaredBy .
  sub:key-declaration a nt:LocalResource , nt:UriPlaceholder ;
    rdfs:label "short id of key declaration" .
  sub:key-declaration-ref a nt:RestrictedChoicePlaceholder ;
    nt:possibleValue sub:key-declaration .
  sub:key-location a nt:UriPlaceholder ;
    rdfs:label "URL where the private key is stored" .
  sub:name a nt:LiteralPlaceholder ;
    rdfs:label "name of the user" .
  sub:public-key a nt:LongLiteralPlaceholder ;
    rdfs:label "public key" .
  sub:st1 rdf:object sub:name ;
    rdf:predicate foaf:name ;
    rdf:subject sub:user .
  sub:st2 a nt:GroupedStatement , nt:RepeatableStatement ;
    nt:hasStatement sub:st2a , sub:st2b , sub:st2c .
  sub:st2a rdf:object sub:user ;
    rdf:predicate npx:declaredBy ;
    rdf:subject sub:key-declaration .
  sub:st2b rdf:object "RSA" ;
    rdf:predicate npx:hasAlgorithm ;
    rdf:subject sub:key-declaration .
  sub:st2c rdf:object sub:public-key ;
    rdf:predicate npx:hasPublicKey ;
    rdf:subject sub:key-declaration .
  sub:st3 rdf:object sub:key-location ;
    rdf:predicate npx:hasKeyLocation ;
    rdf:subject sub:key-declaration-ref ;
    a nt:OptionalStatement , nt:RepeatableStatement .
  sub:user a nt:AgentPlaceholder , nt:IntroducedResource ;
    rdfs:label "identifier of the user to be introduced" .
}