x1=z1=s1 is a zmico that functions as a pro-sumti which references specified default value x2=z2 (definition/function) that works with discourse-orientation x3=z3 (discourse exterior/interior), filling terbri of brivla/predicate x4=s2, in language x5=z5; x1 is a default-value-referencing pro-sumti with definition/function/value x2
zmico is an experimental gismu. See also: zmico, zicysu'i, gafyzmico.