Three football players are in action on the field
Three football players are sitting on the bench.
The players can not be in action on the field if they are sitting on the bench.
exists p1 x1 x2 x4.(n_field(x4) & exists x3.(in(x1,x3) & on(x3,x4) & n_action(x3)) & n_player(x1) & of(x1,x2) & n_football(x2) & card_eq_3(x1))
exists e1 x1 x2 x3.(n_bench(x3) & on(e1,x3) & Actor(e1,x1) & v_sit(e1) & n_player(x1) & of(x1,x2) & n_football(x2) & card_eq_3(x1))