A man sleeps against a building, as another enters the building.
There are two men using the same building for different purposes.
two men using the same building for different purposes is the same as man sleeps against a building, as another enters the building.
exists e1 p1 x1 x2.(exists e2 x3.(Theme(e2,x2) & Actor(e2,x3) & v_enter(e2) & n_thing(x3)) & n_building(x2) & n_building(x2) & as(e1,p1) & against(e1,x2) & Actor(e1,x1) & v_sleep(e1) & n_man(x1))
exists p1 s1 x1 x4 x6.(n_purpose(x6) & n_building(x4) & a_same(s1) & Theme(s1,x4) & exists e1 x2 x3 x5.((x1 = x2) & for(e1,x5) & -(x5 = x6) & n_purpose(x5) & Theme(e1,x4) & Actor(e1,x3) & v_use(e1) & (x2 = x3) & n_man(x2) & card_eq_2(x2)))