3pm and struggling to stay awake at work.
It's too early in the afternoon and it's already tired.
If they are struggling to stay awake, then they are already tired. 3pm is early in the afternoon.
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 s1 s2 s3 x1 x2.(n_thing(x2) & n_afternoon(x2) & n_thing(x1) & a_already(s3) & Manner(s2,s3) & Theme(s2,x2) & a_tired(s2) & in(s1,x2) & r_too(s1) & Theme(s1,x1) & a_early(s1))