 In \(\mathbf{IFL}\) an existential quantifier may depend only on some of the universal quantifiers in whose scope it lies. Accordingly, its interpretation depends on its relation to quantifiers outside its own scope. Such an existential quantifier is  context-dependent.[53]  On the face of it, then, \(\mathbf{IFL}\) cannot but violate the principle of compositionality and does not admit of a Tarski-type truth-definition. 