{
"ENTRIES": [
{
"BEARS": [],
"DIMENSION": "T1",
"DOF": "t",
"DOMAIN": "always",
"ENVIRONMENT_QUANTITY": "time",
"FALSIFIER": "a second clock differing by more than offset beyond uncertainty",
"FALSIFIER_CLASS": "F3",
"IDENTIFICATION": "t is the reading of a laboratory clock from an arbitrary origin",
"NAME": "E_t"
},
{
"BEARS": [
"EOM_THETA",
"KIN"
],
"DIMENSION": "1",
"DOF": "theta",
"DOMAIN": "|theta| < theta_max",
"ENVIRONMENT_QUANTITY": "angle",
"FALSIFIER": "measured angle not proportional to restoring torque inside domain",
"FALSIFIER_CLASS": "F3",
"IDENTIFICATION": "theta is angular displacement from downward vertical equilibrium",
"NAME": "E_theta"
},
{
"BEARS": [
"KIN"
],
"DIMENSION": "T-1",
"DOF": "omega",
"DOMAIN": "|theta| < theta_max",
"ENVIRONMENT_QUANTITY": "angular_velocity",
"FALSIFIER": "measured angular velocity differing from rate of change of theta beyond uncertainty",
"FALSIFIER_CLASS": "F2",
"IDENTIFICATION": "omega is the time rate of change of theta",
"NAME": "E_omega"
},
{
"BEARS": [
"EOM_Z",
"C_NOZ"
],
"DIMENSION": "L1",
"DOF": "z",
"DOMAIN": "always",
"ENVIRONMENT_QUANTITY": "out_of_plane",
"FALSIFIER": "measured z different from 0 beyond uncertainty",
"FALSIFIER_CLASS": "F3",
"IDENTIFICATION": "z is perpendicular displacement of bob from oscillation plane",
"NAME": "E_z"
}
],
"HEADER": {
"ENVIRONMENT_INVENTORY": [
{
"DIMENSION": "T1",
"ENVIRONMENT_QUANTITY": "time"
},
{
"DIMENSION": "1",
"ENVIRONMENT_QUANTITY": "angle"
},
{
"DIMENSION": "T-1",
"ENVIRONMENT_QUANTITY": "angular_velocity"
},
{
"DIMENSION": "L1",
"ENVIRONMENT_QUANTITY": "out_of_plane"
}
],
"SIGNATURE": [
{
"FORM": "D(theta, t) = omega",
"IMAGE": "d/dt maps angle to angular velocity",
"IMAGE_FORM": "D(angle, time) = angular_velocity",
"NAME": "time_derivative",
"OVER": [
"theta",
"omega",
"t"
]
}
],
"TRANSFORMATIONS": [
{
"NAME": "time_translation",
"STATEMENT": "t -> t + t0"
}
]
}
}
