Two men in blue uniforms and green workman vest.
Two men are in uniform on St. Patrick's Day.
Only the green color of the vest is related to St. Patrick's Day, and green vests can be worn on any day.
exists s1 s2 x1 x2 x3 x4 x5.(a_topic(x1) & in(x1,x2) & n_vest(x4) & of(x4,x5) & n_workman(x5) & a_green(s2) & Theme(s2,x4) & n_uniform(x3) & subset_of(x4,x2) & subset_of(x3,x2) & a_blue(s1) & Theme(s1,x2) & n_man(x1) & card_eq_2(x1))
exists p1 x1 x2 x3 x4.(n_day(x4) & of(x4,x2) & ne_geo_patrick(x2) & (x2 = x3) & ne_geo_st.(x3) & on(p1,x4) & exists x5.(in(x1,x5) & n_uniform(x5)) & n_man(x1) & card_eq_2(x1))