Decision Procedures for Elementary Sublanguages of Set Theory: XIV. Three Languages Involving Rank Related Constructs