Application of logic in a legal context - Real life example

mellomel

I work at a law firm and my current assignment is to draft a protocol to terminate an agreement, and I'm having trouble applying what I've so far learned in logic. I'd love to hear what you guys think about this particular article in the agreement that we're asked to terminate. It's something along the lines of:

This Agreement shall come into force as of the share acquisition of the New Shareholder has been accomplished.

It's not so neatly put but my understanding is that it is a conditional statement, and that it can be translated as 'Share acquisition → Come into effect'.

My first question is do you think this is the correct translation??

The second issue is (let's assume the above logical translation holds here) that the acquisition of shares has NOT taken place in our case. A senior associate told me that the Agreement has not come into effect because of this, which made me think: sufficiency necessity confusion!! We cannot infer '/Share acquisition → /Come into effect' from 'Share acquisition → Come into effect'!!!
BUT I've come to think that he has a point..

All along we learned that given Jedi → Force, it would be fallacious to infer anything from /Jedi since the rule becomes irrelevant when we negate the sufficient condition. Why? Because we simply do not know what would happen outside this world. In the '/Jedi' instance, you could be a force user or not, we simply do not have enough info from just Jedi → Force.

But in this case, we have an entire agreement to figure out what happens when. And in our agreement, there is no other condition or instance that makes the agreement enforceable. No sort of 'This agreement shall enter into force upon signature by both parties' clause, etc.

So, my second question is, since our conditional statement has become irrelevant (since the sufficient condition about share acq. has not been satisfied) and since we have no other condition to trigger the necessary condition, can we conclude that the necessary condition will also not take place (/Come into effect)??

Sorry for the length of this post but I'm looking forward to a discussion