Three people stand at the top of an outdoor staircase.
Three people are outside.
If they are standing at the top of an outdoor staircase they must be outside.
exists e1 s1 x1 x2 x3.(n_top(x2) & at(e1,x2) & of(x2,x3) & n_staircase(x3) & a_outdoor(s1) & Theme(s1,x3) & Actor(e1,x1) & v_stand(e1) & n_people(x1) & card_eq_3(x1))
exists s1 x1.(Theme(s1,x1) & a_outside(s1) & n_people(x1) & card_eq_3(x1))