The plants or shrubs have not been trimmed and are overgrown.
This topiary has been neatly sculpted and trimmed.
it is not possible to have and do not have trimmed plants at the same time
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 e1 e2 s1 s2 x1.(n_topiary(x1) & a_neatly(s2) & Manner(e2,s2) & Theme(e2,x1) & v_trim(e2) & a_neatly(s1) & Manner(e1,s1) & Theme(e1,x1) & v_sculpt(e1))