 Janssen (2013) discusses the possibility of providing in terms of \(\mathbf{IFL}\) a compositional analysis of the de re / de dicto ambiguity in natural languages. Brasoveanu and Farkas (2011) argue that scopal properties of natural language indefinites are best elucidated in terms of a semantics inspired by \(\mathbf{IFL}\), more precisely by formulating the semantics relative to sets of variable assignments as done in Hodges’s compositional semantics for slash logic. 