[ "or", [ [ "and", [ [ "address", "5VTWGZZNXBW2HE43MD5GDRU7FJ3DYBHX" ], [ "has", { "what": "output", "asset": "ofLREMhzK9szd7y/9mzRgvf2hFfGihY6YoH9LpbsrbM=", "amount_at_least": 15, "address": "6TYMPKHOXWBHIQL3EAXSY2GGTLNBSJZB" } ] ] ], [ "address", "6TYMPKHOXWBHIQL3EAXSY2GGTLNBSJZB" ] ] ]