Find!
x1=k1=g1 (event) can change x2=g2 into x3=g3; x1 is capable of modifying x2 into x3 under conditions x4=k3.