Three people are in an alley with a dumpster, one skateboarding over the dumpster while the other two look on.
Tall people that are happy
It is possible to have three people who are not all tall just because they are skateboarding and looking on does not mean they are happy.
exists p1 s1 x1 x2.(-(x2 = x2) & n_look(x2) & card_eq_2(x2) & a_on(s1) & Manner(p1,s1) & while(p1,x2) & exists x3 x4 x5.(in(x1,x3) & with(x3,x4) & rel(x4,x5) & over(x5,x4) & n_dumpster(x4) & n_dumpster(x4) & n_skateboarding(x5) & card_eq_1(x5) & n_alley(x3)) & n_people(x1) & card_eq_3(x1))
exists s1 x1 x2 x3.(a_topic(x1) & Theme(s1,x3) & a_happy(s1) & (x1 = x3) & n_people(x1) & (x1 = x2) & ne_nam_tall(x2))