ConditionalRequirements on populated subproperty