Update sema.py