A boy wearing a red jacket sits on his dad's shoulders while his father who is wearing a gray long-sleeved shirt and white shorts holds onto a large black dog by its leash.
The family is taking the dog home.
The father and son could be stationary rather than taking the dog anywhere, and might be going out somewhere other than the dog's home, or not going anywhere at all.
exists e1 e2 p1 s1 x1 x2 x3 x4 x5 x6 x12.(exists e4 e3 s2 s3 s4 s5 s6 x7 x8 x9 x10 x11.(by(e4,x12) & onto(e4,x11) & n_dog(x11) & a_black(s6) & Theme(s6,x11) & a_large(s5) & Theme(s5,x11) & Actor(e4,x6) & v_hold(e4) & Theme(e3,x8) & Actor(e3,x7) & v_wear(e3) & subset_of(x10,x8) & n_shorts(x10) & a_white(s4) & Theme(s4,x10) & subset_of(x9,x8) & n_shirt(x9) & a_long-sleeved(s3) & Theme(s3,x9) & a_gray(s2) & Theme(s2,x9) & (x6 = x7)) & n_leash(x12) & of(x12,x1) & n_thing(x1) & n_father(x6) & of(x6,x1) & n_male(x1) & n_male(x1) & while(e2,p1) & on(e2,x5) & n_shoulder(x5) & of(x5,x4) & n_dad(x4) & of(x4,x1) & Actor(e2,x1) & v_sit(e2) & Theme(e1,x3) & Actor(e1,x2) & v_wear(e1) & n_jacket(x3) & a_red(s1) & Theme(s1,x3) & (x1 = x2) & n_boy(x1))
exists e1 x1 x2 x3.(n_home(x2) & of(x2,x3) & n_dog(x3) & n_family(x1) & Theme(e1,x2) & Actor(e1,x1) & v_take(e1))