Rename DiagnosisRealProperty --> RealPropertyDiagnosis