Changed the mailboxes sample to use syntax rules for the mailbox-full? and mailbox-empty? predicates