A man wearing only underwear and tennis shoes walking down the street.
The man is weird
You cannot infer that the man is weird just because of his outfit.
exists e1 e2 x1 x2 x3 x4 x5.(n_street(x5) & down(e2,x5) & Actor(e2,x3) & v_walk(e2) & n_shoe(x3) & of(x3,x4) & n_tennis(x4) & Theme(e1,x2) & Actor(e1,x1) & v_wear(e1) & all x6.(n_underwear(x6) -> (x2 = x6)) & n_underwear(x2) & n_man(x1))
exists s1 x1.(n_man(x1) & Theme(s1,x1) & a_weird(s1))