A baby boy in a blue and white striped shirt is sitting on his mother's shoulders.
The baby is dressed.
The fact that the baby is in blue and white striped shirt implies the baby is dressed.
exists e1 s1 s2 s3 x1 x2 x3 x4 x5.(on(e1,x5) & n_shoulder(x5) & of(x5,x4) & n_mother(x4) & of(x4,x1) & n_male(x1) & Actor(e1,x1) & v_sit(e1) & in(x1,x3) & n_shirt(x3) & a_striped(s3) & Theme(s3,x3) & a_white(s2) & Theme(s2,x3) & a_blue(s1) & Theme(s1,x3) & n_boy(x1) & of(x1,x2) & n_baby(x2))
exists e1 x1.(n_baby(x1) & Theme(e1,x1) & v_dress(e1))