Found:

Relativized Righthand Head Rule

See: Relativized head and Righthand Head Rule