A man with an arm cast films something on video while another man is looking at the camera.
There are two people eating pies.
Two people eating aren't filming or looking at a the camera.
(-x)
exists p1 x1 x2 x3.((x1 = x2) & n_eating(x2) & Time(x2,x3) & n_pie(x3) & n_people(x2) & card_eq_2(x2))