[ "or", [ [ "and", [ [ "address", "GGJXLCMLZH5RZYL3YTU5PA4CM7S46YMK" ], [ "in data feed", [ [ "TKT4UESIKTTRALRRLWS4SENSTJX6ODCW" ], "PSV_UTRECHT_2018-08-11", "=", "draw" ] ], [ "seen", { "what": "output", "address": "this address", "asset": "base", "amount": 100000000 } ] ] ], [ "and", [ [ "address", "SRO2AGUSGW6G5P33R5CP7VETHTB7I2LR" ], [ "not", [ "seen", { "what": "output", "address": "this address", "asset": "base", "amount": 100000000 } ] ], [ "in data feed", [ [ "I2ADHGP4HL6J37NQAD73J7E5SKFIXJOT" ], "timestamp", ">", 1533998314613 ] ] ] ], [ "and", [ [ "address", "SRO2AGUSGW6G5P33R5CP7VETHTB7I2LR" ], [ "in data feed", [ [ "TKT4UESIKTTRALRRLWS4SENSTJX6ODCW" ], "PSV_UTRECHT_2018-08-11", "!=", "draw" ] ] ] ], [ "and", [ [ "address", "SRO2AGUSGW6G5P33R5CP7VETHTB7I2LR" ], [ "in data feed", [ [ "I2ADHGP4HL6J37NQAD73J7E5SKFIXJOT" ], "timestamp", ">", 1534437900000 ] ] ] ], [ "and", [ [ "address", "GGJXLCMLZH5RZYL3YTU5PA4CM7S46YMK" ], [ "seen", { "what": "input", "address": "this address" } ] ] ] ] ]