Donde cada antecedente debe matchear con una afirmación, y cada acción representa un cambio sobre la memoria de trabajo (eliminaciones, adiciones o modificaciones).