Sequence semantics for normative agents