Deontic reasoning