A Logical Architecture of a Normative System