Mass Terms and Model-Theoretic Semantics.