mod IFNGRULES is inc ALLOPS .

var xout : Soup .
vars clo clm clr cli clc nuo num nui nuc : Soup .
var tak1c ifngc : Soup .

*** ~/evidence/Ifng-Evidence/00Ifng-Evidence.txt

rl[1562.IfngR1.IfngR2.irt.Ifng]:
  {XOut   | xout  Ifng                       }
  {IfngRC | ifngc IfngR2                     }
  {CLm    | clm   IfngR1                     }
  =>
  {XOut   | xout                             }
  {IfngRC | ifngc (Ifngs : IfngR2 : IfngR1)  }
  {CLm    | clm                              } .
  ----------------------------------------------
  *** ~/evidence/Ifnab-Evidence/IfngR1.IfngR2.irt.Ifng.1562.txt

endm
