solnuncanci lujvo

x1 is a sunset at location x2 as observed by x3

In notes:

nunsolcanci
n1 is the event of star s1=c1 setting at location c2 on planet s2
solnuntolcanci
x1 is a sunrise at location x2 as observed by x3