{
  "paper": "artiushin-2026-spider-atlas",
  "claims": 17,
  "relations": 67,
  "by_type": {
    "dissociates-with": 23,
    "scopes": 15,
    "enables-method": 14,
    "supports": 5,
    "extends": 3,
    "requires": 2,
    "derived-from": 2,
    "interprets": 2,
    "confirms": 1
  },
  "mira": {
    "kept": 65,
    "lost": 0,
    "inverse_only": {
      "derived-from": 2
    },
    "unrepresentable": {},
    "inherits_core": 9,
    "neutral": 56,
    "edges": {
      "dissociates-with": 23,
      "scopes": 15,
      "enables-method": 14,
      "supports": 5,
      "extends": 3,
      "requires": 2,
      "interprets": 2,
      "confirms": 1
    },
    "parents": {
      "dissociates-with": null,
      "supports": "mira:supports",
      "extends": "mira:supports",
      "scopes": null,
      "requires": null,
      "confirms": "mira:supports",
      "interprets": null,
      "enables-method": null
    },
    "declared_types": {
      "dissociates-with": 23,
      "scopes": 15,
      "requires": 2,
      "derived-from": 2,
      "interprets": 2,
      "enables-method": 14
    }
  },
  "oxa": {
    "kept": 67,
    "edges": {
      "cito:disagreesWith": 23,
      "claimrel:scopes": 15,
      "cito:usesMethodIn": 14,
      "cito:supports": 5,
      "cito:extends": 3,
      "claimrel:requires": 2,
      "cito:citesAsSourceDocument": 2,
      "claimrel:interprets": 2,
      "cito:confirms": 1
    }
  },
  "dg": {
    "kept": 67,
    "edges": {
      "supports": 24,
      "opposedBy": 23,
      "claimrel:scopes": 15,
      "claimrel:requires": 2,
      "interpretedAs": 2,
      "cito:confirms": 1
    }
  },
  "verification": {
    "unattempted": 15,
    "verified": 2
  }
}