Situation_calculus loading ...