Match the English specification on the left with the representation in propositional logic on the right.

Let the propositions be s: "The transaction has a shared lock on the database element," e: "The transaction has an exclusive lock on the element," m: "The transaction can modify the element," and r: "The transaction can read the element."

The transaction has a shared lock on the element only if it can read the element but cannot modify it$.$

The transaction has a shared lock on the element only if it can read the element but cannot modify it$.$ drop zone empty.

If the transaction has an exclusive lock on the element, then it can modify the element and read the element.

If the transaction has an exclusive lock on the element, then it can modify the element and read the element. drop zone empty.

The transaction has a shared lock on the element if and only if it can read the element but cannot modify the element.

The transaction has a shared lock on the element if and only if it can read the element but cannot modify the element. drop zone empty.

The transaction either has an exclusive lock or a shared lock on the element, and it can modify the element.

The transaction either has an exclusive lock or a shared lock on the element, and it can modify the element. drop zone empty.

s $->($r $$m$)$

e $->($r $$ m$)$

s $($r $$m$)$

$($e $$ s$)$ m