[ "or", [ [ "and", [ [ "seen", { "what": "output", "address": "this address", "asset": "base", "amount": 7500000 } ], [ "or", [ [ "and", [ [ "address", "7CNUJOYUKX3RN22VWZGR5UCADIAEWVIT" ], [ "in data feed", [ [ "GFK3RDAPQLLNCMQEVGGD2KCPZTLSG3HN" ], "WF747-2017-08-05", ">", "60", 850451 ] ] ] ], [ "and", [ [ "address", "A5LSSTSMMC7ULS2CACTH4MKKQDCKLKC3" ], [ "in data feed", [ [ "I2ADHGP4HL6J37NQAD73J7E5SKFIXJOT" ], "timestamp", ">", 1502053200000 ] ] ] ], [ "and", [ [ "address", "A5LSSTSMMC7ULS2CACTH4MKKQDCKLKC3" ], [ "in data feed", [ [ "GFK3RDAPQLLNCMQEVGGD2KCPZTLSG3HN" ], "WF747-2017-08-05", "<=", "60", 850451 ] ] ] ] ] ] ] ], [ "and", [ [ "address", "A5LSSTSMMC7ULS2CACTH4MKKQDCKLKC3" ], [ "not", [ "seen", { "what": "output", "address": "this address", "asset": "base", "amount": 7500000 } ] ], [ "in data feed", [ [ "I2ADHGP4HL6J37NQAD73J7E5SKFIXJOT" ], "timestamp", ">", 1501803036468 ] ] ] ] ] ]