Agregando validaciones semanticas