Property:^halo:has domain and range