Eu tenho um problema do mundo real que estou tentando representar e automatizar. Simplifiquei e abstraí para o seguinte: Existem n locais de trabalho (P1, P2, ..., Pn). Cada lugar, Pn tem uma chave, Kn. Existem m Trabalhadores, (W1, W2, ..., Wm). Para trabalhar em Pn, um trabalhador deve segurar...