Semántica optimizada