The windows of the building are barred.
An abandoned building.
Sentence said the windows of the building are barred, it does not infer that the building is abandoned.
exists e1 x1 x2.(n_building(x2) & n_window(x1) & Theme(e1,x1) & v_bar(e1) & of(x1,x2))
exists s1 x1.(a_topic(x1) & n_building(x1) & a_abandoned(s1) & Theme(s1,x1))