{
  "tag-language": "english",
  "system": "/us/cayuga/system/2018",
  "context": "system",
  "topics": [
    "category category"
  ],
  "document": "reports",
  "location": "earth",
  "time": "2018",
  "reports": "agent Patrick do report events at time now at location here",
  "events": "agent Patrick do cause occurrences at time now at location here",
  "occurrences": "relationships do occur at time always at location universe",
  "relationships": [
    {
      "subject": "category category",
      "predicates": {
        "type type-of-category": "referential",
        "mandatory predicates": [
          "thing#be#instance#of#category thing"
        ],
        "definitive relations": [
          "category#have#type#type",
          "category#have#definitive-relation",
          "category#have#instance#thing"
        ]
      }
    },
    {
      "subject": "category descriptive-category",
      "predicates": {
        "type type-of-category": "referential",
        "mandatory predicates": [
          "thing#be#instance#of#category category",
          "category#have#type#type descriptive"
        ],
        "definitive relations": [
          "descriptive-category#have#differentiator#relation"
        ]
      }
    },
    {
      "subject": "category referential-category",
      "predicates": {
        "type type-of-category": "referential",
        "mandatory predicates": [
          "thing#be#category#category",
          "category#have#type#type#referential"
        ],
        "definitive relations": [
        ]
      }
    },
    {
      "subject": "category inclusion-category",
      "predicates": {
        "type type-of-category": "descriptive",
        "mandatory predicates": [
          "thing#be#category#category category",
          "category#have#type#type# inclusion"
        ],
        "definitive relations": [
          "inclusion#category#have#included#categories"
        ],
        "differentiator relations": [
          "inclusion#category#have#included#categories"
        ]
      }
    },
    {
      "subject": "category exclusion-category",
      "predicates": {
        "type type": "descriptive",
        "mandatory predicates": [
          "thing#be#category#category category",
          "category#have#type#type exclusion"
        ],
        "definitive relations": [
          "exclusion#category#have#domain#category",
          "exclusion#category#have#excluded#category"
        ],
        "differentiator relations": [
          "exclusion#category#have#excluded#categories"
        ]
      }
    },
    {
      "subject": "category restrictive-category",
      "predicates": {
        "type type-of-category": "descriptive",
        "mandatory predicates": [
          "thing#be#category#category category",
          "category#have#type#type restrictive"
        ],
        "definitive relations": [
          "restrictive#category#have#mandatory#category"
        ]
      }
    },
    {
      "subject": "category relation",
      "properties":  {
        "type type-of-category":  "referential",
        "mandatory properties":  [
          "thing#be#instance#of#category#thing"
        ],
        "definitive relations": [
          "relation#have#inverse#relation",
          "relation#have#domain#category",
          "relation#have#image#category",
          "relation#have#singularity#singularity-of-relation",
          "relation#have#completeness#completeness-of-relation",
          "relation#have#co-domain#category",
          "relation#have#co-image#category",
          "relation#have#co-singularity#singularity-of-relation",
          "relation#have#co-completeness#completeness-of-relation",
          "relation#have#mutability#mutability-of-relation"
        ]
      }
    },
    {
      "subject": "category type-of-category",
      "predicates": {
        "type type-of-category": "referential",
        "mandatory predicates": [
          "thing#be#instance#of#category"
        ]
      }
    },
    {
      "subject": "category singularity-of-relation",
      "predicates": {
        "type type-of-category": "referential"
      }
    },
    {
      "subject": "category completeness-of-relation",
      "predicates": {
        "type type-of-category": "referential"
      }
    },
    {
      "subject": "category mutability-of-relation",
      "predicates": {
        "type type-of-category": "referential"
      }
    }
  ]
}