a group of children are standing outside a building.
The children are sleeping on the floor.
Children cannot be standing and sleeping simultaneously nor can they be outside and on the floor at the same time.
exists e1 x1 x2 x3.(outside(e1,x3) & n_building(x3) & Actor(e1,x1) & v_stand(e1) & of(x1,x2) & n_child(x2) & n_group(x1))
exists e1 x1 x2.(n_floor(x2) & n_child(x1) & on(e1,x2) & Actor(e1,x1) & v_sleep(e1))