(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)