A mom and son having fun at the lake during winter.`
The mom is alone in her office.
If the mom is with her son, she cannot be alone. If they are at the lake, mom cannot be at her office.
(x)
exists s1 x1 x2.(n_office(x2) & of(x2,x1) & n_female(x1) & n_mom(x1) & in(s1,x2) & Theme(s1,x1) & a_alone(s1))