+
+;;; Lookup functions for uterms,ustr in ucons
+
+(defun find-uterm-in-ucon (ucon lui)
+ (find lui (s#term ucon) :key #'lui :test 'equal))
+
+(defun find-ustr-in-uterm (uterm sui)
+ (find sui (s#str uterm) :key #'sui :test 'equal))
+
+(defun find-ustr-in-ucon (ucon sui)
+ (let ((found-ustr nil))
+ (dolist (uterm (s#term ucon))
+ (unless found-ustr
+ (dolist (ustr (s#str uterm))
+ (unless found-ustr
+ (when (string-equal sui (sui ustr))
+ (setq found-ustr ustr))))))
+ found-ustr))