Lógica Aplicada Avanzada, 2 de 6: guerra semántica