Adding a representational level to model-theoretic semantics produces a hybrid that violates theoret...