John can have a card. John is a customer. If someone can have a card and is a customer then he/she must wait. Every clerk must have a card. Bill is a clerk. Bill cannot wait. No customer must buy a car.