What an operation binds: the variables every solution of it binds, and the scope with a range per variable (VRanges).
What an operation binds: the variables every solution of it binds, and the scope with a range per variable (VRanges).