(bfr-or x1 x2 ...) constructs the OR of these BFRs.
Macro: bfr-or
(defmacro bfr-or (&rest args) (cons 'mbe (cons ':logic (cons (bfr-or-macro-logic-part args) (cons ':exec (cons (bfr-or-macro-exec-part args) 'nil))))))
