Value Assertion: s2md_TV46-2

Codes2md_TV46-2
Ids2md_TV46-2
SeverityERROR
Aspect Modeldimensional
Implicit Filteringtrue
Testif (not((empty(($a))))) then (not((empty(($b))))) else (true())

Unsatisfied Message(s)

LangRole/Text
enhttp://www.xbrl.org/2010/role/message
TV46-2: if not(empty({{S.31.01.01.01, c0110}})) then not(empty({{S.31.01.01.02, c0200}}))
enhttp://www.xbrl.org/2010/role/terseMessage
TV46-2: if not(empty({{S.31.01.01.01, c0110}})) then not(empty({{S.31.01.01.02, c0200}}))

Label(s)

LangRole/Text
enhttp://www.xbrl.org/2008/role/label
TV46: There is at least one reinsurer reported in Table 1 of S.31.01 that is not reported in Table 2 of S.31.01 -->Template 1: S.31.01; Expression: If {S.31.01, c0110}<>empty then {S.31.01, c0200}<>empty
enhttp://www.xbrl.org/2008/role/verboseLabel
TV46: There is at least one reinsurer reported in Table 1 of S.31.01 that is not reported in Table 2 of S.31.01 -->Template 1: S.31.01; Expression: If {S.31.01, c0110}<>empty then {S.31.01, c0200}<>empty