The plants or shrubs have not been trimmed and are overgrown.
There are large bushes and weeds.
Shrubs that have not been trimmed and are overgrown are not weeds.
exists s1 x1 x2.((n_plant(x2) | n_shrub(x2)) & (n_plant(x1) | n_shrub(x1)) & Theme(s1,x2) & a_overgrown(s1) & -exists e1.(Theme(e1,x1) & v_trim(e1)))
exists p1 x1 s1 x2 x3 x4.((x1 = x2) & n_weed(x4) & n_bush(x3) & subset_of(x4,x2) & subset_of(x3,x2) & a_large(s1) & Theme(s1,x2))