@root(v)=sformula(root(v)); @norform(v)=n-or{(on(w):0.8,0.1)|w:edge(w,v)}; on(v)=(@root(v):0.5,@norform(v));