BCP037 Error for Valid 'networkGroupAddressSpaceAggregationOption' Property

### Resource Type

Microsoft.Network/networkManagers/securityAdminConfigurations

### Api Version

2024-01-01

### Issue Type

Missing property(s)

### Other Notes

I'm encountering an issue with Bicep where I'm receiving a BCP037 error stating that the property 'networkGroupAddressSpaceAggregationOption' is not allowed on objects of type 'SecurityAdminConfigurationPropertiesFormat' and no other properties are allowed. However, this seems to be a false positive. The property is valid and it transpiles to ARM without any issues.

The error message is misleading and causing confusion. Moreover, this property is not even present in the documentation which adds to the confusion. If this is an inaccuracy in the documentation, it would be great if it could be addressed.

https://learn.microsoft.com/pt-br/azure/templates/microsoft.network/networkmanagers/securityadminconfigurations?pivots=deployment-language-arm-template

### Bicep Repro

``` bicep
resource adminRuleInterTier 'Microsoft.Network/networkManagers/securityAdminConfigurations@2024-01-01' = {
name: 'example'
parent: adpNetworkManager
properties: {
applyOnNetworkIntentPolicyBasedServices: ['None']
networkGroupAddressSpaceAggregationOption: 'Manual'
description: 'example'
}
}
```

### Confirm

- [X] I have read the troubleshooting guide and looked for duplicates.

Start with the Bicep repro for Microsoft.Network/networkManagers/securityAdminConfigurations at API version 2024-01-01 and compare its type definition with the ARM template documentation linked in the issue. Confirm that networkGroupAddressSpaceAggregationOption is accepted and that the BCP037 error no longer occurs; update the missing definition if needed.

Written by the indexing model from the issue text.