Semantic_consequence loading ...