Recursively apply the right associative law to a formula:

(A op B) op C --> A op (B op C).

The calling scheme for WFF-ASSOCIATIVE-R* is:

(WFF-ASSOCIATIVE-R* GWFF)

"GWFF"

The result is of type GWFF.

The arguments have the following meaning:

GWFF : Wff

© 1988-99, Carnegie Mellon University.