Hello everyone, The same problem regards the "golfing example" from examples project. Adding nearly any restrictions, e.g. this one: position != $tom.position, in rules for Bob: // Bob is wearing plaid pants $bob : Golfer( name == "Bob", position != $fred.position, position != $joe.position, position != $tom.position, color == "plaid", color != $fred.color, color != $joe.color ) produces an error: find solution:Unable to create restriction '[QualifiedIndentifierRestr: != $tom.position ]' for field 'position' in the rule 'find solution' How to resolve this?