three men at a washington mutual atm machine in the evening hours.
Three men talking with one another as they wait to use the atm.
Just because men are at an atm machine doesn't mean they are talking with one another and let alone they are waiting to atm.
exists s1 x1 x2 x3 x4 x5 x6.(n_hour(x5) & of(x5,x6) & n_evening(x6) & a_topic(x1) & in(x1,x5) & at(x1,x2) & n_machine(x2) & of(x2,x4) & n_atm(x4) & a_mutual(s1) & Theme(s1,x2) & of(x2,x3) & n_washington(x3) & n_man(x1) & card_eq_3(x1))
exists e1 p1 s1 x1 x2 x3 x4.(n_atm(x4) & a_topic(x1) & exists e2 p2.(Topic(e2,p2) & Actor(e2,x1) & v_wait(e2) & exists e3.(Theme(e3,x4) & Actor(e3,x1) & v_use(e3))) & n_thing(x1) & as(e1,p1) & with(e1,x3) & n_thing(x3) & card_eq_1(x3) & a_another(s1) & Theme(s1,x3) & Actor(e1,x2) & v_talk(e1) & (x1 = x2) & n_man(x1) & card_eq_3(x1))