Property:^halo:has min cardinality