A long red beach with round tables is outside in front of a pub.
There is a group of people outside the pub smoking on the red beach.
You cant infer that the people are smoking
exists s1 s2 s3 s4 x1 x2 x3 x4.(in(s4,x3) & of(x3,x4) & n_pub(x4) & n_front(x3) & Theme(s4,x1) & a_outside(s4) & with(x1,x2) & n_table(x2) & a_round(s3) & Theme(s3,x2) & n_beach(x1) & a_red(s2) & Theme(s2,x1) & a_long(s1) & Theme(s1,x1))
exists p1 s1 x1 x4 x5 x6.(n_beach(x6) & a_red(s1) & Theme(s1,x6) & n_smoking(x4) & of(x4,x5) & n_pub(x5) & exists x2 x3.((x1 = x2) & on(x2,x6) & of(x2,x3) & outside(x3,x4) & n_people(x3) & n_group(x2)))