A mother checking her son for lice.
The son has lice.
Just because the son is being checked for lice doesn't mean he has it.  He is checked for lice before it is known that he has it.
exists e1 x1 x2 x3 x4.(a_topic(x1) & for(e1,x4) & n_louse(x4) & Theme(e1,x3) & Actor(e1,x2) & v_check(e1) & n_son(x3) & of(x3,x1) & n_female(x1) & (x1 = x2) & n_mother(x1))
exists e1 x1 x2.(n_son(x1) & Theme(e1,x2) & Actor(e1,x1) & v_have(e1) & n_louse(x2))