A languge-independent logic representation (see https://stackoverflow.com/a/49021991/372047)

term-schema.json

{
  "id": "http://json-schema.org/geo",
  "$schema": "http://json-schema.org/draft-06/schema#",
  "description": "A languge-independent logic representation",
  "$ref": "#/definitions/Term",
  "definitions": {
    "Term": {
      "type": "object",
      "additionalProperties": false,
      "description": "A logical value",
      "properties": {
        "kind": {
          "$ref": "#/definitions/Kind"
        },
        "x": {
          "$ref": "#/definitions/Term"
        },
        "y": {
          "$ref": "#/definitions/Term"
        },
        "value": {
          "$ref": "#/definitions/Value"
        }
      },
      "required": [
        "kind"
      ],
      "title": "Term"
    },
    "Value": {
      "type": "object",
      "additionalProperties": false,
      "description": "A key-value term",
      "properties": {
        "key": {
          "type": "string"
        },
        "value": {
          "type": "string"
        }
      },
      "required": [
        "key",
        "value"
      ],
      "title": "Term"
    },
    "Kind": {
      "description": "The kind of term",
      "type": "string",
      "enum": [
        "and",
        "or",
        "not",
        "value"
      ],
      "title": "Kind"
    }
  }
}