The Principia Machina/UWC/SPZ/TFK/TPK

{
  "ASSUMPTION": [
    {
      "NAME": "A_kpos",
      "PROPOSITION": "k_s is positive",
      "REFS": [
        "k_s"
      ]
    },
    {
      "NAME": "A_mpos",
      "PROPOSITION": "m is positive",
      "REFS": [
        "m"
      ]
    }
  ],
  "BOUNDARY": [
    {
      "CONDITION": "abs(x) < x_max",
      "NAME": "B_small",
      "PREDICATE": "|x| < x_max",
      "REFS": [
        "x",
        "x_max"
      ]
    }
  ],
  "CONSTANT": [
    {
      "DIMENSION": "M1",
      "NAME": "m"
    },
    {
      "DIMENSION": "M1 T-2",
      "NAME": "k_s"
    },
    {
      "DIMENSION": "L1",
      "NAME": "x_max",
      "UNCERTAINTY": "0.001",
      "UNIT": "m",
      "VALUE": "0.05"
    }
  ],
  "CONSTRAINT": [
    {
      "ACTION": "FIX",
      "NAME": "C_NOZ",
      "STATEMENT": "only motion on the spring axis is described: z = 0",
      "TARGET": "z",
      "UNIT": "m",
      "VALUE": "0"
    }
  ],
  "DOF": [
    {
      "DIMENSION": "T1",
      "NAME": "t"
    },
    {
      "DIMENSION": "L1",
      "NAME": "x"
    },
    {
      "DIMENSION": "L1 T-1",
      "NAME": "v"
    },
    {
      "DIMENSION": "L1",
      "NAME": "z"
    }
  ],
  "LAW": [
    {
      "EQUATION": "m * D(v, t) = -k_s * x",
      "NAME": "EOM_X",
      "REFS": [
        "m",
        "v",
        "k_s",
        "x",
        "t"
      ],
      "ROLE": "EOM(v)",
      "STATEMENT": "m dv/dt = -k_s x"
    },
    {
      "EQUATION": "D(x, t) = v",
      "NAME": "KIN",
      "REFS": [
        "x",
        "v",
        "t"
      ],
      "ROLE": "EOM(x)",
      "STATEMENT": "dx/dt = v"
    },
    {
      "EQUATION": "m * D(z, t, 2) = 0",
      "NAME": "EOM_Z",
      "REFS": [
        "m",
        "z",
        "t"
      ],
      "ROLE": "CONSTRAINT",
      "STATEMENT": "m d2z/dt2 = 0"
    }
  ]
}