Algebraic Semantics of Generalized RIFs