JSONFormat
  { specInternalVars          = Nothing
  , specInternalVarId         = ""
  , specInternalVarExpr       = ""
  , specInternalVarType       = Nothing
  , specExternalVars          = Just ".semantics.variables..*.*"
  , specExternalVarId         = ""
  , specExternalVarType       = Nothing
  , specRequirements          = "$[:]"
  , specRequirementId         = ".reqid"
  , specRequirementDesc       = Just ".fulltext"
  , specRequirementExpr       = ".semantics.CoCoSpecCode"
  , specRequirementResultType = Nothing
  , specRequirementResultExpr = Nothing
  }
