We can now define the notion “first argument” (A1) in terms of the semantic functions by which first arguments may be characterized: (41) A1 = {Ag, Po, Fo, Proc[Exp], Zero[Exp]} […].- Dik (1989), a pag.102