Three people are looking at a large pile of stones.
Three people are near each other.
For three people to be looking at stones they would have to be near each other.
exists e1 s1 x1 x2 x3.(at(e1,x2) & of(x2,x3) & n_stone(x3) & n_pile(x2) & a_large(s1) & Theme(s1,x2) & Actor(e1,x1) & v_look(e1) & n_people(x1) & card_eq_3(x1))
exists p1 x1.(all x2.(n_other(x2) -> near(x1,x2)) & n_people(x1) & card_eq_3(x1))