Multiple-choice practice in the format of the MBA 60310 final. Pick the option that captures each requirement. After you answer, every option is checked against every combination of the decisions, so you see why each wrong one fails. To test a formulation of your own, use the Logical Constraints Lab.
Too strict: rules out a case the requirement allows. Too loose: allows a case the requirement forbids.