Get/set formula components.
f_rhs.Rdf_rhs extracts the righthand side, f_lhs extracts the
lefthand side, and f_env extracts the environment. All functions
throw an error if f is not a formula.
f_rhs.Rdf_rhs extracts the righthand side, f_lhs extracts the
lefthand side, and f_env extracts the environment. All functions
throw an error if f is not a formula.