A young child playing with a toy while laying on the floor.
The child in inside.
The child is laying on the floor which suggests they are inside.
(x)
exists x1 x2.(n_child(x1) & a_topic(x1) & in(x1,x2) & n_inside(x2))