correcoes semantica