[ "or", [ [ "and", [ [ "address", "T2J7WWXIV63AAWQSA3ZZZ72GMJAB37G3" ], [ "in data feed", [ [ "FOPUBEUPBC6YLIQDLKL6EW775BMV7YOH" ], "random470091", "<", 49000 ] ], [ "seen", { "what": "output", "address": "this address", "asset": "base", "amount": 12000 } ] ] ], [ "and", [ [ "address", "XANULP5JVUOVHIGKANJ4MMGF4O4XRWKI" ], [ "in data feed", [ [ "FOPUBEUPBC6YLIQDLKL6EW775BMV7YOH" ], "random470091", ">=", 49000 ] ] ] ], [ "and", [ [ "address", "XANULP5JVUOVHIGKANJ4MMGF4O4XRWKI" ], [ "not", [ "seen", { "what": "output", "address": "this address", "asset": "base", "amount": 12000 } ] ] ] ], [ "and", [ [ "address", "T2J7WWXIV63AAWQSA3ZZZ72GMJAB37G3" ], [ "seen", { "what": "input", "address": "this address" } ] ] ] ] ]