Two infants are at play in the yard.
The infants are playing with toys.
The fact that two infants are at play doesn't imply that they are playing with toys.
exists p1 x1 x3.(n_yard(x3) & exists x2.(at(x1,x2) & in(x2,x3) & n_play(x2)) & n_infant(x1) & card_eq_2(x1))
exists e1 x1 x2.(n_infant(x1) & with(e1,x2) & n_toy(x2) & Actor(e1,x1) & v_play(e1))