Five construction workers in hard hats and yellow vests are busy at work.
The construction workers are working.
The term Busy at work implies that they are working
exists s1 s2 s3 x1 x2 x3 x4 x5 x6.(at(s3,x6) & n_work(x6) & Theme(s3,x1) & a_busy(s3) & in(x1,x3) & subset_of(x5,x3) & n_vest(x5) & a_yellow(s2) & Theme(s2,x5) & subset_of(x4,x3) & n_hat(x4) & a_hard(s1) & Theme(s1,x4) & n_worker(x1) & of(x1,x2) & n_construction(x2) & card_eq_5(x1))
exists e1 x1 x2.(n_worker(x1) & of(x1,x2) & n_construction(x2) & Actor(e1,x1) & v_work(e1))