Two men wearing headphones are working with machinery.
The men are working with machines.
Men are working with machinery which is the same term as machines.
exists e1 e2 x1 x2 x3 x4.(with(e2,x4) & n_machinery(x4) & Actor(e2,x1) & v_work(e2) & Theme(e1,x3) & Actor(e1,x2) & v_wear(e1) & n_headphone(x3) & (x1 = x2) & n_man(x1) & card_eq_2(x1))
exists e1 x1 x2.(n_man(x1) & with(e1,x2) & n_machine(x2) & Actor(e1,x1) & v_work(e1))