Passersby in an outdoor mall.
The mall is indoor.
Outdoor is not the same as indoor.
exists s1 s2 x1.(ne_nam_passersby(s1) & a_topic(s1) & in(s1,x1) & n_mall(x1) & a_outdoor(s2) & Theme(s2,x1))
exists s1 x1.(n_mall(x1) & Theme(s1,x1) & a_indoor(s1))