The Covering Law in Orthomodular Lattices Generated by Graphs of Functions

In the paper [2] we introduced and investigated complete orthomodular lattices generated by graphs of continuous functions. A natural question arises: can such a lattice be represented by the lattice of projectors in a Hilbert space (the standard quantum logic)? The answer is no, because the covering law is not satisfied in this case.