Express each of these system specifications using predicates, quantifiers, and logical

connectives. Explicitly state what each of your predicates are, and what the domain

of discourse is for each variable. You may use different predicates and domains for

each of the statements.

$($a$)$ Every user has access to an electronic mailbox.

$($b$)$ The system mailbox can be accessed by everyone in the group if the file system

is locked.