[ "or", [ [ "and", [ [ "address", "KZAOVCM2IP6KNWBSDMQBU5NBX66JQEHR" ], [ "in data feed", [ [ "I2ADHGP4HL6J37NQAD73J7E5SKFIXJOT" ], "timestamp", ">", 1580714865224 ] ] ] ], [ "and", [ [ "address", "RJ6H3F3CPE2VZSFJ6DOBMGDEQDDG6UE3" ], [ "has", { "what": "output", "asset": "base", "amount_at_least": 4000000, "address": "KZAOVCM2IP6KNWBSDMQBU5NBX66JQEHR" } ] ] ] ] ]