A baseball pitcher standing on a mound with the number 35 on his red and white uniform.
A baseball pitcher standing on a mound with the number 42 on his red and white uniform.
The baseball pitcher cannot have both 35 and 42 on his uniform. They must be two different people.
exists e1 s1 s2 x1 x2 x3 x4 x5 x6.(n_number(x5) & card_eq_35(x5) & a_topic(x1) & with(e1,x5) & on(x5,x6) & n_uniform(x6) & a_white(s2) & Theme(s2,x6) & a_red(s1) & Theme(s1,x6) & of(x6,x1) & n_male(x1) & on(e1,x4) & n_mound(x4) & Actor(e1,x3) & v_stand(e1) & (x1 = x3) & n_pitcher(x1) & of(x1,x2) & n_baseball(x2))
exists e1 s1 s2 x1 x2 x3 x4 x5 x6 x7.(n_uniform(x7) & a_white(s2) & Theme(s2,x7) & a_red(s1) & Theme(s1,x7) & of(x7,x5) & n_male(x5) & n_number(x5) & a_topic(x1) & on(e1,x7) & with(e1,x5) & Time(x5,x6) & n_42(x6) & on(e1,x4) & n_mound(x4) & Actor(e1,x3) & v_stand(e1) & (x1 = x3) & n_pitcher(x1) & of(x1,x2) & n_baseball(x2))