hey with the same meaning change the code a little : CHEESE_DISPENSER = (serve -> cheese -> CHEESE_DISPENSER).
CUSTOMER = (get_cheese -> CUSTOMER).
const Customers = 4
range Bold = 1..Customers
range Meek = Customers
||HUNGRY_MOB = (
     forall[b : Bold] bold[b] : CUSTOMER
     || forall[m : MEEK] meek[m]:CUSTOMER)
||CHEESE_COUNTER = ( HUNGRY_MOB || CHEESE_DISPENSER )
     /{ {bold[Bold] , meek[Meek]}.get_cheese}. 
