[graph1_on_report
     [any report (^$(no inheritance)$^),
          may have for Coverage: a thing,
          may have for title: a string,
          object of: a publishing,
          result of: a writing,
          authoring_date: a time_measure,
          may have for author: several person,
          may have for Creator: a string,
          descr of: a situation,
          may have for Source: a document_element,
          may have for url: a URL]
];