variable identifier article: refer to the referents of the variable having the following predicate as its name; such a variable may be implicitly bound by {PA broda} or {LE broda} phrases; if no such variable has been previously bound, the referents are left to the context to determine; the referents are not claimed to actually satisfy the predicate after which the variable is named.