Update semantic.py