...

@FORCED  is used to force a constraint to be evaluated by including its unknown parameters into the current goal list.

Syntax

Place 

...

Remarks

Use this attribute only when it is really necessary to manipulate the reasoning.

...