{
  "Name": "equivalence_classes_overlap_implies_same_class",
  "Title": "If two equivalence classes share an element, they are the same class.",
  "SourceFile": "examples/n3/equivalence_classes_overlap_implies_same_class.n3",
  "SourceSHA256": "b36ed917f7af601a38f6a1657ce4956a4e38484573c40d0a963e3008cbb46f5f",
  "Description": "",
  "Compiler": "see.js N3-to-JS compiler",
  "CompiledFacts": 5,
  "CompiledRules": 7,
  "CompiledBackwardRules": 0,
  "CompiledFuses": 0,
  "CompiledQueries": 1,
  "Builtins": [
    "log:notEqualTo"
  ]
}