How to impose average velocity inlet condition?

Yes, it uses ufl.FacetNormal to do an interpolation into the space whose degrees of freedom are located at a certain boundary.

One can of course also use projection routines, similar to:

to compute the normal vector as well.