Text this: Árboles de forzamiento semántico para el sistema básico con afirmación y negación alternas