Value Assertion: s2md_TV40-1

Codes2md_TV40-1
Ids2md_TV40-1
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
TV40-1: if not(empty({{S.30.02.01.02, c0250}})) then not(empty({{S.30.02.01.03, c0320}}))
enhttp://www.xbrl.org/2010/role/terseMessage
TV40-1: if not(empty({{S.30.02.01.02, c0250}})) then not(empty({{S.30.02.01.03, c0320}}))

Label(s)

LangRole/Text
enhttp://www.xbrl.org/2008/role/label
TV40: There is at least one reinsurer for facultative cover reported in Table 2 of S.30.02 that is not reported in Table 3 of S.30.02 -->Template 1: S.30.02; Expression: If {S.30.02, c0250}<>empty then {S.30.02, c0320}<>empty
enhttp://www.xbrl.org/2008/role/verboseLabel
TV40: There is at least one reinsurer for facultative cover reported in Table 2 of S.30.02 that is not reported in Table 3 of S.30.02 -->Template 1: S.30.02; Expression: If {S.30.02, c0250}<>empty then {S.30.02, c0320}<>empty