| 1 | ASSERTION_ByComponent | Roll up foots: pattern:TradeAndOtherReceivablesNet is expected to roll up. (by component) | $v:VARIABLE_Total = ($v:VARIABLE_A + $v:VARIABLE_B + $v:VARIABLE_C) | OK | 
         
            | 2 | ASSERTION_ByCurrentNoncurrent | Roll up foots: pattern:TradeAndOtherReceivablesNet is expected to roll up. (by current/noncurrent) | $v:VARIABLE_Total = ($v:VARIABLE_A + $v:VARIABLE_B) | OK | 
         
            | 3 | ASSERTION_ByNetGross | Roll up foots: pattern:TradeAndOtherReceivablesNet is expected to roll up. (by net/gross) | $v:VARIABLE_Total = ($v:VARIABLE_A - $v:VARIABLE_B) | OK |