A female teacher with kids.
Lady shopping for clothing.
If the lady is shopping, she is not a teacher with kids.
exists s1 x1 x2.(a_topic(x1) & with(x1,x2) & n_kid(x2) & n_teacher(x1) & a_female(s1) & Theme(s1,x1))
exists s1 x1 x2.(a_topic(x1) & for(x1,x2) & n_clothing(x2) & n_shopping(x1) & a_lady(s1) & Theme(s1,x1))