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