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