sub:assertion {
  npx:declaredBy rdfs:label "is declared by" .
  npx:hasAlgorithm rdfs:label "has algorithm" .
  npx:hasPublicKey rdfs:label "has public key" .
  sub:assertion a nt:AssertionTemplate ;
    rdfs:label "Introducing a user" ;
    nt:hasStatement sub:st1 , sub:st2 ;
    nt:hasTag "Meta" .
  sub:key-declaration a nt:LocalResource , nt:UriPlaceholder ;
    rdfs:label "short id of key declaration" .
  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:user a nt:UriPlaceholder ;
    rdfs:label "ORCID identifier of the user to be introduced" ;
    nt:hasPrefix "https://orcid.org/" ;
    nt:hasPrefixLabel "user with ORCID" ;
    nt:hasRegex "[0-9]{4}-[0-9]{4}-[0-9]{4}-[0-9]{3}[0-9X]" .
  foaf:name rdfs:label "has the name" .
}