Baseball player number four races to first base while his teammate slides into second, number six of the opposing team is ready to catch the ball at second base.
There are three baseball players.
Number four is the first player, his teamate must be second, and a player of the opposing team must be distinct from those two, giving a total of three players.
(x)
exists p1 x1 x2 x3.((x1 = x2) & n_player(x2) & of(x2,x3) & n_baseball(x3) & card_eq_3(x2))