[graph1_on_ontology
     [any ontology (^$(no inheritance)$^),
          may have for member: several category_identifier,
          may have for member: several category_definition,
          result of: a creation,
          may have for creator: a person,
          may have for url: a URL]
];