A man is bowling at an alley with cosmic imagery including bowling balls and pins above the lanes.
The man is playing pool.
The man is bowling. He is not playing pool.
exists e1 s1 x1 x2 x3 x4 x5 x6 x7 x8.(n_lane(x8) & at(e1,x2) & with(x2,x3) & include(x3,x4) & subset_of(x7,x4) & above(x7,x8) & n_pin(x7) & subset_of(x5,x4) & n_ball(x5) & of(x5,x6) & n_bowling(x6) & n_imagery(x3) & a_cosmic(s1) & Theme(s1,x3) & n_alley(x2) & Actor(e1,x1) & v_bowl(e1) & n_man(x1))
exists e1 x1 x2.(n_man(x1) & Theme(e1,x2) & Actor(e1,x1) & v_play(e1) & n_pool(x2))