JSONFormat
  { specInternalVars          = Just "..Internal_variables[*]"
  , specInternalVarId         = ".name"
  , specInternalVarExpr       = ".assignmentCopilot"
  , specInternalVarType       = Just ".type"
  , specExternalVars          = Just "..Other_variables[*]"
  , specExternalVarId         = ".name"
  , specExternalVarType       = Just ".type"
  , specRequirements          = "..Requirements[*]"
  , specRequirementId         = ".name"
  , specRequirementDesc       = Just ".fretish"
  , specRequirementExpr       = ".CoCoSpecCode"
  , specRequirementResultType = Nothing
  , specRequirementResultExpr = Nothing
  }