If you want to print out S1.x.y.z, you have to find the ID name for x, then y, then z and print that using print (ID ^z *) for y's ID. It would be much more convenient if we could do print (S1 ^x.y.z *). In other words, supporting dot syntax in WME names for the print command.