3pm and struggling to stay awake at work.
There is no more coffee at the office.
Just because someone is struggling to stay awake doesn't mean there is no more coffee. Work can be done in many locations and not just at the office.
exists e1 p1 s1 x1 x2.(a_topic(s1) & subset_of(e1,s1) & Topic(e1,p1) & Actor(e1,x2) & v_struggle(e1) & exists e2 p2 x3.(at(e2,x3) & n_work(x3) & exists s2.(Theme(s2,x2) & a_awake(s2)) & Topic(e2,p2) & Actor(e2,x2) & v_stay(e2)) & n_thing(x2) & subset_of(x1,s1) & n_3pm(x1))
exists p1 x1 x3.(n_office(x3) & -exists s1 x2.((x1 = x2) & at(x2,x3) & n_coffee(x2) & a_more(s1) & Theme(s1,x2)))