{
  "Name": "group_inverse_uniqueness",
  "Title": "In a group, the inverse of an element is unique.",
  "SourceFile": "examples/n3/group_inverse_uniqueness.n3",
  "SourceSHA256": "956bff60a7e087600d31b0fce180031de1e03f7a995b3f2949e531653b7b5dc3",
  "Description": "",
  "Compiler": "see.js N3-to-JS compiler",
  "CompiledFacts": 6,
  "CompiledRules": 6,
  "CompiledBackwardRules": 0,
  "CompiledFuses": 0,
  "CompiledQueries": 1,
  "Builtins": [
    "log:notEqualTo"
  ]
}