myDocument isa CATPart
{
      myPart isa Part
      {
        RBase isa KWERuleBase
        {
                  RSet isa KWERuleSet
                  {
                     C isa KWECheck
                     {
                        Variables="P:Pad";
                        RuleBody="P\SecondLength>10.0mm";
                     }
                     R isa KWERule
                     {
                        Variables="P:Pad";
                        RuleBody="if P\FirstLength==10.0mm P\FirstLength=20.0mm";
                     }
                  }
       }
     }
}