The children are playing basketball indoors.
A group of children are playing basketball in the gym.
The children are playing basketball indoors does not imply that they are playing basketball in the gym.
exists e1 x1 x2 x3.(n_child(x1) & Theme(e1,x2) & Actor(e1,x1) & v_play(e1) & n_indoor(x2) & of(x2,x3) & n_basketball(x3))
exists e1 x1 x2 x3 x4.(n_gym(x4) & in(e1,x4) & Theme(e1,x3) & Actor(e1,x1) & v_play(e1) & n_basketball(x3) & of(x1,x2) & n_child(x2) & n_group(x1))