zazyza'i lujvo

x1 is the existence of x2

from za'i + zasti