@prefix this: <https://w3id.org/np/RAga4yATwDsRgooCNYzlkzuXzB0TVhbQcLGED5chc5PL8> .
@prefix sub: <https://w3id.org/np/RAga4yATwDsRgooCNYzlkzuXzB0TVhbQcLGED5chc5PL8/> .
@prefix schema: <https://schema.org/> .
@prefix np: <http://www.nanopub.org/nschema#> .
@prefix dct: <http://purl.org/dc/terms/> .
@prefix nt: <https://w3id.org/np/o/ntemplate/> .
@prefix npx: <http://purl.org/nanopub/x/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix orcid: <https://orcid.org/> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix wd: <http://www.wikidata.org/entity/> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .

sub:Head {
  this: a np:Nanopublication;
    np:hasAssertion sub:assertion;
    np:hasProvenance sub:provenance;
    np:hasPublicationInfo sub:pubinfo .
}

sub:assertion {
  orcid:0000-0002-1267-0234 wd:P1344 sub:attempto .
  
  sub:attempto a schema:ResearchProject;
    dct:description "Research on Attempto Controlled English (ACE), a subset of English with a restricted syntax and semantics that reads as ordinary English but is a formal language, translatable into first-order logic.";
    rdfs:label "Attempto";
    rdfs:seeAlso <http://attempto.ifi.uzh.ch/>;
    schema:startDate "1995"^^xsd:gYear .
}

sub:provenance {
  sub:assertion prov:wasAttributedTo orcid:0000-0002-1267-0234 .
}

sub:pubinfo {
  orcid:0000-0002-1267-0234 foaf:name "Tobias Kuhn" .
  
  this: dct:created "2026-08-31T10:05:00Z"^^xsd:dateTime;
    dct:creator orcid:0000-0002-1267-0234;
    dct:license <https://creativecommons.org/licenses/by/4.0/>;
    npx:introduces sub:attempto;
    rdfs:label "Tobias Kuhn took part in Attempto";
    nt:wasCreatedFromProvenanceTemplate <https://w3id.org/np/RA7lSq6MuK_TIC6JMSHvLtee3lpLoZDOqLJCLXevnrPoU>;
    nt:wasCreatedFromPubinfoTemplate <https://w3id.org/np/RACJ58Gvyn91LqCKIO9zu1eijDQIeEff28iyDrJgjSJF8>,
      <https://w3id.org/np/RAoTD7udB2KtUuOuAe74tJi1t3VzK0DyWS7rYVAq1GRvw>, <https://w3id.org/np/RAukAcWHRDlkqxk7H2XNSegc1WnHI569INvNr-xdptDGI>;
    nt:wasCreatedFromTemplate <https://w3id.org/np/RAs2zzGL_W_UuVkbclSOCNIeC-AUbCdNuu3_gPT5LSToA/template> .
  
  sub:sig npx:hasAlgorithm "RSA";
    npx:hasPublicKey "MIGfMA0GCSqGSIb3DQEBAQUAA4GNADCBiQKBgQCwUtewGCpT5vIfXYE1bmf/Uqu1ojqnWdYxv+ySO80ul8Gu7m8KoyPAwuvaPj0lvPtHrg000qMmkxzKhYknEjq8v7EerxZNYp5B3/3+5ZpuWOYAs78UnQVjbHSmDdmryr4D4VvvNIiUmd0yxci47dTFUj4DvfHnGd6hVe5+goqdcwIDAQAB";
    npx:hasSignature "BFLZQ+rrVUrFHdIHHjlOQY6S72FFKot3SH+roffqHmdUSy2p6UpTjuj5wUT3O4r//XEiw/zv1QcWH6dnwFF8b+5n2FLx0Dnbddc9/iH8lOWc/vm2NEv66FsrgV6olP1V1aq4P4ZcYOWlt/zSkWIK5EfAiu8MJYnhkcHiFpTT6cs=";
    npx:hasSignatureTarget this:;
    npx:signedBy orcid:0000-0002-1267-0234 .
}