| v6523_a: [Sector of the counterparty] facts must (if reported) be one of the items [Central banks], [Credit institutions], [General governments], [Households], [Non-financial corporations], [Financial corporations other than credit institutions] (rule narrowing down v4019_a) --> [C 67.00.a (r020;030;040;050;060;070;080;090;100;110, s010)] {{C 67.00.a, c030}} ∈ {{[eba_CT:x10], [eba_CT:x12], [eba_CT:x1], [eba_CT:x5], [eba_CT:x20], [eba_CT:x18]}} FAILS because {eba_fmt:interval($a)} = (xs:QName('eba_CT:x10'), xs:QName('eba_CT:x12'), xs:QName('eba_CT:x1'), xs:QName('eba_CT:x5'), xs:QName('eba_CT:x20'), xs:QName('eba_CT:x18')) is not true |
| v6523_a: [C 67.00.a (r020;030;040;050;060;070;080;090;100;110, s010)] {{C 67.00.a, c030}} ∈ {{[eba_CT:x10], [eba_CT:x12], [eba_CT:x1], [eba_CT:x5], [eba_CT:x20], [eba_CT:x18]}} FAILS because {eba_fmt:interval($a)} = (xs:QName('eba_CT:x10'), xs:QName('eba_CT:x12'), xs:QName('eba_CT:x1'), xs:QName('eba_CT:x5'), xs:QName('eba_CT:x20'), xs:QName('eba_CT:x18')) is not true |