Child with black glasses and a blue polo shirt.
The child needs to wear glasses.
Just because the child is wearing glasses doesn't mean he needs to wear them.
exists s1 s2 x1 x2 x3 x4 x5.(a_topic(x1) & with(x1,x2) & subset_of(x4,x2) & n_shirt(x4) & of(x4,x5) & n_polo(x5) & a_blue(s2) & Theme(s2,x4) & subset_of(x3,x2) & n_glass(x3) & a_black(s1) & Theme(s1,x3) & n_child(x1))
exists e1 p1 x1.(n_child(x1) & Topic(e1,p1) & Actor(e1,x1) & v_need(e1) & exists e2 x2.(Theme(e2,x2) & Actor(e2,x1) & v_wear(e2) & n_glass(x2)))