For instance, the substitution of u for v would not work for sentences that have negations or quantifiers such as 'all' and 'none'.
, + refer to vector element-wise multiplication and addition, respectively, ⊗ proj to the projective tensor models of Section 6.3, and ⊗ rel/frob to the construction of Section 6.1.