Semantic_tableau loading ...