I think it's implied that you want to know whether or not the ball you've picked is the heavy one. What's not clear is whether "weighing" is a unary operation

I think it's implied that you want to know whether or not the ball you've picked is the heavy one. What's not clear is whether "weighing" is a unary operation returning the weight of the ball, or a binary operation returning the heavier of two balls.