Үүнийг мессежээр илгээх: Stratified negation in datalog with metric temporal operators