[
  "or",
  [
    [
      "and",
      [
        [
          "address",
          "ZKFFJES4YDKC4WG653Y2KZ5IANNAE64R"
        ],
        [
          "or",
          [
            [
              "and",
              [
                [
                  "in data feed",
                  [
                    [
                      "PC3HIN2CV2BFSEQJKNOCSWFSSSMEW7AH"
                    ],
                    "TEST32_winner",
                    "=",
                    "VGK"
                  ]
                ],
                [
                  "in data feed",
                  [
                    [
                      "PC3HIN2CV2BFSEQJKNOCSWFSSSMEW7AH"
                    ],
                    "TEST32_won_by",
                    "<",
                    "2.5"
                  ]
                ]
              ]
            ],
            [
              "in data feed",
              [
                [
                  "PC3HIN2CV2BFSEQJKNOCSWFSSSMEW7AH"
                ],
                "TEST32_winner",
                "=",
                "VGK"
              ]
            ]
          ]
        ]
      ]
    ],
    [
      "and",
      [
        [
          "address",
          "DIXGRQW3DB7BSAZ62HZVVMYKZF6IJYY6"
        ],
        [
          "or",
          [
            [
              "and",
              [
                [
                  "in data feed",
                  [
                    [
                      "PC3HIN2CV2BFSEQJKNOCSWFSSSMEW7AH"
                    ],
                    "TEST32_winner",
                    "=",
                    "VGK"
                  ]
                ],
                [
                  "in data feed",
                  [
                    [
                      "PC3HIN2CV2BFSEQJKNOCSWFSSSMEW7AH"
                    ],
                    "TEST32_won_by",
                    ">",
                    "2.5"
                  ]
                ]
              ]
            ],
            [
              "seen",
              {
                "what": "output",
                "address": "ZKFFJES4YDKC4WG653Y2KZ5IANNAE64R",
                "asset": "base",
                "amount": 5000
              }
            ]
          ]
        ]
      ]
    ]
  ]
]