Index Index

Value Assertions

CodeLabelSeverity
dnb_v0001_mK000, c010 : (exists({r010})) and (exists({r020})) and (exists({r030})) and (exists({r040})) and (ex ...WARNING
dnb_v2001_mK050, c010 : exists({r010}) and exists({r020}) and exists({r030}) and exists({r040}) and exists({r05 ...ERROR
dnb_v2002_mK101-1, c010 : {r010} = {r190}ERROR
dnb_v2003_mK101-1, c010 : {r080} = {r160}ERROR
dnb_v2004_mK101-1, c010 : {r080} = sum({r[010, 020, 030, 040, 050, 060, 070]})ERROR
dnb_v2005_mK101-1, c010 : {r090} = {r180}ERROR
dnb_v2006_mK101-1, c010 : {r160} = sum({r[090, 100-150]})ERROR
dnb_v2007_mK101-1, c010 : {r230} = sum({r[180, 200, 220]}) - sum({r[190, 210]})ERROR
dnb_v2008_mK101-1, c010 : {r250} = sum({r[110-130, 230]}) div sum({r[110-130]})ERROR
dnb_v2009_mK101-1, c010 : if (exists({r110})) then (exists({r300})) else true()ERROR
dnb_v2010_mc010 : if (exists({K101-1, r110})) then ({K101-2}(exists({r010})) and (exists({r020})) and (exists({ ...ERROR
dnb_v2011_mc[010, 020, 030, 040], K201-1 : {r010} = sum({r[020, 030]})ERROR
dnb_v2012_mc[010, 020, 030, 040], K201-1 : {r040} = sum({r[050, 080]})ERROR
dnb_v2013_mK201-1, c[010, 020, 030, 040] : {r080} = sum({r[090, 100]}) {r050} = sum({r[060, 070]})ERROR
dnb_v2015_mc[010, 020, 030, 040], K201-1 : {r110} = sum({r[010, 040]})ERROR
dnb_v2016_mc[010, 020, 030, 040], K201-1 : {r140} = sum({r[120, 130]})ERROR
dnb_v2017_mc[010, 020, 030, 040], K201-1 : {r150} = sum({r[160, 170]})ERROR
dnb_v2018_mc[010, 020, 030, 040], K201-1 : {r200} = sum({r[150, 180, 190]})ERROR
dnb_v2019_mc[050, 060], K201-1 : {r200} = sum({r[150, 180, 190]})ERROR
dnb_v2020_mc[010, 020, 030, 040], K201-1 : {r210} = sum({r[220, 230]})ERROR
dnb_v2021_mc[010, 020, 030, 040], K201-1 : {r240} = sum({r[250, 260]})ERROR
dnb_v2022_mc[010, 020, 030, 040], K201-1 : {r270} = sum({r[280-310]})ERROR
dnb_v2023_mc[010, 020, 030, 040], K201-1 : {r320} = sum({r[330-420]})ERROR
dnb_v2024_mc[010, 020, 030, 040], K201-1 : {r430} = sum({r[440, 450]})ERROR
dnb_v2025_mc[010, 020, 030, 040], K201-1 : {r460} = sum({r[210, 240, 270, 320, 430]})ERROR
dnb_v2026_mc[050, 060], K201-1 : {r460} = sum({r[210, 240, 270, 320, 430]})ERROR
dnb_v2027_mc[010, 020, 030, 040], K201-1 : {r530} = sum({r[490-520]})ERROR
dnb_v2028_mc[050, 060], K201-1 : {r530} = sum({r[490-520]})ERROR
dnb_v2029_mc[020, 030, 040], K201-1 : {r550} = sum({r[110, 140, 200, 460-480, 530, 540]})ERROR
dnb_v2030_mc[050, 060] : sum({K201-1, r[110, 140, 200, 460-480, 530, 540]}) = 1ERROR
dnb_v2031_mr[010, 040, 110, 140, 200, 460-480, 530], K201-1 : if ({c060} > 0) then (({c070} <= {c060}) and ({c0 ...ERROR
dnb_v2032_mr[010, 110, 140, 200, 460-480, 530], K201-1 : if (exists({c030})) then ((exists({c050})) and (exists ...ERROR
dnb_v2033_mK201-1, c050 : {r210} = sum({r[220, 230]})ERROR
dnb_v2034_mK201-1, c050 : {r240} = sum({r[250, 260]})ERROR
dnb_v2035_mK201-1, c050 : {r270} = sum({r[280-310]})ERROR
dnb_v2036_mK201-1, c050 : {r320} = sum({r[330-420]})ERROR
dnb_v2037_mK201-1, c050 : {r430} = sum({r[440, 450]})ERROR
dnb_v2038_mK201-1, c010 : {r550} = sum({r[110, 140, 200, 460-480, 530]})ERROR
dnb_v2039_mK201-1 : if (exists({c050, r580})) then (exists({r590, c[060, 070, 080]})) else true()ERROR
dnb_v2040_mK201-1 : if ({c030, r550} > 0) then ({c050}(exists({r570})) and (exists({r580}))) else true()ERROR
dnb_v2041_mK201-1 : if ({c030, r550} > 0) then (exists({c090, r600})) else true()ERROR
dnb_v2042_mc[020, 030], K201-2 : {r090} = sum({r[010, 020, 030, 040, 050, 060, 070, 080]})ERROR
dnb_v2043_mK201-2, c010 : {r090} = sum({r[010, 020, 030, 040, 050, 060, 070]})ERROR
dnb_v2044_mK201-2 : if ({c030, r090} > 0) then (exists({c040, r100})) else true()ERROR
dnb_v2045_mc*, K202 : {r080} = sum({r[010, 020, 030, 040, 050, 060, 070]})ERROR
dnb_v2046_mc[020, 030, 040, 050], K202 : if (exists({r090})) then (exists({r100})) else true()ERROR
dnb_v2047_mc[010, 020, 030, 040, 050, 060], K203 : {r010} = sum({r[020, 030]})ERROR
dnb_v2048_mc[010, 020, 030, 040, 050, 060], K203 : {r040} = sum({r[050, 060]})ERROR
dnb_v2049_mc[010, 020, 030, 040, 050, 060], K203 : {r070} = sum({r[080, 090, 100, 110]})ERROR
dnb_v2050_mc[010, 020, 030, 040, 050, 060], K203 : {r120} = sum({r[130-220]})ERROR
dnb_v2051_mc[010, 020, 030, 040, 050, 060], K203 : {r230} = sum({r[240, 250]})ERROR
dnb_v2052_mc[010, 020, 030, 040, 050, 060], K203 : {r260} = sum({r[010, 040, 070, 120, 230]})ERROR
dnb_v2053_mc[010, 020, 030, 040, 050, 060], K203 : if (exists({r260})) then (exists({r270})) else true()ERROR
dnb_v2054_mK203 : if (sum({r260, c[010, 020, 030]}) > 0) then ({c070}({r270} > 0) and ({r280} > 0) and ({r290} ...ERROR
dnb_v2055_mc*, K204 : {r070} = sum({r[010, 020, 030, 040, 050, 060]})ERROR
dnb_v2056_mK204, c* : {r120} = sum({r[080, 090, 100, 110]}) {r220} = sum({r[180-210]}) {r170} = sum({r[130- ...ERROR
dnb_v2059_mc*, K204 : {r250} = sum({r[230, 240]})ERROR
dnb_v2060_mc[010, 030, 040, 050, 060, 070, 080], K204 : {r300} = sum({r[260-290]})ERROR
dnb_v2061_mK205 : {c040, r090} = sum({c060, r[010, 020, 030, 040, 050, 060, 070, 080]}) {c010, r090} = sum({ ...ERROR
dnb_v2063_mc[010, 020, 030, 040, 050, 060, 070, 090, 100-140], K206 : {r040} = sum({r[050, 060, 070]})ERROR
dnb_v2064_mc[010, 020, 030, 040, 050, 060, 070, 090, 100-140], K206 : {r270} = {r110} div {r260}ERROR
dnb_v2065_mc[020, 030, 040, 050, 060, 070, 090, 100-140], K206 : {r180} = sum({r[190-240]})ERROR
dnb_v2070_mK206, c010 : {r110} = sum({r[020, 030, 040, 080, 090, 100]})ERROR
dnb_v2071_mK206, c010 : {r260} = sum({r[130-170, 250]})ERROR
dnb_v2072_mc*, K802 : {r040} = sum({r[010, 020, 030]})ERROR
dnb_v2073_mc*, K802 : {r070} = sum({r[050, 060]})ERROR
dnb_v2074_mc*, K802 : {r110} = sum({r[080, 090, 100]})ERROR
dnb_v2075_mc*, K802 : {r170} = sum({r[120-160]})ERROR
dnb_v2076_mc*, K802 : {r210} = sum({r[040, 070, 110, 170-200]})ERROR
dnb_v2077_mc[050, 060], K201-1 : {r140} = sum({r[120, 130]})ERROR
dnb_v2078_mc[050, 060], K201-1 : {r150} = sum({r[160, 170]})ERROR
dnb_v2079_mK201-1, c050 : {r010} = sum({r[020, 030]})ERROR
dnb_v2080_mK201-1, c050 : {r040} = sum({r[050, 080]})ERROR
dnb_v2081_mK201-1, c050 : {r080} = sum({r[090, 100]}) {r050} = sum({r[060, 070]})ERROR
dnb_v2083_mK201-1, c050 : {r110} = sum({r[010, 040]})ERROR
dnb_v2084_mK201-1, c060 : {r110} = sum({r[010, 050, 080]})ERROR
dnb_v2085_m{K101-1, c010, r260} = (sum({K101-1, c010, r[110-130]}) + ({K101-2, c030, r140})) div sum({K101-1, c ...ERROR
dnb_v2087_m{K101-1, c010, r270} = (sum({K101-1, c010, r[110-130]}) + ({K101-2, c050, r140})) div sum({K101-1, c ...ERROR
dnb_v2089_m{K101-1, c010, r030} = {K201-1, c030, r550}ERROR
dnb_v2090_m{K101-1, c010, r040} = {K201-2, c030, r090}ERROR
dnb_v2091_m{K201-1, c010, r550} = sum({K202, r080, c*}) {K201-1, c010, r530} = sum({K202, r070, c*}) {K201-1, c ...ERROR
dnb_v2099_m{K201-1, c010, r460} = sum({K203, r260, c[010, 020, 030, 040, 050, 060]}) {K201-1, c010, r450} = sum ...ERROR
dnb_v2125_m{K201-1, c020, r550} = sum({K204, c010, r[070, 120, 170, 220, 250, 300]})ERROR
dnb_v2126_mif ({K201-1, c050}(exists({r570})) or (exists({r580}))) then (exists({K207, c010, r040})) else true( ...ERROR
dnb_v2127_mif ({K201-1, c090, r600}(exists(K201-1)) or (K201-1 = 0)) then (exists({K207, c010, r030})) else tru ...ERROR
dnb_v2128_mif ({K201-2, c040, r100}(exists(K201-2)) or (K201-2 = 0)) then (exists({K207, c010, r030})) else tru ...ERROR
dnb_v2129_mif ({K202, r100}(not(exists({c[020, 030, 040, 050]}))) or (({c020} = 0) and ({c030} = 0) and ({c040} ...ERROR
dnb_v2130_m{K201-1, c010, r050} = sum({K802, r020, c*}) {K201-1, c010, r460} = sum({K802, r170, c*}) {K201-1, c ...ERROR
dnb_v2131_mK206 : {c020, r110} = sum({c010, r[020, 080]}) + sum({c020, r[030, 040, 090, 100]})ERROR
dnb_v2132_mK206 : {c030, r110} = sum({c010, r[020, 080]}) + sum({c030, r[030, 040, 090, 100]})ERROR
dnb_v2133_mK206 : {c040, r110} = sum({c010, r[020, 080]}) + sum({c040, r[030, 040, 090, 100]})ERROR
dnb_v2134_mK206 : {c050, r110} = sum({c010, r[020, 080]}) + sum({c050, r[030, 040, 090, 100]})ERROR
dnb_v2135_mK206 : {c060, r110} = sum({c010, r[020, 080]}) + sum({c060, r[030, 040, 090, 100]})ERROR
dnb_v2136_mK206 : {c070, r110} = sum({c010, r[020, 080]}) + sum({c070, r[030, 040, 090, 100]})ERROR
dnb_v2137_mK206 : {c090, r110} = sum({c080, r[010, 020, 080]}) + sum({c090, r[030, 040, 090, 100]})ERROR
dnb_v2138_mK206 : {c100, r110} = sum({c080, r[010, 020, 080]}) + sum({c100, r[030, 040, 090, 100]})ERROR
dnb_v2139_mK206 : {c110, r110} = sum({c080, r[010, 020, 080]}) + sum({c110, r[030, 040, 090, 100]})ERROR
dnb_v2140_mK206 : {c120, r110} = sum({c080, r[010, 020, 080]}) + sum({c120, r[030, 040, 090, 100]})ERROR
dnb_v2141_mK206 : {c130, r110} = sum({c080, r[010, 020, 080]}) + sum({c130, r[030, 040, 090, 100]})ERROR
dnb_v2142_mK206 : {c140, r110} = sum({c080, r[010, 020, 080]}) + sum({c140, r[030, 040, 090, 100]})ERROR
dnb_v2143_mK206 : {c020, r260} = sum({c010, r[130, 170]}) + sum({c020, r[140-160, 180, 250]})ERROR
dnb_v2144_mK206 : {c030, r260} = sum({c010, r[130, 170]}) + sum({c030, r[140-160, 180, 250]})ERROR
dnb_v2145_mK206 : {c040, r260} = sum({c010, r[130, 170]}) + sum({c040, r[140-160, 180, 250]})ERROR
dnb_v2146_mK206 : {c050, r260} = sum({c010, r[130, 170]}) + sum({c050, r[140-160, 180, 250]})ERROR
dnb_v2147_mK206 : {c060, r260} = sum({c010, r[130, 170]}) + sum({c060, r[140-160, 180, 250]})ERROR
dnb_v2148_mK206 : {c070, r260} = sum({c010, r[130, 170]}) + sum({c070, r[140-160, 180, 250]})ERROR
dnb_v2149_mK206 : {c090, r260} = sum({c080, r[120, 130, 170]}) + sum({c090, r[140-160, 180, 250]})ERROR
dnb_v2150_mK206 : {c100, r260} = sum({c080, r[120, 130, 170]}) + sum({c100, r[140-160, 180, 250]})ERROR
dnb_v2151_mK206 : {c110, r260} = sum({c080, r[120, 130, 170]}) + sum({c110, r[140-160, 180, 250]})ERROR
dnb_v2152_mK206 : {c120, r260} = sum({c080, r[120, 130, 170]}) + sum({c120, r[140-160, 180, 250]})ERROR
dnb_v2153_mK206 : {c130, r260} = sum({c080, r[120, 130, 170]}) + sum({c130, r[140-160, 180, 250]})ERROR
dnb_v2154_mK206 : {c140, r260} = sum({c080, r[120, 130, 170]}) + sum({c140, r[140-160, 180, 250]})ERROR

Legal Notice: This demo website displays data, which is publicly available on the Internet. Copyright of all materials is owned by the corresponding data provider. Links to data providers are given for each taxonomy. Data is displayed without any change of lexical information, or identifiers. No part of this website should be considered normative information.

© 2021 by Skynet LLC