To recapitulate, TreeRNN and TreeLSTM reflect the principle of compositionality but cannot capture the multiplicative interaction between two expressions.
cMS incorporates multiplicative interaction but violates the principle of compositionality.