a young man wearing a yellow bat man shirt looks smiling at a young man wearing an orange shirt.
Two men with colorful shirts see each other.
A young man wearing a yellow shirt looks smiling at a young man wearing an orange shirt implies that the two men with colorful shirts see each other.
exists e3 e4 e1 e2 s1 s2 s3 x1 x2 x3 x4 x5 x6 x7 x8 x9.(for(e2,e3) & at(e3,x6) & Theme(e4,x8) & Actor(e4,x7) & v_wear(e4) & n_shirt(x8) & of(x8,x9) & n_orange(x9) & (x6 = x7) & n_man(x6) & a_young(s3) & Theme(s3,x6) & Actor(e3,x1) & v_smile(e3) & Actor(e2,x1) & v_look(e2) & Theme(e1,x3) & Actor(e1,x2) & v_wear(e1) & n_shirt(x3) & of(x3,x5) & n_man(x5) & of(x3,x4) & n_bat(x4) & a_yellow(s2) & Theme(s2,x3) & (x1 = x2) & n_man(x1) & a_young(s1) & Theme(s1,x1))
exists s1 x1 x2.(all x3.(n_other(x3) -> exists e1.(Theme(e1,x3) & Actor(e1,x1) & v_see(e1))) & with(x1,x2) & n_shirt(x2) & a_colorful(s1) & Theme(s1,x2) & n_man(x1) & card_eq_2(x1))