Situated legal systems and their operational semantics