Taxonomy Viewer

Value Assertion: valueAssertion_SaleToFutureResidentsNonDaebCompoundHousingDpi_PrtFST1ExistenceThnExistenceCovU2

Code	valueAssertion_SaleToFutureResidentsNonDaebCompoundHousingDpi_PrtFST1ExistenceThnExistenceCovU2
Id	valueAssertion_SaleToFutureResidentsNonDaebCompoundHousingDpi_PrtFST1ExistenceThnExistenceCovU2
Severity	ERROR
Aspect Model	dimensional
Implicit Filtering	true
Test	not(xff:has-fallback-value(xs:QName('varArc_SaleToFutureResidentsNonDaebCompoundHousingDpi_PrtFST1ExistenceThnExistenceCovU2_SaleToFutureResidentsMarketValue')))

Lang	Role/Text
en	http://www.xbrl.org/2010/role/message
`SaleToFutureResidentsMarketValue` MUST exist at least once within the same context, because `SaleToFutureResidentsNumber` is reported. \| {if (not(xff:has-fallback-value(xs:QName('varArc_SaleToFutureResidentsNonDaebCompoundHousingDpi_PrtFST1ExistenceThnExistenceCovU2_SaleToFutureResidentsNumber')))) then ((for $v in $varArc_SaleToFutureResidentsNonDaebCompoundHousingDpi_PrtFST1ExistenceThnExistenceCovU2_SaleToFutureResidentsNumber return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' \| "))) else ''}
nl	http://www.xbrl.org/2010/role/message
`SaleToFutureResidentsMarketValue` MOET minimaal één keer voorkomen binnen dezelfde context, omdat `SaleToFutureResidentsNumber` wordt gerapporteerd. \| {if (not(xff:has-fallback-value(xs:QName('varArc_SaleToFutureResidentsNonDaebCompoundHousingDpi_PrtFST1ExistenceThnExistenceCovU2_SaleToFutureResidentsNumber')))) then ((for $v in $varArc_SaleToFutureResidentsNonDaebCompoundHousingDpi_PrtFST1ExistenceThnExistenceCovU2_SaleToFutureResidentsNumber return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' \| "))) else ''}

Lang	Role/Text
en	http://www.xbrl.org/2008/role/label
When `SaleToFutureResidentsNumber` is reported then `SaleToFutureResidentsMarketValue` MUST exist at least once within the same context.
nl	http://www.xbrl.org/2008/role/label
Wanneer `SaleToFutureResidentsNumber` wordt gerapporteerd dan MOET `SaleToFutureResidentsMarketValue` minimaal één keer voorkomen binnen dezelfde context.