  In order to model in compositional framework some phenomena of lexical
pragmatics and in particular the ones studied by Nicholas Asher several
contributions developed in our team did use the system F of Jean-Yves Girard to
construct logical formulae expressing the meaning of sentences --- while other
authors prefer to use Per Martin-L\"of's type theory In this note we explain
the motivations supporting our preference for system F.
