En funció proposicional a la que s'afegeix un cuantificador.

{ewl MVBMP2, ViewerBmp2, !910jord.bmp}