Nominalization, predication and type containment
scientific article; zbMATH DE number 501101