Compositionality and model-theoretic interpretation door