An Operational Semantics for Situated Ideological Systems, with a Religious Conflict as Case Study