Delete semantictocore.py