*DECK CLAUSEC 
USETEXT RPTEXT
PROC CLAUSEC; 
          BEGIN 
  
          #CLAUSE COMBINATIONS ROUTINE# 
          #THIS ROUTINE#
          #- IS CALLED BY LEVEL01PROCG# 
          #- IT IN TURN CALLS THE FOLLOWING ROUTINES . PAGECOM# 
          #WHICH CHECKS FOR PERMISSIBLE CLAUSE COMBINATIONS.JUSTCL# 
          #WHICH DOES ANALYSIS FOR JUSTIFIED CLAUSE RULES#
          #(IE.- ON THE CURRENT REPORT GROUP BEING# 
          #ANALYZED). BWZ$RT# 
          #WHICH DOES BLANK-WHEN-ZERO CLAUSE ANALYSIS ON# 
          #CURRENT REPORT GROUP. GRPIND#
          #WHICH DOES GROUP-INDICATE CLAUSE ANALYSIS ON#
          #CURRENT REPORT GROUP. SORCECL# 
          #WHICH DOES ANALYSIS ON SOURCE CLAUSES WITHIN#
          #CURRENT REPORT GROUP. SUMCL# 
          #WHICH DOES ANALYSIS ON SUM AND RESET CLAUSES#
          #WITHIN THE CURRENT REPORT GROUP. VALUECL#
          #WHICH CHECKS WHETHER THE LITERAL CAN BE# 
          #VALIDLY MOVED BY RWCS TO THE PRINTABLE ITEM# 
          #IN  THE IMPLIED MOVE STATEMENT#
  
          XREF   PROC         PAGECOM;
          XREF   PROC         JUSTCL; 
          XREF   PROC         BWZ$RT; 
          XREF   PROC         GRPIND; 
          XREF   PROC         SORCECL;
          XREF   PROC         SUMCL;
          XREF   PROC         VALUECL;
          CONTROL EJECT;
  
  
  
  # * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *#
  # * #   EPTRACE("CLAUSEC")                                       # * #
  # * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *#
  
          PAGECOM;
          JUSTCL; 
          BWZ$RT; 
          GRPIND; 
          SORCECL;
          SUMCL;
          VALUECL;
  
  # * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *#
  # * #   EXTRACE("CLAUSEC")                                       # * #
  # * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *#
  
          END #CLAUSEC# 
          TERM
