Compositions of Sasaki projections

In an orthomodular lattice (abbreviated OML) L, a Sasaki projection is a mappinga _x(a)=x(x va) fromL toL, wherexL. We study compositions of finite numbers of Sasaki projections and of the same Sasaki projections composed in inverse order. By using the Baer-semigroup of all finite compositions of Sasaki projections, we establish a new characterization of kernels of congruences in OMLs and a generalization of the parallelogram law for dimension OMLs. Our results are also related to quantum measurements via Pool's definition of the change of the support of a state after a measurement.