Property:^halo:has max cardinality