[ "or", [ [ "and", [ [ "address", "FH55CCX7CSB65FO6IV5OX52SABKC2AOS" ], [ "in data feed", [ [ "TKT4UESIKTTRALRRLWS4SENSTJX6ODCW" ], "JUVENTUS_SPAL2013_2018-11-24", "=", "SPAL2013" ] ], [ "seen", { "what": "output", "address": "this address", "asset": "base", "amount": 1000000 } ] ] ], [ "and", [ [ "address", "SMMZ4JHYMRZL4OXSOJZ5Z3VECZL7LT2Q" ], [ "not", [ "seen", { "what": "output", "address": "this address", "asset": "base", "amount": 1000000 } ] ], [ "in data feed", [ [ "I2ADHGP4HL6J37NQAD73J7E5SKFIXJOT" ], "timestamp", ">", 1543068972028 ] ] ] ], [ "and", [ [ "address", "SMMZ4JHYMRZL4OXSOJZ5Z3VECZL7LT2Q" ], [ "in data feed", [ [ "TKT4UESIKTTRALRRLWS4SENSTJX6ODCW" ], "JUVENTUS_SPAL2013_2018-11-24", "!=", "SPAL2013" ] ] ] ], [ "and", [ [ "address", "SMMZ4JHYMRZL4OXSOJZ5Z3VECZL7LT2Q" ], [ "in data feed", [ [ "I2ADHGP4HL6J37NQAD73J7E5SKFIXJOT" ], "timestamp", ">", 1543507200000 ] ] ] ], [ "and", [ [ "address", "FH55CCX7CSB65FO6IV5OX52SABKC2AOS" ], [ "seen", { "what": "input", "address": "this address" } ] ] ] ] ]

[ "sig", { "pubkey": "A2DrNCMedU87Ly+/S1z5zpoa7Pk+iALW3BoZiMjT5gW7" } ]