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