A woman and a small child build a snowman as a beige dog lays next to them in the snow.
The dog is clawing the snowman.
If the dog lays then the dog can not be clawing.
exists e1 p1 s1 x1 x2 x3 x4 x6.(n_snow(x6) & n_thing(x6) & exists e2 p2 s2 x5.(in(e2,x6) & exists s3.(to(s3,x6) & Theme(s3,x5) & a_next(s3)) & Topic(e2,p2) & Actor(e2,x5) & v_lay(e2) & n_dog(x5) & a_beige(s2) & Theme(s2,x5)) & as(e1,p1) & Theme(e1,x4) & Actor(e1,x1) & v_build(e1) & n_snowman(x4) & subset_of(x3,x1) & n_child(x3) & a_small(s1) & Theme(s1,x3) & subset_of(x2,x1) & n_woman(x2))
exists e1 x1 x2.(n_snowman(x2) & n_dog(x1) & Theme(e1,x2) & Actor(e1,x1) & v_claw(e1))