Update semantix.py