This option commands Quaestor to move all relations to the class that contains the left hand parameter of the expression.

So if, for some reason, you have moved relation f=m*a to "Top Goals/Undefined" but parameter f is still in the class "input", using this menu option will move the relation back to "input" again.

 

Quaestor interface 

  • No labels