A man with a red shirt and white shorts is walking near a man with a white shirt and black pants down a busy street.
The men know each other.
Just because two men are walking near one another doesn't imply they know each other.
exists e1 s1 s2 s3 s4 s5 x1 x2 x3 x4 x5 x6 x7 x8 x9.(near(e1,x5) & with(x5,x6) & subset_of(x8,x6) & down(x8,x9) & n_street(x9) & a_busy(s5) & Theme(s5,x9) & n_pants(x8) & a_black(s4) & Theme(s4,x8) & subset_of(x7,x6) & n_shirt(x7) & a_white(s3) & Theme(s3,x7) & n_man(x5) & Actor(e1,x1) & v_walk(e1) & with(x1,x2) & subset_of(x4,x2) & n_shorts(x4) & a_white(s2) & Theme(s2,x4) & subset_of(x3,x2) & n_shirt(x3) & a_red(s1) & Theme(s1,x3) & n_man(x1))
exists x1.(n_man(x1) & all x2.(n_other(x2) -> exists e1.(Theme(e1,x2) & Actor(e1,x1) & v_know(e1))))