fn EExecAN &OB X Y Att Sg1 Sg2 FM = ( if (X==undefined) or (Y==undefined) then return false if (X.OB=="C") and (Y.OB=="C") then ( TOChisl_Create &OB (CompSum (CompSg X.C Sg1) (CompSg Y.C Sg2)) Att ) else if (Att.Chk==1) then TOEmpty_Create &OB Att return true ) -- EExecAN