The constraint attribute @FORCED is used to force a constraint to be evaluated by including its unknown parameters into the current goal list.
Place @FORCED in the data slot of the constraint
Use this attribute only when it is really necessary to manipulate the reasoning.
Member of functional group: Modeling
Member of knowledge base type: Classic and general type, Scenario type and Taxonomy type