Page History

...

  Double click Top Goals/Undefined in the knowledge browser: all relations in that class are shown (this will work for any class). One can always edit a relation by selecting it and pressing F2 (or  and select edit). This is also a useful method to find out which relation you actually selected.

Now  the relation Rho relation Rho = 1025 and 1025 and select Constraint->Add New. In the upper part of the new window enter the following constraint:

...