PropertyIsId assertion