Create semantic.py