`MarketValue` MUST exist at least once. `MarketValue` MUST exist at least once. `MarketValue` MUST exist at least once. `MarketValue` MUST exist at least once. `MarketValue` MUST exist at least once. `MarketValue` MUST exist at least once. `MarketValue` MUST exist at least once. `MarketValue` MUST exist at least once. `MarketValue` MUST exist at least once. `NumberOfUltimoReportingYear` MUST exist at least once. `NumberOfUltimoReportingYear` MUST exist at least once. `NumberOfUltimoReportingYear` MUST exist at least once. `NumberOfUltimoReportingYear` MUST exist at least once. `NumberOfUltimoReportingYear` MUST exist at least once. `NumberOfUltimoReportingYear` MUST exist at least once. `NumberOfUltimoReportingYear` MUST exist at least once. `NumberOfUltimoReportingYear` MUST exist at least once. `NumberOfUltimoReportingYear` MUST exist at least once. `NumberOfUltimoReportingYear` with `TypesOfRealEstateMember` MUST be equal to + `NumberOfUltimoReportingYear` with `UnitsInExploitationMember`. | {if (not(xff:has-fallback-value(xs:QName('varArc_MarketValueInRentedStateTotalDaebHousingDvi_Prt101VariableMembers1_Set00')))) then ((for $v in $varArc_MarketValueInRentedStateTotalDaebHousingDvi_Prt101VariableMembers1_Set00 return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_MarketValueInRentedStateTotalDaebHousingDvi_Prt101VariableMembers1_Set01')))) then ((for $v in $varArc_MarketValueInRentedStateTotalDaebHousingDvi_Prt101VariableMembers1_Set01 return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `PolicyValue` MUST be equal to + `MarketValue`. | {if (not(xff:has-fallback-value(xs:QName('varArc_MarketValueInRentedStateTotalDaebHousingDvi_PrtFST101Variable1_PolicyValue')))) then ((for $v in $varArc_MarketValueInRentedStateTotalDaebHousingDvi_PrtFST101Variable1_PolicyValue return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_MarketValueInRentedStateTotalDaebHousingDvi_PrtFST101Variable1_MarketValue')))) then ((for $v in $varArc_MarketValueInRentedStateTotalDaebHousingDvi_PrtFST101Variable1_MarketValue return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `PolicyValue` MUST be equal to + `MarketValue`. | {if (not(xff:has-fallback-value(xs:QName('varArc_MarketValueInRentedStateTotalDaebHousingDvi_PrtFST101Variable2_PolicyValue')))) then ((for $v in $varArc_MarketValueInRentedStateTotalDaebHousingDvi_PrtFST101Variable2_PolicyValue return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_MarketValueInRentedStateTotalDaebHousingDvi_PrtFST101Variable2_MarketValue')))) then ((for $v in $varArc_MarketValueInRentedStateTotalDaebHousingDvi_PrtFST101Variable2_MarketValue return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `PolicyValue` MUST be equal to + `MarketValue`. | {if (not(xff:has-fallback-value(xs:QName('varArc_MarketValueInRentedStateTotalDaebHousingDvi_PrtFST101Variable3_PolicyValue')))) then ((for $v in $varArc_MarketValueInRentedStateTotalDaebHousingDvi_PrtFST101Variable3_PolicyValue return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_MarketValueInRentedStateTotalDaebHousingDvi_PrtFST101Variable3_MarketValue')))) then ((for $v in $varArc_MarketValueInRentedStateTotalDaebHousingDvi_PrtFST101Variable3_MarketValue return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `PolicyValue` MUST be equal to + `MarketValue`. | {if (not(xff:has-fallback-value(xs:QName('varArc_MarketValueInRentedStateTotalDaebHousingDvi_PrtFST101Variable4_PolicyValue')))) then ((for $v in $varArc_MarketValueInRentedStateTotalDaebHousingDvi_PrtFST101Variable4_PolicyValue return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_MarketValueInRentedStateTotalDaebHousingDvi_PrtFST101Variable4_MarketValue')))) then ((for $v in $varArc_MarketValueInRentedStateTotalDaebHousingDvi_PrtFST101Variable4_MarketValue return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `PolicyValue` MUST exist at least once. `PolicyValue` MUST exist at least once. `PolicyValue` MUST exist at least once. `PolicyValue` MUST exist at least once. `PolicyValue` MUST exist at least once. `PolicyValue` MUST exist at least once. `PolicyValue` MUST exist at least once. `PolicyValue` MUST exist at least once. `PolicyValue` MUST exist at least once. `TypesOfRealEstateMember` MUST be equal to the summation of the underlying children members. | {if (not(xff:has-fallback-value(xs:QName('varArc_MarketValueInRentedStateTotalDaebHousingDvi_PrtFST1SumOfMembersOnAbstract1_Abstract_SumOfMembersOnAbstract')))) then ((for $v in $varArc_MarketValueInRentedStateTotalDaebHousingDvi_PrtFST1SumOfMembersOnAbstract1_Abstract_SumOfMembersOnAbstract return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_MarketValueInRentedStateTotalDaebHousingDvi_PrtFST1SumOfMembersOnAbstract1_Abstract_ChildrenMember')))) then ((for $v in $varArc_MarketValueInRentedStateTotalDaebHousingDvi_PrtFST1SumOfMembersOnAbstract1_Abstract_ChildrenMember return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}