Two construction workers wearing yellow jackets work on their hands and knees on a street during the day.
There is yellow jackets.
if workers are wearing yellow jackets then there has to be yellow jackets
exists e1 e2 s1 x1 x2 x3 x4 x5 x6 x7 x8 x9.(n_day(x9) & during(e2,x9) & on(e2,x8) & n_street(x8) & on(e2,x5) & n_knee(x7) & n_hand(x6) & subset_of(x7,x5) & subset_of(x6,x5) & of(x5,x1) & n_thing(x1) & Actor(e2,x1) & v_work(e2) & Theme(e1,x4) & Actor(e1,x3) & v_wear(e1) & n_jacket(x4) & a_yellow(s1) & Theme(s1,x4) & (x1 = x3) & n_worker(x1) & of(x1,x2) & n_construction(x2) & card_eq_2(x1))
exists p1 x1 s1 x2.((x1 = x2) & n_jacket(x2) & a_yellow(s1) & Theme(s1,x2))