A[] not ( P1.sender_transm and P2.sender_transm and P1.x >= 52 )