A member server should show "Type: NT5DS", which indicates it's syncing from the domain hierarchy. The PDCe should show "Type: NTP" to indicate that it's configured to use an NTP server. Use w32tm /query /source to see what the current running source is. If the Windows Time service is unable to contact the configured NTP server, this may return "Local CMOS Clock" or "Free-Running System Clock". Otherwise, it will return the NTP server or the DC that the server is currently syncing with.