Prohibit is the opposite of Allow. Allow is a type of Discount. 
Producer is derived from Produce. Machine is a type of Produce. Machine is related to User. 
Prohibit <--Antonym--> Allow --IsA--> Discount 
Producer --DerivedFrom--> Produce <--IsA-- Machine <--RelatedTo--> User 