A woman gasps while opening a present.
It is Christmas morning.
Sentence 1 is missing Christmas morning.
(-x)
exists p1 x1.(n_thing(x1) & exists x2 x3.((x1 = x2) & n_morning(x2) & (x2 = x3) & ne_tim_christmas(x3)))