The beautiful oriental building is being occupied.
There is a building
Building refers to the oriental building.
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 p1 x1 x2.((x1 = x2) & n_building(x2))