Sequence Semantics for Normative Agents