Modelling meaning composition from formalism to mechanism · Study