dorlunra lujvo

x1 is a moon of planet x2, visible from location x3 on that planet, where it is daytime.

dorlurfau = nu dorlunra