[ "or", [ [ "and", [ [ "address", "WIDR7CVRKTY2VW46Q2TT6DOFWVDZB2ND" ], [ "in data feed", [ [ "I2ADHGP4HL6J37NQAD73J7E5SKFIXJOT" ], "timestamp", ">", 1554583271872 ] ] ] ], [ "and", [ [ "address", "53L7D42JLTFASHOS6VOM66K2TD3NP2PD" ], [ "has", { "what": "output", "asset": "NMuNvOJRO2ZY9L17uKtsa7OYkgsV8LfSBIV9BUoVJPQ=", "amount_at_least": 512, "address": "WIDR7CVRKTY2VW46Q2TT6DOFWVDZB2ND" } ] ] ] ] ]