(DEFPROP CYCDRFFNS
 (CYCDRFFNS NODEPICK1 INTERSECTION)
VALUE)

(DEFPROP NODEPICK1
 (LAMBDA(FCM NF)
  (PROG	(X Y Z Y2)
	(SETQ X (MAPCAR (FUNCTION FNODLST) FCM))
	(RETURN
	 (FOR Y
	      IN
	      NF
	      LIST
	      (SETQ Y2 (CDR Y))
	      (SETQ Z NIL)
	      (COND ((NULL Y2) (GO A)))
	      (SETQ Z (CDR (ASSOC (CAR Y2) X)))
	      B
	      (SETQ Y2 (CDR Y2))
	      (COND ((NULL Y2) (GO A)))
	      (SETQ Z (INTERSECTION Z (CDR (ASSOC (CAR Y2) X))))
	      (GO B)
	      A
	      (CONS (CAR Y) Z)))))
EXPR)

(DEFPROP INTERSECTION
 (LAMBDA (A B) (FOR NEW X IN A WHEN (MEMBER X B) LIST X))
EXPR)