Logic Representation of legal norms