Esto es un ejemplo de una cláusula de Horn: