{
  "schema": "UJDPF-AXIOMS-0.1",
  "paper_id": "JDPSP-09",
  "formal_name": "Unified Judgment-Domain Probability Framework",
  "abbreviation": "UJDPF",
  "judgment_index": {
    "reference_scope": "rho",
    "scale": "s",
    "time": "t",
    "context": "c",
    "notation": "j=(rho,s,t,c)"
  },
  "probability_order": {
    "notation": "k",
    "base_order": 0,
    "ordinary_probability_order": 1
  },
  "rules": [
    {
      "id": "F1",
      "name": "Judgment Typing"
    },
    {
      "id": "F2",
      "name": "Probability Integrity"
    },
    {
      "id": "F3",
      "name": "Explicit Globality"
    },
    {
      "id": "F4",
      "name": "Witnessed Transport"
    },
    {
      "id": "F5",
      "name": "Typed Composition"
    },
    {
      "id": "F6",
      "name": "Explicit Probability Order"
    },
    {
      "id": "F7",
      "name": "Dynamic Event Comparability"
    },
    {
      "id": "F8",
      "name": "Mass–Probability Separation"
    },
    {
      "id": "F9",
      "name": "Observable and Provenance Disclosure"
    }
  ]
}