A man wearing an orange jacket, a ski cap, goggles and a backpack stands on what appears to be solid blue ice.
The man is swimming in the ocean.
The man cannot be swimming in an ocean if he is standing on solid blue ice.
exists e1 e2 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11.(exists e3 p1 x12.(n_thing(x12) & on(e2,x12) & Topic(e3,p1) & Actor(e3,x12) & v_appear(e3) & exists p2 s1 s2 x13.((x12 = x13) & n_ice(x13) & a_blue(s2) & Theme(s2,x13) & a_solid(s1) & Theme(s1,x13))) & Actor(e2,x1) & v_stand(e2) & subset_of(x6,x1) & subset_of(x9,x6) & subset_of(x11,x9) & n_backpack(x11) & subset_of(x10,x9) & n_goggles(x10) & subset_of(x7,x6) & n_cap(x7) & of(x7,x8) & n_ski(x8) & subset_of(x2,x1) & Theme(e1,x4) & Actor(e1,x3) & v_wear(e1) & n_jacket(x4) & of(x4,x5) & n_orange(x5) & (x2 = x3) & n_man(x2))
exists e1 x1 x2.(n_ocean(x2) & n_man(x1) & in(e1,x2) & Actor(e1,x1) & v_swim(e1))