There is a crowded store in the mall filled with brightly colored toys and accessories.
There is a crowded store.
The store in the mall is crowded.
exists p1 x1 x3.(n_mall(x3) & exists e1 e2 s1 x2 x4 x5 x6 x7.((x1 = x2) & in(x2,x3) & with(e1,x5) & n_accessory(x7) & n_toy(x6) & subset_of(x7,x5) & subset_of(x6,x5) & Theme(e2,x5) & v_color(e2) & r_brightly(x5) & Theme(e1,x4) & v_fill(e1) & (x3 = x4) & n_store(x2) & a_crowded(s1) & Theme(s1,x2)))
exists p1 x1 s1 x2.((x1 = x2) & n_store(x2) & a_crowded(s1) & Theme(s1,x2))