verbose names for super class and extensible properties