Deontic Event Calculus example with deontic operators represented as reified fluents.