"Return the preferred string for a uterm"
(dolist (ustr (s#str uterm))
(when (string= "PF" (stt ustr))
(return-from uterm-pfstr (str ustr)))))
"Return the preferred string for a uterm"
(dolist (ustr (s#str uterm))
(when (string= "PF" (stt ustr))
(return-from uterm-pfstr (str ustr)))))