(DEFPROP CYCOMHFNS (CYCOMHFNS NODES LABELEDGES TRY? LEQ ALPHORD)
           VALUE)
  (DEFPROP NODES (LAMBDA (STRUC)
                         (FOR NEW CT IN (CTABLE STRUC)
                              LIST
                              (NODENUM CT)))
           EXPR)
  (DEFPROP
    LABELEDGES
    (LAMBDA
      (STRUC LABELS)
      (FOR NEW L IN (LABELM (UNCLASSED
                              OBJECTS =
                              (FOR NEW CT IN (CTABLE STRUC)
                                   FOR NEW N IN (NBRS CT)
                                   WHEN
                                   (LEQ (NODENUM CT)
                                        N)
                                   XLIST
                                   (CONS (NODENUM CT)
                                         N)))
                            LABELS STRUC)
           XLIST
           (LABELING FROM L LABELED = (LUNCLASS **))))
    EXPR)
  (DEFPROP TRY? (LAMBDA (X)
                        T)
           EXPR)
  (DEFPROP
    LEQ
    (LAMBDA
      (A B)
      (OR (EQ A B)
          (IF (NOT (ATOM A))
              THEN
              (IF (ATOM B)
                  THEN NIL ELSE (IF (EQUAL (CAR A)
                                           (CAR B))
                                    THEN
                                    (LEQ (CDR A)
                                         (CDR B))
                                    ELSE
                                    (LEQ (CAR A)
                                         (CAR B))))
              ELSEIF
              (NOT (ATOM B))
              THEN T ELSEIF (NOT A)
              THEN T ELSEIF (NOT B)
              THEN NIL ELSEIF (NOT (NUMBERP A))
              THEN
              (IF (NUMBERP B)
                  THEN T ELSE (ALPHORD A B))
              ELSE
              (NOT (GREATERP A B)))))
    EXPR)
  (DEFPROP ALPHORD (LAMBDA (A B)
                           (LEXORDER A B))
           EXPR)
STOP