A young child playing with a toy while laying on the floor.
The young child is indoors.
The child is likely to be indoors if he or she is laying on the floor. It would be the ground if outside.
(x)
exists p1 s1 x1.(n_child(x1) & a_young(s1) & Theme(s1,x1) & exists x2.((x1 = x2) & n_indoor(x2)))