Second feature of glossary in Grice's natural deduction

The second feature involves the reading of

phi(alphaj, ..., alphak)

and

phi(omegaj, ..., omegak)

where omega stands for any variable (it is a metalogical term) and alpha stands for any constant of an individual (metalogical term also).

The first reads:

"a formula, phi, which contains

occurrences of the individual constant a, where

each such occurrence is an occurrence of aj, ..., ak."

Similarly, for the variable version:

"a formula, phi, which contains

occurrences of the variable omega, where

each such occurrence is an occurrence of omegaj, ... omegak".