The beautiful oriental building is being occupied.
The building is empty.
The building cannot be occupied and empty at the same time.
exists e1 s1 s2 x1.(n_building(x1) & a_oriental(s2) & Theme(s2,x1) & a_beautiful(s1) & Theme(s1,x1) & Theme(e1,x1) & v_occupy(e1))
exists s1 x1.(n_building(x1) & Theme(s1,x1) & a_empty(s1))