A kid sitting with no shirt or shoes on examining something he has found.
The kid is an orphan and doesn't own a shirt.
A kid with no shirt does not imply the kid is an orphan or doesn't own a shirt.
exists e1 x1 x2.(a_topic(x1) & (-exists x3.(with(e1,x3) & n_shirt(x3)) | exists e2 e3 x4 x5 x6 x7.(with(e1,x4) & Theme(e3,x6) & Actor(e3,x5) & v_examine(e3) & Theme(e2,x7) & Actor(e2,x1) & v_find(e2) & (x6 = x7) & n_thing(x6) & (x4 = x5) & n_shoe(x4))) & n_male(x1) & Actor(e1,x2) & v_sit(e1) & (x1 = x2) & n_kid(x1))
exists p1 x1.(n_kid(x1) & -exists e1 x3.(Theme(e1,x3) & Actor(e1,x1) & v_own(e1) & n_shirt(x3)) & exists x2.((x1 = x2) & n_orphan(x2)))