nurzda lujvo

z1 is a safehouse for protecting s1=z2 from threat s2 (event).