Situation_semantics loading ...