x1 is a place erased from the place structure of the parent predicate according to the rules x2 (property of all the places of the parent predicate including the one filled with x1)
Default value of x2 is either specified in the definition of the parent predicate or assumed from context. '.i broda le ezli' is equal to '.i broda zi'o'.