Pendent preposition. Introduces a dangling argument that doesn't take part in the surrounding argument structure; similarly to {zo'u}, it may be used for pre-declaring a quantification, or for introducing an argument that will be later referred to anaphorically. The pronoun {zoi'i} is automatically bound to the argument introduced by {fai'i}.
Define x1 to be a named dummy symbol (having a name heretofore unassigned) such that, if it were to exist, it would satisfy condition/have property x2 (condition/ka); let x1 be such that it satisfies/is described by x2.