Three workers are walking out of their secured building at the end of the day.
Three workers are walking out of their secured building and are going home.
Workers leaving their place of walk may be going somewhere else and may not be going home straight away.
exists e1 s1 x1 x2 x3 x4.(n_day(x4) & n_end(x3) & at(e1,x3) & of(x3,x4) & of(e1,x2) & n_building(x2) & a_secured(s1) & Theme(s1,x2) & of(x2,x1) & n_thing(x1) & r_out(e1) & Actor(e1,x1) & v_walk(e1) & n_worker(x1) & card_eq_3(x1))
exists e1 e2 s1 x1 x2 x3 x4.(Time(e2,x4) & n_home(x4) & Actor(e2,x3) & v_go(e2) & n_worker(x3) & card_eq_3(x3) & of(e1,x2) & n_building(x2) & a_secured(s1) & Theme(s1,x2) & of(x2,x1) & n_thing(x1) & r_out(e1) & Actor(e1,x1) & v_walk(e1) & n_worker(x1) & card_eq_3(x1))