Towards the use of Situation Hierarchies for supporting Decision Making: A Formal Lattice-Based Approach