Four people sit on the steps of the entrance to a building.
People are locked outside of their building.
People sitting outside of an entrance are not necessarily locked out. They might not even want to go inside.
exists e1 x1 x2 x3 x4.(n_entrance(x3) & n_step(x2) & on(e1,x2) & to(x2,x4) & n_building(x4) & of(x2,x3) & Actor(e1,x1) & v_sit(e1) & n_people(x1) & card_eq_4(x1))
exists e1 x1 x2.(of(e1,x2) & n_building(x2) & of(x2,x1) & n_thing(x1) & r_outside(e1) & Theme(e1,x1) & v_lock(e1) & n_people(x1))