If a parameter having a certain value means that another parameter must or cannot have another value, use an if-then constraint. You can write is or is not between the parameter name and value to get opposite effects. Both parameter names and values must be enclosed in double quotes.
Inductive
