Three women are sitting down in an amphitheater.
Three Women are at an amphitheater.
If people are sitting down in an amphitheater then they are at an amphitheater
exists e1 s1 x1 x2.(in(e1,x2) & n_amphitheater(x2) & a_down(s1) & Manner(e1,s1) & Actor(e1,x1) & v_sit(e1) & n_woman(x1) & card_eq_3(x1))
exists p1 x1.(exists x2.(at(x1,x2) & n_amphitheater(x2)) & n_woman(x1) & card_eq_3(x1))