Isabelle_Semantic_Embedding
