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