Writing an Exercise

{
        "question": "Whenever the Red light is on, it is off in the next state and on again in the state after that. ",
        "description": "The questions ask about the state of an instrument panel over time. The panel has three colors: Red (red), Green (green), and Blue (blue).",
        "type": "englishtoltl",
        "options": [
            {
                "option": "(G (red -> (X !red) & (X (X red)) ))",
                "isCorrect": true,
                "misconceptions": []
            },
            {
                "option": "(G ((red -> (F (! red))) & (X red)))",
                "isCorrect": false,
                "misconceptions": [
                    "MisconceptionCode.Precedence",
                    "MisconceptionCode.BadStateIndex"
                ]
            },
            {
                "option": "(F ((red -> (F (! red))) & (X red)))",
                "isCorrect": false,
                "misconceptions": [
                    "MisconceptionCode.BadStateQuantification"
                ]
            },
            {
                "option": "((red -> (F (! red))) & (X red))",
                "isCorrect": false,
                "misconceptions": [
                    "MisconceptionCode.ImplicitG"
                ]
            }
        ]
    },