The Principia Machina/UWC/SPZ/TFK/TrM

{
  "ENTRIES": [
    {
      "BEARS": [],
      "DIMENSION": "T1",
      "DOF": "t",
      "DOMAIN": "always",
      "ENVIRONMENT_QUANTITY": "time",
      "FALSIFIER": "a second clock whose readings differ from t by more than a constant offset beyond the stated uncertainty",
      "FALSIFIER_CLASS": "F3",
      "IDENTIFICATION": "t is the reading of a laboratory clock from an arbitrary origin",
      "NAME": "E_t"
    },
    {
      "BEARS": [
        "EOM_X",
        "KIN"
      ],
      "DIMENSION": "L1",
      "DOF": "x",
      "DOMAIN": "|x| < x_max",
      "ENVIRONMENT_QUANTITY": "position",
      "FALSIFIER": "a measured spring force not proportional to x inside the domain",
      "FALSIFIER_CLASS": "F3",
      "IDENTIFICATION": "x is the displacement of the mass along the spring axis from the point where the spring exerts no force",
      "NAME": "E_x"
    },
    {
      "BEARS": [
        "KIN"
      ],
      "DIMENSION": "L1 T-1",
      "DOF": "v",
      "DOMAIN": "|x| < x_max",
      "ENVIRONMENT_QUANTITY": "velocity",
      "FALSIFIER": "a measured velocity that differs from the rate of change of the measured x beyond uncertainty",
      "FALSIFIER_CLASS": "F2",
      "IDENTIFICATION": "v is the rate of change of x with t",
      "NAME": "E_v"
    },
    {
      "BEARS": [
        "EOM_Z",
        "C_NOZ"
      ],
      "DIMENSION": "L1",
      "DOF": "z",
      "DOMAIN": "always",
      "ENVIRONMENT_QUANTITY": "transverse_position",
      "FALSIFIER": "a measured z different from 0 beyond its uncertainty",
      "FALSIFIER_CLASS": "F3",
      "IDENTIFICATION": "z is the displacement of the mass perpendicular to the spring axis",
      "NAME": "E_z"
    }
  ],
  "HEADER": {
    "ENVIRONMENT_INVENTORY": [
      {
        "DIMENSION": "T1",
        "ENVIRONMENT_QUANTITY": "time"
      },
      {
        "DIMENSION": "L1",
        "ENVIRONMENT_QUANTITY": "position"
      },
      {
        "DIMENSION": "L1 T-1",
        "ENVIRONMENT_QUANTITY": "velocity"
      },
      {
        "DIMENSION": "L1",
        "ENVIRONMENT_QUANTITY": "transverse_position"
      }
    ],
    "SIGNATURE": [
      {
        "FORM": "D(x, t) = v",
        "IMAGE": "d/dt maps position to velocity",
        "IMAGE_FORM": "D(position, time) = velocity",
        "NAME": "time_derivative",
        "OVER": [
          "x",
          "v",
          "t"
        ]
      }
    ],
    "TRANSFORMATIONS": [
      {
        "NAME": "time_translation",
        "STATEMENT": "t -> t + t0"
      }
    ]
  }
}