Yes, a fe solution GridFunction is derived from CoefficientFunction, so allows to evaluate itself like a CoefficientFunction. CoefficientFunction is any function on the mesh, like for example the coordinate-CFs x, y and z.
Also grad(u) is a coefficientfunction, also x * sin(u), ...
All of these function can be evaluated on points in the mesh.