The Principia Machina/UWC/SPZ/TFK/TMS

{
  "CONSTANTS": [
    {
      "NAME": "w_a",
      "VALUE": "1"
    },
    {
      "NAME": "w_s",
      "VALUE": "0.5"
    }
  ],
  "PARAMETERS": {
    "K": "2",
    "N_X": 2,
    "STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
    "S_MAX": 10
  },
  "YARDSTICKS": [
    {
      "KEY": [
        "SR1",
        "WSUM:w_a*A;w_s*S",
        "S"
      ],
      "LIMITING": [],
      "NAME": "combined_distance"
    }
  ]
}