2 in notes

xisyjbedetri lujvo

d₁ is Christmas Day at location d₃ in calendar d₄.

c.f. xisyjbenunsla, xisyjbecte

• jbovlaste

In notes:

xisyjbecte

n₁ is Christmas Eve of Christmas Day n₂ at location n₃.

xisyjbenunsla

n₁ is the Christmas celebrated by s₁ with activities s₃.