Symbol: sem_used_sems