Model-theoretic grammar