Recently, however, the engineer who told me this story let me know there was a happy ending. They never compromise on flexibility. And then the cell needed to change again. And then the cell needed to change. And then the electrical engineer left the company.
Both became off-workers in different companies.
( z0 become :ARG1 ( z1 both ) :ARG2 ( z2 person :ARG0-of ( z3 work :location ( z4 company :ARG1-of ( z5 differ ) ) ) ) )
(z0 / become-01
    :ARG1 (z1 / both)
    :ARG2 (z2 / person
              :ARG0-of (z3 / work-01
                           :location (z4 / company
                                         :ARG1-of (z5 / differ-02)))))
Both became off - workers in different companies .
z0 :ARG1 z1
z0 :ARG2 z2
z2 :ARG0-of z3
z4 :ARG1-of z5
z3 :location z4